Multitasking Supervisory Control of Discrete-Event Systems-Reference-Cited by-同舟云学术

Multitasking Supervisory Control of Discrete-Event Systems

Published:2005-10-13 Issue:4 Volume:15 Page:375-395
ISSN:0924-6703
Container-title:Discrete Event Dynamic Systems
language:en
Short-container-title:Discrete Event Dyn Syst

Author:

de Queiroz Max H.,Cury José E. R.,Wonham W. M.

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Modelling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/s10626-005-4058-y.pdf

Reference16 articles.

1. de Queiroz, M. H. 2004. Controle supervisório modular e multitarefa de sistemas compostos. Doctoral thesis, UFSC, Florianópolis, Brazil. (In Portuguese).

2. de Queiroz, M. H., and Cury, J. E. R. 2000. Modular Supervisory Control of Large Scale DES. In DES: Analysis and Control, Kluwer, pp.103–110.

3. de Queiroz, M. H., Cury, J. E. R. 2005. Modular multitasking supervisory control of composite DES.In Proc. of the 16th IFAC World Congress, Prague, Czech Republic.

4. Desroches, A. A. 1990. Modeling and Control of Automated manufacturing Sysems, IEEE Computer Society Press.

5. Fabian, M., and Kumar, R. 2000. Mutually nonblocking supervisory control of DES, Automatica, 36: 1863–1869.

Cited by 45 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantitatively nonblocking supervisory control of discrete-event systems;Automatica;2024-12

2. A modular synthesis approach for the coordination of multi-agent systems: the multiple team case;Discrete Event Dynamic Systems;2024-01-26

3. Compositional non-blockingness verification of finite automata with prioritised events;Discrete Event Dynamic Systems;2024-01-25

4. Compositional Verification Using Geodesic Distance via Assume-Guarantee Reasoning;IEEE Access;2024

5. Supervisory Control of Multiple Product Flow for a Flexible Manufacturing System;Structural Integrity;2024