Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

DOI10.1007/978-3-540-71493-4_41MaRDI QIDQ3612999zbMATH OpenOpenAlexFDO

Authors Paulo Tabuada

Publication date 11 March 2009

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71493-4_41

Mathematics Subject Classification ID

Input-output approaches in control theory (93D25)

Recommendations

• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Approximate simulation relations for hybrid systems
• Bisimilar Finite Abstractions of Interconnected Systems
• Compositional construction of approximate abstractions

Cited in

(8)

• Hierarchical control system design using approximate simulation
• Bisimilar Finite Abstractions of Interconnected Systems
• Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
• Finite abstractions for hybrid systems with stable continuous dynamics
• scientific article; zbMATH DE number 1794386 (Why is no real title available?)
• Constructing simulation relations for IDO systems affine in inputs and disturbances
• \textit{AP}-observation automata for abstraction-based verification of continuous-time systems
• Approximate reduction of dynamic systems

Describes a project that uses

Uses Software

• RAMAS

This page was built for publication: Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612999)