-
作者：Matsui, Shoma; Bourgain-Wilbal, Julien; Saito, Yudai; Ma, Ziyue; Faraut, Gregory; Cai, Kai; Rudie, Karen
作者单位：Osaka Metropolitan University; Xidian University; Queens University - Canada; Queens University - Canada; Ingenuity Labs Research Institute
摘要：We study a new security problem in discrete-event systems with indefinite actuator and sensor attacks: Any controllable events disabled by the supervisor can be re-enabled, and any observable events can be concealed by attackers. We consider that the plant contains unsafe states, each of which is associated with a safety requirement specifying the number of attacks on actuators and the number of attacks on sensors that should be withstood by the supervisor to prevent the plant from entering th...
-
作者：Luo, Keqi; Zhang, Bo; Deng, Feiqi; Meng, Wei
作者单位：Guangdong University of Technology; Guangdong University of Technology; South China University of Technology
摘要：This article discusses the stabilization of linear stochastic systems subject to actuator saturation, where the stochastic noise is applied to the controller for stabilization purposes. The saturation function is modeled as a switching function. We propose that an It & ocirc; system with actuator saturation can be locally and stochastically stable, followed by the solution of the original domain of attraction (DoA). To extend the original DoA globally, a drifting value is added to the Brownian...
-
作者：Yu, Xin; Lin, Wei
作者单位：Jiangsu Normal University; University System of Ohio; Case Western Reserve University
摘要：This article addresses the problem of memoryless feedback control in the large for time-delay nonlinear systems under sample and hold. Sufficient conditions are presented under which global asymptotic stabilization (GAS) of nonlinear systems with state delay is solvable by sampled-data state feedback. When only the system output is measurable, conditions are also identified for multi-input multi-output time-delay nonlinear systems to be GAS by sampled-data output feedback. The significance and...
-
作者：Nonhoff, Marko; Dall'Anese, Emiliano; Muller, Matthias A.
作者单位：Leibniz University Hannover; Boston University
摘要：This article investigates the problem of controlling linear time-invariant systems subject to time-varying and a priori unknown cost functions, state and input constraints, and exogenous disturbances. We combine the online convex optimization framework with tools from robust model predictive control to propose an algorithm that is able to guarantee robust constraint satisfaction. The performance of the closed loop emerging from application of our framework is studied in terms of its dynamic re...
-
作者：Galuppini, Giacomo; Schimperna, Irene; Magni, Lalo
作者单位：University of Pavia
摘要：This article proposes an offset-free, output feedback, tracking model predictive control (MPC) stabilizing formulation, specifically designed to handle incrementally input-to-state stable (delta ISS) systems subject to input and input rate constraints. Recursive feasibility and stability are guaranteed by means of suitable terminal ingredients, and an extended region of attraction is provided by means of artificial reference variables. Moreover, the knowledge of a suitable cost detectability f...
-
作者：Lutzow, Laura; Althoff, Matthias
作者单位：Technical University of Munich
摘要：Formal verification techniques play a pivotal role in ensuring the safety of complex cyber-physical systems. To transfer model-based verification results to the real world, we require that the measurements of the target system lie in the set of reachable outputs of the corresponding model, a property we refer to as reachset conformance. This article is on automatically identifying those reachset-conformant models. While state-of-the-art reachset-conformant identification methods focus on linea...
-
作者：Behera, Abhisek K.; Bandyopadhyay, Bijnan; Yu, Xinghuo
作者单位：Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Roorkee; Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Jodhpur; Royal Melbourne Institute of Technology (RMIT)
摘要：This article presents a two-degree-of-freedom sliding mode control with event-triggered feedback to guarantee robust output tracking for an uncertain plant against matched disturbances. The proposed controller comprises an event-based feedback loop for the plant measurements and the analog feedthrough path for the tracking (reference) signal, which is generated by an exogenous system. Here, the event-triggering mechanism uses only the feedback signals, unlike the existing works, and thus, it r...
-
作者：Fattore, Giulio; Valcher, Maria Elena
作者单位：University of Padua
摘要：In this article, we explore two data-driven methods to perform fault estimation on a linear time-invariant discrete-time state-space model, whose state equation is affected by both disturbances and actuator faults. We first investigate the design of a residual generator, which is based on a dead-beat unknown-input observer. Necessary and sufficient conditions for the problem solvability, assuming that the system matrices are known, are first presented. Then, we prove that, under suitable assum...
-
作者：Karabag, Mustafa O.; Smith, Sophia; Mehr, Negar; Fridovich-Keil, David; Topcu, Ufuk
作者单位：University of Texas System; University of Texas Austin; University of Texas System; University of Texas Austin; University of California System; University of California Berkeley; University of Texas System; University of Texas Austin; University of Texas System; University of Texas Austin
摘要：When interacting with other decision-making agents in nonadversarial scenarios, it is critical for an autonomous agent to have inferable behavior. The agent's actions must convey its intention and strategy. We model the inferability problem using Stackelberg games with observations where a leader and a follower repeatedly interact. During the interactions, the leader uses a fixed mixed strategy. The follower does not know the leader's strategy and dynamically reacts to the statistically inferr...
-
作者：Romero, Jose Guadalupe; Ortega, Romeo; Ushirobira, Rosane; Efimov, Denis
作者单位：Instituto Tecnologico Autonomo de Mexico; Centre National de la Recherche Scientifique (CNRS); Inria; Universite de Lille; CNRS - Institute for Information Sciences & Technologies (INS2I); Centrale Lille
摘要：In this article, we extend the recently developed adaptive generalized parameter estimation-based observer design technique for state-affine systems to the practically important case when, besides unknown parameters, the output signal is perturbed by an additive disturbance generated by an exosystem whose parameters are unknown. Our main contribution is that we treat-for the first time-the case when the disturbance appears in the measured output. It is important to say that this scenario is mu...
