Finite controlled invariants for sampled switched systems

DOI10.1007/S10703-014-0211-2MaRDI QIDQ487251zbMATH OpenOpenAlexFDO

Authors Laurent Fribourg, Ulrich Kühne, 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

zbMATH Keywords

hybrid systemscontrol synthesislimit cycleszonotopessafetycontrolled invariant

Mathematics Subject Classification ID

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)

Recommendations

• Stability Controllers for Sampled Switched Systems
• Sampling and control of switched linear systems
• Finite time stability and L₂-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

Cites work

• scientific article; zbMATH DE number 1305022 (Why is no real title available?)
• scientific article; zbMATH DE number 1956647 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Basic problems in stability and design of switched systems
• Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
• Controllers for reachability specifications for hybrid systems
• Hybrid Systems: Computation and Control

Cited in

(6)

• Compositional synthesis of state-dependent switching control
• 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
• Lazy abstraction-based controller synthesis

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)