Resilience to intermittent assumption violations in reactive synthesis
From MaRDI portal
Publication:2986967
DOI10.1145/2562059.2562128zbMath1361.68146OpenAlexW2080915207MaRDI QIDQ2986967
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.2562128
Formal languages and automata (68Q45) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)
Related Items
Specification and optimal reactive synthesis of run-time enforcement shields, Shield synthesis, Synthesizing Optimally Resilient Controllers, A symbolic algorithm for lazy synthesis of eager strategies, Synthesizing optimally resilient controllers
Uses Software
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
