Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 475-484
- https://doi.org/10.1007/bfb0020969
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On control of systems modelled as deterministic Rabin automataDiscrete Event Dynamic Systems, 1995
- Supervision of Infinite Behavior of Discrete-Event SystemsSIAM Journal on Control and Optimization, 1994
- On condition/event systems with discrete state realizationsDiscrete Event Dynamic Systems, 1991
- Control of discrete event processes with forced eventsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987