Finite controlled invariants for sampled switched systems

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

zbMATH Keywords

limit cycleshybrid systemssafetycontrol synthesiszonotopescontrolled invariant

Mathematics Subject Classification ID

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