DocumentCode
2294847
Title
Interacting DES: modelling and analysis
Author
Abdelwahed, Sherif ; Wonham, W.M.
Author_Institution
Inst. for Software Integrated Syst., Vanderbilt Univ., Nashville, TN, USA
Volume
5
fYear
2003
fDate
5-8 Oct. 2003
Firstpage
4222
Abstract
In this paper a modelling and analysis paradigm for multiprocess discrete event systems is presented within the formal language and automata settings. The proposed modelling structure features explicit representation of the system components as well as their interaction constraints. The model is then extended for hierarchical multilevel systems.
Keywords
discrete event systems; formal languages; hierarchical systems; modelling; automata settings; formal language; hierarchical multilevel systems; multiprocess discrete event systems; structure features; system components; Automata; Concrete; Control system synthesis; Discrete event systems; Formal languages; Hierarchical systems; Information analysis; Multilevel systems; Multiprocessing systems; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2003. IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-7952-7
Type
conf
DOI
10.1109/ICSMC.2003.1245648
Filename
1245648
Link To Document