M. Queiroz and J. Cury. Modular supervisory control of large scale discrete event systems. In Proceedings of WODES 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Hierarchical Interface-based Supervisory Control: AIP.. - Leduc, Lawford, Wonham (2001) (4 citations) (Correct)
....that a composite system, based on a cartesian product of subsystems, is (i) nonblocking and (ii) controllable. The main obstacle to performing these tasks is the combinatorial explosion of the product state space. Although many methods have been developed to deal with this problem (modular control [1, 16, 23, 27], decentralised control [17, 24, 28] model aggregation methods [2, 3, 6, 10, 26, 31] and multi level hierarchy [5, 8, 9, 18, 19, 25, 32] large scale systems are still problematic, particularly for veri cation of nonblocking. In [14, 15] we presented the parallel case of a method called ....
....that a composite system, based on a cartesian product of subsystems, is (i) nonblocking and (ii) controllable. The main obstacle to performing these tasks is the combinatorial explosion of the product state space. Although many methods have been developed to deal with this problem (modular control [1, 23, 27], decentralised control [17, 24, 28] model aggregation methods [2, 3, 6, 26, 31] and multi level hierarchy [5, 9, 18, 19, 25, 32] large scale systems are still problematic, particularly for veri cation of nonblocking. To deal with the complexity of large scale systems, the software ....
M.H. de Queiro and J.E.R. Cury. Modular supervisory control of large scale discrete event systems. In Proceedings of WODES 2000.
Symbolic Hierarchical Interface-based Supervisory Control - Symbolic Synthesis And (Correct)
No context found.
M. Queiroz and J. Cury. Modular supervisory control of large scale discrete event systems. In Proceedings of WODES 2000.
Hierarchical Interface-based Supervisory Control -.. - Leduc, Brandin.. (2001) (4 citations) (Correct)
No context found.
M. Queiroz and J. Cury, "Modular supervisory control of large scale discrete event systems," in Proceedings of WODES 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC