Finite controlled invariants for sampled switched systems
From MaRDI portal
Publication:487251
DOI10.1007/s10703-014-0211-2zbMath1303.93121OpenAlexW2136634355MaRDI QIDQ487251
Ulrich Kühne, Laurent Fribourg, Romain Soulat
Publication date: 19 January 2015
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-014-0211-2
Application models in control theory (93C95) Sampled-data control/observation systems (93C57) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (6)
An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Compositional synthesis of state-dependent switching control ⋮ Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method ⋮ Guaranteed control of switched control systems using model order reduction and state-space bisection ⋮ Game-based Synthesis of Distributed Controllers for Sampled Switched Systems ⋮ Lazy Abstraction-Based Controller Synthesis
Cites Work
- Controllers for reachability specifications for hybrid systems
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- Basic problems in stability and design of switched systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Hybrid Systems: Computation and Control
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Finite controlled invariants for sampled switched systems