-
作者:Mulagaleti, Sampath Kumar; Bemporad, Alberto; Zanon, Mario
摘要:Given a stable linear time-invariant system subject to output constraints, in this article, we present a method to compute a set of disturbances such that the reachable set of outputs matches as closely as possible the output constraint set, while being included in it. This problem finds application in several control design problems, such as the development of hierarchical control loops, decentralized control, supervisory control, robustness verification, etc. We first characterize the set of...
-
作者:Scholl, Tessina H.; Hagenmeyer, Veit; Groell, Lutz
作者单位:Helmholtz Association; Karlsruhe Institute of Technology
摘要:This article proposes an approach to complete-type and related Lyapunov-Krasovskii functionals that neither requires knowledge of the delay-Lyapunov matrix function nor does it involve linear matrix inequalities. The approach is based on ordinary differential equations (ODEs) that approximate the time-delay system. The ODEs are derived via spectral methods, e.g., the Chebyshev collocation method (also called pseudospectral discretization) or the Legendre tau method. A core insight is that the ...
-
作者:Zhao, Jianing; Li, Shaoyuan; Yin, Xiang
作者单位:Shanghai Jiao Tong University
摘要:In this article, we investigate property verification problems in partially-observed discrete-event systems (DES). Particularly, we are interested in verifying observational properties that are related to the information-flow of the system. Observational properties considered here include diagnosability, predictability, detectability, and opacity, which have drawn considerable attentions in the literature. However, in contrast to existing results, where different verification procedures are de...
-
作者:Lu, Xiaodong; Wang, Ting; Zhao, Yanlong
作者单位:Chinese Academy of Sciences; Academy of Mathematics & System Sciences, CAS; University of Science & Technology Beijing; University of Science & Technology Beijing; Chinese Academy of Sciences; Chinese Academy of Sciences; University of Chinese Academy of Sciences, CAS
摘要:This article adopts the event-triggered control strategy to investigate the consensus problem of multiagent systems. Owing to the effect of random noises, the communication information among agents is transmitted based on binary-valued measurements. Each agent employs the recursive projection algorithm to estimate the states of all neighbors. Then, an event-triggered protocol with time-varying threshold parameters is proposed to guarantee that the state of each agent can lie within the same bo...
-
作者:Ma, Ziyue; Jiang, Jiagang; Cai, Kai
作者单位:Xidian University; Osaka Metropolitan University
摘要:In this article, we study a secret protection problem in discrete-event systems. The system is modeled by an automaton in which several states are assigned with different secret levels. Our aim is to protect some of the events in the system such that any sequence yielding a secret state contains a number of protected events no less than the required security level. We first study the secret-protecting problem with minimum cost, i.e., to design a protecting policy whose cost is minimal. We prov...
-
作者:Paunonen, Lassi; Afshar, Sepideh
作者单位:Tampere University
摘要:We introduce general results on well-posedness and output regulation of regular linear systems with nonautonomous controllers. We present a generalization of the internal model principle for time-dependent controllers with asymptotically converging parameters. This general result is utilized in controller design for output tracking and disturbance rejection of harmonic signals with unknown frequencies. Our controller can be flexibly combined with different frequency estimation methods. The res...
-
作者:Geng, Wen-Tao; Lin, Chong; Chen, Bing; Wang, Qing-Guo
作者单位:Qingdao University; Beijing Normal University; Beijing Normal-Hong Kong Baptist University
摘要:This technical note studies the analysis and control problem of rectangular descriptor systems (RDSs). First, we present the state-equivalent form of RDSs using the left (right) inverse of a matrix and demonstrate its equivalence to the original system in terms of admissibility. Subsequently, we introduce a minimum-order compensator (MOC) and establish a series of rank criteria for its application. The MOC is utilized to ensure that the closed-loop system is generalized regular, impulse-free, ...
-
作者:Ochoa, Daniel E.; Poveda, Jorge I.
作者单位:University of California System; University of California San Diego
摘要:Multitime scale techniques, such as singular perturbations and averaging theory, have played an important role in the development of distributed Nash equilibrium seeking algorithms for network systems. Such techniques rely on the uniform asymptotic stability properties of the dynamics that evolve in each of the time scales of the closed-loop system. When such properties are absent, the synthesis of multitime scale Nash equilibrium-seeking algorithms is more challenging and it requires addition...
-
作者:Xu, Wenqi; Wang, Tong; Qiu, Jianbin; Liu, Xiaoping
作者单位:Harbin Institute of Technology; Lakehead University
摘要:This article concentrates on the game-based optimal event-triggered control problem for a class of multi-input nonlinear continuous-time systems. The main objective is to improve the system performance. Furthermore, the optimal event-triggered conditions are derived to maximize the intersampling intervals. To simultaneously consider the optimality of control signals and event-triggered conditions, a novel two-layer game framework with redefined cost functions is developed. In the first layer, ...
-
作者:Huang, Yi; Liu, Guo-Ping; Yu, Yi; Hu, Wenshan
作者单位:Wuhan University; Southern University of Science & Technology
摘要:This article focuses on the consensus and tracking problem of nonlinear multiagent systems under communication delays, and proposes a distributed predictive control scheme, which is independent of the system model and able to actively compensate for communication delays. First, a consensus-related auxiliary variable and its corresponding estimator are innovatively designed to provide a globally consistent value. Then, the idea of dynamic linearization is adopted to obtain the equivalent linear...