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.
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.
作者:
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.
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...
详细信息
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.
This paper examines the cluster consensus design problem on higher-order interaction networks. Specifically, the higher-order interaction mechanism is captured by matrix-weighted networks that allow the interdependenc...
This paper examines the cluster consensus design problem on higher-order interaction networks. Specifically, the higher-order interaction mechanism is captured by matrix-weighted networks that allow the interdependency across the dimensions of the agents' states, and the matrix-valued weight matrices $A_{ij}\in \mathbb{R}^{d\times d}$ associated with specific edges are further assumed to share the same nullspace for design purposes. Under mild assumptions on network connectivity, we first examine the case that the nullspace of positive semi-definite edges is spanned by a nonzero vector $\boldsymbol{\xi}\in \mathbb{R}^{d}$ and show that the predictable cluster consensus can be achieved, which is eventually located in the 1-dimensional linear space determined by span $\{\boldsymbol{\xi}\}$ and the average of agents' initial states. Moreover, the transient state of agents in each cluster can also be explicitly characterized. Namely, the derivative of the average state of agents in each cluster is perpendicular to span $\{\boldsymbol{\xi}\}$ . To generalize the above results, we proceed to examine the case that the nullspace of positive semi-definite edges is spanned by more than one linearly independent $d$ -dimensional vector, in which case, analogous results can be obtained, and the explicit geometric interpretation is also provided.
Constellation satellites are important space-based devices with wider irradiation range and less blind coverage. Passive target detection with the space-based constellation satellites as radiation source will play an ...
Constellation satellites are important space-based devices with wider irradiation range and less blind coverage. Passive target detection with the space-based constellation satellites as radiation source will play an increasingly important role for situational awareness. This paper analyzes signal model for the passive radar and the characteristics of the passive detection system with the satellite as radiation source. Then, to improve detection accuracy with weak signal and low signal-to-noise ratio, a few algorithms are presented from the perspective of increasing the available virtual sensors, i.e., degrees of freedom. Finally, theoretical analysis confirms the high detection accuracy and low hardware cost of the above algorithms compared to the traditional algorithms. The above performance superiority ensures accurate situational awareness, thus effectively supporting precise and efficient mission planning and command.
The Mossformer model excels in speech separation but has not been effectively applied to music source separation. Music sources have complex characteristics and higher sampling rates, making separation tasks more chal...
详细信息
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 ...
详细信息
Microgrids subjected to secondary cooperative control encounter significant challenges, including operational constraints and clock drifts, adversely affecting their stability and efficiency. This paper provides condi...
详细信息
暂无评论