Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations

DOI10.1137/070698580zbMath1194.93020arXiv0707.4205OpenAlexW2035309264MaRDI QIDQ3557942

Giordano Pola, Paulo Tabuada

Publication date: 28 April 2010

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0707.4205

zbMATH Keywords

nonlinear systemsincremental stabilityapproximate bisimulationsymbolic modelsalternating bisimulation

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Sampled-data control/observation systems (93C57) System structure simplification (93B11) Synthesis problems (93B50) Protein sequences, DNA sequences (92D20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (28)

Compositional construction of abstractions for infinite networks of discrete-time switched systems ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Approximate predictability of pseudo-metric systems ⋮ Abstraction-based control synthesis using partial information ⋮ Approximate current state observability of discrete-time nonlinear systems under cyber-attacks ⋮ Symbolic models for stochastic switched systems: A discretization and a discretization-free approach ⋮ Towards scalable synthesis of stochastic control systems ⋮ Robust stutter bisimulation for abstraction and controller synthesis with disturbance ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Vector space formulation of probabilistic finite state automata ⋮ Backstepping controller synthesis and characterizations of incremental stability ⋮ Symbolic models for nonlinear time-delay systems using approximate bisimulations ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Approximately bisimilar symbolic models for randomly switched stochastic systems ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Symbolic models for nonlinear control systems affected by disturbances ⋮ Supervisory control for collision avoidance in vehicular networks using discrete event abstractions ⋮ Low-complexity quantized switching controllers using approximate bisimulation ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Compositional synthesis of finite abstractions for networks of systems: a small-gain approach ⋮ Input-Output-to-State Stability of Systems Related through Simulation Relations ⋮ Symbolic models for infinite networks of control systems: a compositional approach ⋮ Learning-based symbolic abstractions for nonlinear control systems ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties

This page was built for publication: Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations