Abstract
We propose an algorithm for the hierarchical decomposition of a large automaton-based discrete-event system. We also provide an estimation of the numerical cost in terms of the size of the system. Our hierarchical decomposition is illustrated with simple examples from dynamical ST-control and supervisory control with uncontrollable events and unsafe states.
Original language | English |
---|---|
Pages (from-to) | 321-340 |
Journal | Discrete Event Dynamic Systems |
Volume | 13 |
DOIs | |
Publication status | Published - 2003 |