A discrete-event model of asynchronous quantised systems

Automatica

Volumn 38, Issue 8, 2002, Pages 1277-1286

  Förstner, Dirk ^a   Jung, Merten ^b   Lunze, Jan ^c  

^a ROBERT BOSCH GMBH   (Germany)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^c RUHR UNIVERSITY BOCHUM   (Germany)

Author keywords

Asynchronous events; Discrete event abstraction; Hybrid system; Quantised systems; Reachability analysis

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; PARAMETER ESTIMATION; STATE SPACE METHODS;

ASYNCHRONOUS QUANTIZED SYSTEMS;

AUTOMATA THEORY;

EID: 0036681139     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(02)00023-7     Document Type: Article

References (14)

1. Approximate reachability analysis of piecewise-linear dynamical systems
2. Diagnosis of large active systems
3. Computing polyhedral approximations to flow pipes for dynamic systems
4. Discrete-event models of quantised systems for diagnosis
5. Qualitative modelling of linear dynamical systems with quantized state measurements
6. On the Markov property of quantised state measurement sequences
7. Diagnosis of quantised systems
8. Deterministic discrete-event representations of linear continuous-variable systems
9. A discrete modelling procedure for continuous processes based on state-discretisation
10. Differential inclusions in system simulation
11. Approximating automata and discrete control for continuous systems - Two examples from process control
12. A logical DES approach to the design of hybrid control systems
13. Approximating switched continuous systems by rectangular automata
14. Paradigms and puzzles in the theory of dynamical systems