-
作者：Wu, Dongjun; Duan, Guang-Ren
作者单位：Harbin Institute of Technology; Universite Paris Saclay; Centre National de la Recherche Scientifique (CNRS)
摘要：In this article, we report several new geometric and Lyapunov characterizations of incrementally stable systems on Finsler and Riemannian manifolds. A new and intrinsic proof of an important theorem in contraction analysis is given via the complete lift of the system. Based on this, two Lyapunov characterizations of incrementally stable systems are derived, namely, converse contraction theorems, and revelation of the connection between incremental stability and stability of an equilibrium poin...
-
作者：Cortez, Wenceslao Shaw; Dimarogonas, Dimos, V
作者单位：United States Department of Energy (DOE); Pacific Northwest National Laboratory; Royal Institute of Technology
摘要：A novel method is proposed to ensure stability and constraint satisfaction, i.e., compatibility, for nonlinear affine systems. We require an asymptotically stabilizing control law and a zeroing control barrier function, and define a region of attraction for which the proposed control safely stabilizes the system. Our methodology requires checking conditions of the system dynamics over the state space, which may be computationally expensive. To facilitate the search for compatibility, we extend...
-
作者：Rodrigues, Diogo; Mesbah, Ali
作者单位：Universidade de Lisboa; University of California System; University of California Berkeley
摘要：Optimal control problems are prevalent in model-based control, state and parameter estimation, and experimental design for complex dynamical systems. An approach for obtaining solutions to these problems is based on the notion of parsimonious input parameterization and comprises two tasks: the enumeration of arc sequences followed by the computation of optimal values of a small number of decision variables for each sequence. This article proposes an efficient global solution method for single-...
-
作者：Della Rossa, Matteo; Tanwani, Aneel; Zaccarian, Luca
作者单位：Universite Catholique Louvain; Centre National de la Recherche Scientifique (CNRS); Universite de Toulouse; University of Trento
摘要：This article concerns robustness analysis for interconnections of two dynamical systems (described by upper semicontinuous differential inclusions) using a generalized notion of derivatives associated with locally Lipschitz Lyapunov functions obtained from a finite family of differentiable functions. We first provide sufficient conditions for input-to-state stability for differential inclusions, using a class of nonsmooth (but locally Lipschitz) candidate Lyapunov functions and the concept of ...
-
作者：Guo, Meichen; De Persis, Claudio; Tesi, Pietro
作者单位：University of Groningen; University of Florence
摘要：In a recent article, we have shown how to learn controllers for unknown linear systems using finite-length noisy data by solving linear matrix inequalities. In this article, we extend this approach to deal with unknown nonlinear polynomial systems by formulating stability certificates in the form of data-dependent sum of squares programs, whose solution directly provides a stabilizing controller and a Lyapunov function. We then derive variations of this result that lead to more advantageous co...
-
作者：Saberi, Amir; Farokhi, Farhad; Nair, Girish N.
作者单位：University of Melbourne
摘要：We investigate state estimation of linear systems over channels having a finite state not known by the transmitter or receiver. We show that similar to memoryless channels, zero-error capacity is the right figure of merit for achieving bounded estimation errors. We then consider finite-state, worst-case versions of the common erasure, and additive noise channels models, in which the noise is governed by a finite-state machine without any statistical structure. Upper and lower bounds on their z...
-
作者：Ma, Ziyue; Zou, Minqiang; Zhang, Jiafeng; Li, Zhiwu
作者单位：Xidian University; Macau University of Science & Technology
摘要：In this article, we develop an algorithm for designing an optimal control sequence in Petri nets, which drives a plant net from a source marking to a set of target markings without passing any pregiven forbidden markings. Such control sequences are useful in flexible reconfigurable automated systems, where a plant necessarily responds promptly to a request of reconfiguration. We develop a Dijkstra searching algorithm that is carried out in the basis marking space of a plant net instead of the ...
-
作者：Yi, Shenglun; Zorzi, Mattia
作者单位：Beijing Institute of Technology; University of Padua
摘要：In this article, we consider a robust state-space filtering problem in the case that the transition probability density is unknown and possibly degenerate. The resulting robust filter has a Kalman-like structure and solves a minimax game: the nature selects the least favorable model in a prescribed ambiguity set, which also contains non-Gaussian probability densities, while the other player designs the optimum filter for the least favorable model. It turns out that the resulting robust filter ...
-
作者：He, Xingkang; Ren, Xiaoqiang; Sandberg, Henrik; Johansson, Karl Henrik
作者单位：Royal Institute of Technology; Royal Institute of Technology; Shanghai University
摘要：In this article, we study how to secure distributed filters for linear time-invariant systems with bounded noise under false-data injection attacks. A malicious attacker is able to arbitrarily manipulate the observations for a time-varying and unknown subset of the sensors. We first propose a recursive distributed filter consisting of two steps at each update. The first step employs a saturation-like scheme, which gives a small gain if the innovation is large corresponding to a potential attac...
-
作者：Subramanian, Venkat Ram; Lamperski, Andrew; Salapaka, V. Murti
作者单位：University of Minnesota System; University of Minnesota Twin Cities
摘要：Complex networked systems can be modeled and represented as graphs, with nodes representing the agents and the links describing the dynamic coupling between them. The fundamental objective of network identification for dynamic systems is to identify causal influence pathways. However, dynamically related data streams that originate from different sources are prone to corruption caused by asynchronous time-stamps, packet drops, and noise. In this article, we show that identifying causal structu...
