A Notion of Robustness for Cyber-Physical Systems

DOI10.1109/TAC.2015.2492438MaRDI QIDQ2980446zbMATH OpenOpenAlexFDO

Authors Matthias Rungger, Paulo Tabuada

Publication date 3 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.5199

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Input-output approaches in control theory (93D25)

Abstract: Robustness as a system property describes the degree to which a system is able to function correctly in the presence of disturbances, i.e., unforeseen or erroneous inputs. In this paper, we introduce a notion of robustness termed input-output dynamical stability for cyber-physical systems (CPS) which merges existing notions of robustness for continuous systems and discrete systems. The notion captures two intuitive aims of robustness: bounded disturbances have bounded effects and the consequences of a sporadic disturbance disappear over time. We present a design methodology for robust CPS which is based on an abstraction and refinement process. We suggest several novel notions of simulation relations to ensure the soundness of the approach. In addition, we show how such simulation relations can be constructed compositionally. The different concepts and results are illustrated throughout the paper with examples.

Cited in

(10)

• Learning-based symbolic abstractions for nonlinear control systems
• Input-output dynamical stability analysis for cyber-physical systems via logical networks
• Deadlock-free output feedback controller design based on approximately abstracted observers
• An STL-based formulation of resilience in cyber-physical systems
• Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines
• Input-output-to-state stability of systems related through simulation relations
• Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
• Secure consensus of multiagent systems with DoS attacks via a graph-based approach
• Robustness analysis of logical networks and its application in infinite systems
• Nonlinear norm-observability and simulation of control systems

This page was built for publication: A Notion of Robustness for Cyber-Physical Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980446)