A discrete-event model of asynchronous quantised systems
From MaRDI portal
Publication:1614387
DOI10.1016/S0005-1098(02)00023-7zbMath1016.93048MaRDI QIDQ1614387
Dirk Förstner, Merten Jung, Jan Lunze
Publication date: 5 September 2002
Published in: Automatica (Search for Journal in Brave)
hybrid systemreachability analysisnondeterministic automatonstate transitionasynchronous eventsdiscrete-event abstractionquantised systems
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Attainable sets, reachability (93B03)
Related Items (2)
Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Symbolic models for nonlinear control systems affected by disturbances
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the Markov property of quantised state measurement sequences
- Deterministic discrete-event representations of linear continuous-variable systems
- Qualitative modelling of linear dynamical systems with quantized state measurements
- Diagnosis of large active systems
- A logical DES approach to the design of hybrid control systems
- Discrete-event models of quantized systems for diagnosis
- Paradigms and puzzles in the theory of dynamical systems
This page was built for publication: A discrete-event model of asynchronous quantised systems
