-
作者：Li, Jitao; Wang, Zhenhua; Shen, Yi; Xie, Lihua
作者单位：Harbin Institute of Technology; Harbin Engineering University; Nanyang Technological University
摘要：This article studies the problem of sensor attack detection for a class of cyber-physical systems with bounded perturbations. A novel attack detection method is proposed based on zonotopic reachability analysis. A false data injection attack is detected if there is no intersection between the predicted state set and the measurement state set. These sets are online calculated via zonotopic segments minimization. Two approaches, namely, projection and polytopic conversion, are presented to check...
-
作者：Lu, Kaihong; Wang, Long
作者单位：Shandong University of Science & Technology; Peking University; Peking University
摘要：In this article, the problem of online distributed optimization subject to a convex set is studied by employing a network of agents, where the objective functions allocated to agents are nonconvex. Each agent only has access to its own objective function information at the previous time, and can only communicate with its immediate neighbors via a time-varying directed graph. To tackle this problem, first, a new online distributed algorithm with gradient information is proposed based on consens...
-
作者：Mendoza-Avila, Jesus; Efimov, Denis; Fridman, Leonid; Moreno, Jaime A.
作者单位：Inria; Universite de Lille; ITMO University; Universidad Nacional Autonoma de Mexico; Universidad Nacional Autonoma de Mexico
摘要：In this article, the effect of a homogeneous parasitic dynamics on the stability of a homogeneous system, when homogeneity degrees are possibly different, is studied via input-to-state stability approach in the framework of singular perturbations. Thus, the possibilities to reduce the order of the interconnected system considering only the reduced-order dynamics and neglecting the parasitic ones are examined. Proposed analysis discovers three kinds of stability in the behavior of such an inter...
-
作者：Meng, Qingtan; Ma, Qian; Shi, Yang
作者单位：Nanjing University of Science & Technology; University of Victoria
摘要：This article studies the problem of fixed-time stabilization for a class of nonlinear systems with parameteric uncertainties, where the nonlinear functions are constrained by an unknown linear growth condition. By establishing a new adaptive fixed-time stability analysis criterion, it is proved that the closed-loop system is fixed-time stable and all the states can be regulated to zero. In addition, the singularity problem caused by the back-stepping method under fixed-time control can be avoi...
-
作者：Wang, Xue-Fang; Teel, Andrew R.; Sun, Xi-Ming; Liu, Kun-Zhi; Shao, Guangru
作者单位：Dalian University of Technology; University of California System; University of California Santa Barbara; Yantai University
摘要：Robust Nash equilibrium (NE) seeking for a constrained aggregative game is explored. Our setting has the following three features: 1) local feasibility sets are considered; 2) each player has first-order dynamics that are influenced by unknown time-varying disturbances and unmodeled terms; 3) the communication topology among players may be influenced by attacks. The existence of unknown disturbances results in the trajectories of the players going out of the feasible sets even though the initi...
-
作者：Lee, Donggun; Tomlin, Claire J.
作者单位：University of California System; University of California Berkeley; University of California System; University of California Berkeley
摘要：This article considers two state-constrained reachability problems: computing 1) control-invariant and 2) reach-avoid sets, both under state constraints. Prior research has developed Hamilton-Jacobi (HJ) partial differential equations (PDEs) that characterize the optimal cost functions of these two problems. Unfortunately, solving the HJ PDEs by grid-based methods, such as level-set methods, suffers from exponentially growing computational complexity in the system state dimension. In order to ...
-
作者：Guo, Meng; Liao, Tianjun; Wang, Junjie; Li, Zhongkui
作者单位：Peking University; Peking University
摘要：Safety is crucial for robotic missions within an uncertain environment. Common safety requirements such as collision avoidance are only state-dependent, which can be restrictive for complex missions. In this article, we address a more general formulation as safe-return constraints, which require the existence of a return policy to drive the system back to a set of safe states with high probability. The robot motion is modeled as a Markov decision process with probabilistic labels, which can be...
-
作者：Liang, Dong; Tian, Engang
作者单位：University of Shanghai for Science & Technology
摘要：In this note, the cooperative output regulation problem of general heterogeneous linear multiagent systems with binary constraints is studied. To speed up the convergence rate, the binary distributed observer is proposed only utilizing sign of the relative state instead of using full relative information. Under some mild conditions, the binary distributed observer can estimate the state of the leader system exponentially in finite time sense. The leader system can generate various reference si...
-
作者：Yao, Yuhua; Sun, Jitao; Zhang, Yu
作者单位：Tongji University; University of Johannesburg
摘要：In this note, we propose a unified framework for the study of hybrid systems, where the tasks of the systems are encoded as signal temporal logic (STL) specifications. First, we establish the mathematical expression of a class of hybrid systems consisting of continuous and logical parts. Then, we introduce the concept of locally finite time interval dwell, which matches the conditions to satisfy such the STL specifications. After that, combining the semi-tensor product and Lyapunov-like method...
-
作者：Hamza, Muhammad Amir; Mustafa, Ghulam; Shi, Dawei; Khan, Abdul Qayyum; Abid, Muhammad
作者单位：Pakistan Institute of Engineering & Applied Science; Beijing Institute of Technology
摘要：In this note, we characterize a family of discrete-time strictly causal stabilizing controllers for networked systems under nonuniform communication and network-induced delays. First, we absorb the feedback delay in the controller structure and parameterize a family of stabilizing controllers for the delay-free plant with some restrictions on the controller structure due to time delay. Then, we lift the feedback connection and choose the free parameter of the family in the lifted domain to inc...
