Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
From MaRDI portal
Publication:3557942
DOI10.1137/070698580zbMath1194.93020arXiv0707.4205MaRDI QIDQ3557942
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
nonlinear systems; incremental stability; approximate bisimulation; symbolic models; alternating bisimulation
93C10: Nonlinear systems in control theory
93C57: Sampled-data control/observation systems
93B11: System structure simplification
93B50: Synthesis problems
92D20: Protein sequences, DNA sequences
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Symbolic models for nonlinear control systems affected by disturbances, Input-Output-to-State Stability of Systems Related through Simulation Relations, Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties, Approximate current state observability of discrete-time nonlinear systems under cyber-attacks, Robust stutter bisimulation for abstraction and controller synthesis with disturbance, Finite abstractions with robustness margins for temporal logic-based control synthesis, Vector space formulation of probabilistic finite state automata, A modal characterization of alternating approximate bisimilarity, Supervisory control for collision avoidance in vehicular networks using discrete event abstractions, Approximate bisimulation: a bridge between computer science and control theory, Symbolic models for stochastic switched systems: A discretization and a discretization-free approach, Towards scalable synthesis of stochastic control systems, Optimal multirate sampling in symbolic models for incrementally stable switched systems, Deadlock-free output feedback controller design based on approximately abstracted observers, Symbolic models for nonlinear time-delay systems using approximate bisimulations, Symbolic models for infinite networks of control systems: a compositional approach, Learning-based symbolic abstractions for nonlinear control systems, Compositional construction of abstractions for infinite networks of discrete-time switched systems, Approximately bisimilar symbolic model for switched systems with unstable subsystems, Approximate predictability of pseudo-metric systems, Refinements of behavioural abstractions for the supervisory control of hybrid systems, Low-complexity quantized switching controllers using approximate bisimulation, Compositional synthesis of finite abstractions for networks of systems: a small-gain approach, Backstepping controller synthesis and characterizations of incremental stability, Approximately bisimilar symbolic models for randomly switched stochastic systems, Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications, Abstraction-based control synthesis using partial information, Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
