Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models

DOI10.1109/TAC.2015.2478131zbMath1359.93350MaRDI QIDQ2980524

Sebti Mouelhi, Antoine Girard, Gregor Gössler

Publication date: 3 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Robust stability (93D09) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Hybrid systems of ordinary differential equations (34A38)

Related Items (19)

Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Abstraction-based control synthesis using partial information ⋮ Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Sensitivity analysis for the optimization of switched dynamical processes with state-dependent switching conditions and its application ⋮ Robust exponential stability analysis of switched systems under switching boundary mismatch ⋮ Optimal mixed discrete-continuous planning for linear hybrid systems ⋮ Approximate abstractions of control systems with an application to aggregation ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Optimal switching of switched systems with time delay in discrete time ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ Learning-based symbolic abstractions for nonlinear control systems ⋮ How adaptive and reliable is your program?

This page was built for publication: Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models