Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
From MaRDI portal
Publication:4978661
DOI10.1109/TAC.2009.2034922zbMath1368.93413MaRDI QIDQ4978661
Antoine Girard, Giordano Pola, Paulo Tabuada
Publication date: 25 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Related Items (60)
Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey ⋮ Quantitative Model Checking for a Controller Design ⋮ An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Bounded invariant verification for time-delayed nonlinear networked dynamical systems ⋮ Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Input-to-state contraction for impulsive systems ⋮ Incremental \((Q,S,R)\)-dissipativity and incremental stability for switched nonlinear systems ⋮ Stochastic incremental \(H_\infty\) control for discrete-time switched systems with disturbance dependent noise ⋮ Symbolic abstractions for nonlinear control systems via feedback refinement relation ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method ⋮ Approximate predictability of pseudo-metric systems ⋮ Abstraction-based control synthesis using partial information ⋮ On Feedback Stabilization of Linear Switched Systems via Switching Signal Control ⋮ Symbolic models for stochastic switched systems: A discretization and a discretization-free approach ⋮ Incremental stability of stochastic time‐varying impulsive and switching systems ⋮ Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach ⋮ Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems ⋮ Towards scalable synthesis of stochastic control systems ⋮ Automated generation of dynamics-based runtime certificates for high-level control ⋮ Adaptive control for a class of high-order switched nonlinearly parameterized systems ⋮ Backstepping controller synthesis and characterizations of incremental stability ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ Guaranteed control of switched control systems using model order reduction and state-space bisection ⋮ Symbolic models for nonlinear time-delay systems using approximate bisimulations ⋮ Game-based Synthesis of Distributed Controllers for Sampled Switched Systems ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Model reduction of switched affine systems ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ Finite controlled invariants for sampled switched systems ⋮ Symbolic models for nonlinear control systems affected by disturbances ⋮ Switched adaptive control of switched nonlinearly parameterized systems with unstable subsystems ⋮ A design of GPU-based quantitative model checking ⋮ Vector incremental \(L_2\)-gain and incremental stability for switched nonlinear systems ⋮ Adaptive fuzzy output-feedback dynamic surface control of MIMO switched nonlinear systems with unknown gain signs ⋮ Synchronous vs asynchronous switching-based output-feedback control for switched nonlinear systems with measurement noise sensitivity ⋮ Low-complexity quantized switching controllers using approximate bisimulation ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Convergent under-approximations of reachable sets and tubes: a piecewise constant approach ⋮ Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems ⋮ A topological method for finding invariant sets of continuous systems ⋮ Symbolic models for retarded jump-diffusion systems ⋮ Fibrational bisimulations and quantitative reasoning ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Practical output tracking of switched nonlinear systems inp-normal form with unstable subsystems ⋮ Verification of approximate opacity for switched systems: a compositional approach ⋮ Incremental stability and contraction via impulsive control for continuous-time dynamical systems ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems ⋮ 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 ⋮ Output-feedback stabilisation for a class of switched nonlinear systems with unknown control coefficients ⋮ Robustly complete finite-state abstractions for verification of stochastic systems ⋮ Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
This page was built for publication: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
