To address shortcomings of ICP algorithm, which is sensitive to the initial position and easy to fall into local optimum, we propose a Harris Hawks Optimizer (HHO) point cloud registration method combining PCA preproc...
详细信息
Flight trajectory consistence is an important factor influencing mission performance and ***,the lack of in-situ flight dynamics with high fidelity remains a challenge to enhance stability and controllability for airc...
详细信息
Flight trajectory consistence is an important factor influencing mission performance and ***,the lack of in-situ flight dynamics with high fidelity remains a challenge to enhance stability and controllability for aircraft maneuver in space,because modeling and coding of predictive system response in control synthesis is difficult to be mathematically formulated and computationally *** we generalize the invariant tensor modeling of flight dynamics so that its functional matrix coding is adapted to the multivariable nonlinear control of aircraft with augmented stability and controllability;and we verify that the nonlinear functional parameters in control synthesis with unobservable external forces and moments can improve the consistence of flight *** demonstrate that the planned flight trajectory can be consistently fulfilled using the nonlinear control synthesized through tensor modeling and matrix *** conclusion,invariant tensor modeling facilitates the functional matrix coding of flight dynamics with six degrees of freedom,which can be applied to build the feedback through dimensional analysis for augmented stability and controllability,such that collaborative optimization of nonlinear functional parameters establishes the multivariable nonlinear control to improve the consistence of flight trajectory for sustained performance and continuing safety.
Online monitoring aims to evaluate or to predict, at runtime, whether or not the behaviors of a system satisfy some desired specification. It plays a key role in safety-critical cyber-physical systems. In this work, w...
详细信息
ISBN:
(数字)9781665467612
ISBN:
(纸本)9781665467629
Online monitoring aims to evaluate or to predict, at runtime, whether or not the behaviors of a system satisfy some desired specification. It plays a key role in safety-critical cyber-physical systems. In this work, we propose a new model-based approach for online monitoring for specifications described by Signal Temporal Logic (STL) formulae. Specifically, we assume that the observed state traces are generated by an underlying dynamic system whose model is known. The main idea is to consider the dynamic of the system when evaluating the satisfaction of the STL formulae. To this end, effective approaches for the computation of feasible sets for STL formulae are provided. We show that, by explicitly utilizing the model information of the dynamic system, the proposed online monitoring algorithm can falsify or certify of the specification in advance compared with existing algorithms, where no model information is used. We also demonstrate the proposed monitoring algorithm by case studies.
This paper proposed a soft real-time scheduling algorithm 'time-deterministic dynamic partitioning scheduling' for multimedia tasks in embedded devices. We established a new model based on the characteristics ...
详细信息
This paper considers a novel co-design problem of the optimal sequential attack, whose attack strategy changes with the time series, and in which the sequential attack selection strategy and sequential attack signal a...
详细信息
In this paper,the entrapping control problem of discrete-time AUVs with local coordinate frames is *** achieve entrapment in arbitrarily shaped orbits and formations,we design a bearingbased leader-following framework...
详细信息
In this paper,the entrapping control problem of discrete-time AUVs with local coordinate frames is *** achieve entrapment in arbitrarily shaped orbits and formations,we design a bearingbased leader-following framework fully in the discrete-time domain with four parts:the orientation estimation unit,estimator unit,controller unit and parameters tuning *** bearing measurements and communication information,the orientation estimation unit can estimate orientations of local coordinate frames infinite time,and the estimator unit can achieve local *** on estimation,the controller unit can drive each AUV to track the desired orbit or formation with an arbitrary *** present su±cient conditions under which stability of the overall system is proved using the theorem offinite-time stability and LaSalle's theorem for the discrete-time ***,the parameters tuning unit can calculate optimal parameters to improve overall ***,we extend our schemes to nonholonomic AUVs with unicycle ***,simulation results demonstrate the effectiveness of the proposed scheme.
作者:
Haoyu WeiLulu PanHaibin ShaoDewei LiDepartment of Automation
and Key Laboratory of System Control and Information Processing Ministry of Education of China and Shanghai Engineering Research Center of Intelligent Control and Management Shanghai Jiao Tong University Shanghai China
This paper explores distributed neighbor selection in matrix-weighted networks, where a matrix-valued weight captures the interdependencies among agents’ states. We demonstrate the feasibility of preserving and, in c...
This paper explores distributed neighbor selection in matrix-weighted networks, where a matrix-valued weight captures the interdependencies among agents’ states. We demonstrate the feasibility of preserving and, in certain cases, improving the convergence rate of matrix-weighted networks by having agents exclusively engage with a subset of their neighbors. Leveraging the inherent monotonicity of Laplacian matrix eigenvectors, we introduce a novel neighbor selection criterion that reduces network connections while enhancing convergence rates. Existing neighbor selection strategies often require acquiring information from all nodes before making decisions. In order to propose a distributed neighbor selection strategy for matrix-weighted networks, we establish a numerical relationship between Laplacian eigenvectors and a locally measurable metric. In essence, this paper extends prior findings from scalar-weighted networks to matrix-weighted networks.
In the fields of information security, the application of random numbers is becoming more and more widespread. True random numbers (TRNs) tend to have better randomness and unpredictability than pseudo random numbers ...
详细信息
Remote support is a global trend and plays a vital role in the digital age. The multi-cloud collaborative conference platform for remote support can help users and technical teams solve various technical problems more...
Remote support is a global trend and plays a vital role in the digital age. The multi-cloud collaborative conference platform for remote support can help users and technical teams solve various technical problems more conveniently and efficiently, and facilitate user collaboration and communication. This article will introduce the functions and applications of the multi-cloud collaborative conference platform for remote support in detail, analyze the advantages of the multi-cloud collaborative consultation platform, and look forward to the future development of the multi-cloud collaborative platform.
In this paper, we revisit the fault diagnosis problem of discrete-event systems (DES) under non-deterministic observations. Non-deterministic observation is a general observation model that includes the case of interm...
详细信息
ISBN:
(数字)9781665467612
ISBN:
(纸本)9781665467629
In this paper, we revisit the fault diagnosis problem of discrete-event systems (DES) under non-deterministic observations. Non-deterministic observation is a general observation model that includes the case of intermittent loss of observations. In this setting, upon the occurrence of an event, the sensor reading may be non-deterministic such that a set of output symbols are all possible. Existing works on fault diagnosis under non-deterministic observations require to consider all possible observation realizations. However, this approach includes the case where some possible outputs are permanently disabled. In this work, we introduce the concept of output fairness by requiring that, for any output symbols, if it has infinite chances to be generated, then it will indeed be generated infinite number of times. We use an assume-guarantee type of linear temporal logic formulas to formally describe this assumption. A new notion called output-fair diagnosability (OF-diagnosability) is proposed. An effective approach is provided for the verification of OF-diagnosability. We show that the proposed notion of OF-diagnosability is weaker than the standard definition of diagnosability under non-deterministic observations, and it better captures the physical scenario of observation non-determinism or intermittent loss of observations.
暂无评论