-
作者:Keroglou, Christoforos; Lafortune, Stephane
作者单位:University of Michigan System; University of Michigan
摘要:We investigate the enforcement of opacity, an information-flow privacy property, using insertion sequences that modify the output of the system by event insertions. Previous work considered the problem of enforcing the opacity under the assumption that the insertion functions were based on the observed system strings. Now, we investigate the more powerful method of insertion sequences based on the exact system states and events. In this case, the insertion function would be embedded into the s...
-
作者:Li, Tongxiang; Chen, Bo; Yu, Li; Zhang, Wen-An
作者单位:Zhejiang University of Technology; Zhejiang University of Technology
摘要:An active security control approach is developed in this article for cyber-physical systems (CPSs) under denial-of-service (DoS) attacks, where DoS attacks exist in both the sensor-to-controller (S-C) channel and the controller-to-actuator (C-A) channel. Due to the cost constraints of attacks, it is reasonable to consider that the number of maximum continuous DoS attacks in both the S-C and the C-A channels is bounded. Then, to defend the two-channel DoS attacks, an active security control str...
-
作者:Sakurama, Kazunori
作者单位:Kyoto University
摘要:This article provides a unified solution to a general coordination problem of multiagent systems with relative measurements, including uncertain transformations in translation, rotation, reflection, and scale. First, we introduce relative measurements described by a matrix group expressing such transformations in a unified way. Then, we derive a necessary, and sufficient condition to achieve a coordination task by relative, distributed control according to a network topology, and a class of me...
-
作者:Simpson-Porco, John W.
作者单位:University of Toronto
摘要:Relaxed conditions are given for stability of a feedback system consisting of an exponentially stable multi-input multi-output nonlinear plant and an integral controller. Roughly speaking, it is shown that if the composition of the plant equilibrium input-output map and the integral feedback gain is infinitesimally contracting, then the closed-loop system is exponentially stable if the integral gain is sufficiently low. The main result is illustrated with an application arising in frequency co...
-
作者:Koru, Ahmet Taha; Sarsilmaz, Selahattin Burak; Yucelen, Tansel; Johnson, Eric Norman
作者单位:Pennsylvania Commonwealth System of Higher Education (PCSHE); Pennsylvania State University; Pennsylvania State University - University Park; University of Washington; University of Washington Seattle; State University System of Florida; University of South Florida
摘要:Agent-wise local design methods to synthesize distributed control gains focus on the individual dynamics of each agent to guarantee the overall stability of the system. They are powerful tools due to their scalability. However, the agent-wise local design methods are incapable of maximizing the overall system performance through, for example, decay rate assignment. On the other hand, design methods, which are predicated on a global condition, leads to nonconvex optimization problems. This arti...
-
作者:Tian, Yongxiao; Yan, Huaicheng; Zhang, Hao; Zhan, Xisheng; Peng, Yan
作者单位:East China University of Science & Technology; East China University of Science & Technology; Hubei Normal University; Tongji University; Shanghai University
摘要:This article is concerned with the problem of the static output-feedback control for a class of discrete-time linear semi-Markov jump systems (SMJSs). Through a mode-dependent resilient control scheme and an invertible linear transformation, a resulting equivalent closed-loop system can be obtained. The embedded Markov chain (EMC) is piecewise homogeneous, which leads to incomplete semi-Markov kernel is variable in the finite interval. A novel class of multivariate dependent Lyapunov function ...
-
作者:Galeani, Sergio; Possieri, Corrado; Sassano, Mario
作者单位:Sapienza University Rome; Consiglio Nazionale delle Ricerche (CNR)
摘要:The problem of output tracking is addressed in this article by a reformulation in terms of a two-point boundary value problem for the plant's zero dynamics, which is allowed to be unstable. On this basis, a hybrid feedback regulator ensuring output tracking is then designed. The robustness properties of the proposed regulator as well as connections with periodic (cheap) optimal control, output regulation, and possible extensions to the nonlinear setting are also discussed.
-
作者:Goldsztajn, Diego; Paganini, Fernando
作者单位:Eindhoven University of Technology; University ORT Uruguay
摘要:This article concerns the solution of a convex optimization problem through the saddle point gradient dynamics. Instead of using the standard Lagrangian as is classical in this method, we consider a regularized Lagrangian obtained through a proximal minimization step. We show that, without assumptions of smoothness or strict convexity in the original problem, the regularized Lagrangian is smooth and leads to globally convergent saddle point dynamics. The method is demonstrated through an appli...
-
作者:Yang, Jun; Yu, Xinghuo; Zhang, Lu; Li, Shihua
作者单位:Loughborough University; Royal Melbourne Institute of Technology (RMIT); Southeast University - China
摘要:A recursive continuous higher order nonsingular terminal sliding-mode (TSM) controller is proposed in this article for nonlinear systems. A new integral TSM manifold is constructed in a recursive manner by modifying the tool of adding a power of integrator instead of exploring nonrecursive design directly. A super-twisting like reaching law is designed to achieve continuous control action without sacrificing disturbance rejection specification as that in boundary-layer approaches. By the new L...
-
作者:Zhao, Zhi-Liang; Jiang, Zhong-Ping; Liu, Tengfei; Chai, Tianyou
作者单位:Northeastern University - China; Shaanxi Normal University; New York University; New York University Tandon School of Engineering
摘要:This article presents a first constructive solution to the global finite-time output feedback stabilization of a large class of lower triangular nonlinear systems under relaxed conditions. The key idea is to introduce a switching strategy in the control design scheme. Unlike the previous literature, the nonlinearities of the systems are assumed to satisfy a general Holder continuous condition, which include Lipschitz continuous nonlinearities as a special case. Global finite-time stability of ...