Symbolic models for control systems
From MaRDI portal
Publication:868433
DOI10.1007/s00236-006-0036-6zbMath1134.93003OpenAlexW2130578594MaRDI QIDQ868433
Publication date: 5 March 2007
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-006-0036-6
Related Items
Asynchronous \(l\)-complete approximations ⋮ Approximate simulation relations for hybrid systems ⋮ Approximately bisimilar symbolic models for nonlinear control systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The algorithmic analysis of hybrid systems
- Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.
- An implementation of an efficient algorithm for bisimulation equivalence
- What's decidable about hybrid automata?
- A theory of timed automata
- Qualitative modelling of linear dynamical systems with quantized state measurements
- Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
- Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
- Bisimilar linear systems.
- Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.
- O-minimal hybrid systems.
- Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings
- Bisimilar control affine systems
- Bisimulation relations for dynamical, control, and hybrid systems
- An invariant-based approach to the design of hybrid control systems
- Three Partition Refinement Algorithms
- Hierarchical hybrid control systems: a lattice theoretic formulation
- Discrete approximation and supervisory control of continuous systems
- Machines in a Category: An Expository Introduction
- On the reachability of quantized control systems
- Linear Time Logic Control of Discrete-Time Linear Systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Realization is universal
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
