Finite controlled invariants for sampled switched systems
DOI10.1007/S10703-014-0211-2zbMATH Open1303.93121OpenAlexW2136634355MaRDI QIDQ487251FDOQ487251
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
Recommendations
- Stability Controllers for Sampled Switched Systems
- Sampling and control of switched linear systems
- Finite time stability and \(L_2\)-gain analysis for switched linear systems with state-dependent switching
- Analysis and synthesis of switched linear control systems
- Finite-time quantised feedback asynchronously switched control of sampled-data switched linear systems
Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Sampled-data control/observation systems (93C57) Application models in control theory (93C95)
Cites Work
- Title not available (Why is that?)
- Basic problems in stability and design of switched systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Hybrid Systems: Computation and Control
- Controllers for reachability specifications for hybrid systems
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (6)
- Compositional synthesis of state-dependent switching control
- Lazy Abstraction-Based Controller Synthesis
- Guaranteed control of switched control systems using model order reduction and state-space bisection
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
- Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
This page was built for publication: Finite controlled invariants for sampled switched systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487251)
