Approximate equivalence and synchronization of metric transition systems
From MaRDI portal
Publication:1004092
DOI10.1016/j.sysconle.2008.09.001zbMath1155.93336DBLPjournals/scl/JuliusDBP09OpenAlexW2113597446WikidataQ57581830 ScholiaQ57581830MaRDI QIDQ1004092
A. Agung Julius, Alessandro D'Innocenzo, George J. Pappas, Maria Domenica Di Benedetto
Publication date: 2 March 2009
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.sysconle.2008.09.001
Related Items (6)
Simulation relations and applications in formal methods ⋮ Passivity-based analysis of sampled and quantized control implementations ⋮ Constructing simulation relations for IDO systems affine in inputs and disturbances ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Approximate equivalence and synchronization of metric transition systems ⋮ Simulation for lattice-valued doubly labeled transition systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The algorithmic analysis of hybrid systems
- Compositional abstractions of hybrid control systems
- Approximate equivalence and synchronization of metric transition systems
- Controllers for reachability specifications for hybrid systems
- Bisimilar linear systems.
- Set invariance in control
- Observability and controllability of piecewise affine and hybrid systems
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- Computation of Maximal Safe Sets for Switching Systems
- Control Under Communication Constraints
- Equivalence of Dynamical Systems by Bisimulation
- Approximation Metrics for Discrete and Continuous Systems
- Automata, Languages and Programming
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Approximate equivalence and synchronization of metric transition systems
