Abstraction, discretization, and robustness in temporal logic control of dynamical systems
From MaRDI portal
Publication:2986982
DOI10.1145/2562059.2562137zbMath1362.93058OpenAlexW1985919024MaRDI QIDQ2986982
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.2562137
Related Items (7)
Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems ⋮ CASP solutions for planning in hybrid domains ⋮ Towards scalable synthesis of stochastic control systems ⋮ Automated generation of dynamics-based runtime certificates for high-level control
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
This page was built for publication: Abstraction, discretization, and robustness in temporal logic control of dynamical systems
