Abstracting and refining robustness for cyber-physical systems

DOI10.1145/2562059.2562133zbMath1362.93132OpenAlexW2091944452MaRDI QIDQ2986969

Matthias Rungger, Paulo Tabuada

Publication date: 16 May 2017

Published in: Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2562059.2562133

zbMATH Keywords

synthesisstabilityrobustnesscyber-physical systems

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Input-output approaches in control theory (93D25)

Related Items (2)

Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers

Uses Software

• CPLEX
• YALMIP
• MPT

Cites Work

• Minkowski terminal cost functions for MPC
• A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
• Constrained model predictive control: Stability and optimality
• On infinity norms as Lyapunov functions for piecewise affine systems
• Linear systems with state and control constraints: the theory and application of maximal output admissible sets
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
• Stability analysis of piecewise discrete-time linear systems
• Convex Analysis
• Set-theoretic methods in control

This page was built for publication: Abstracting and refining robustness for cyber-physical systems