Title :
Interacting DES: modelling and analysis
Author :
Abdelwahed, Sherif ; Wonham, W.M.
Author_Institution :
Inst. for Software Integrated Syst., Vanderbilt Univ., Nashville, TN, USA
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;
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
Print_ISBN :
0-7803-7952-7
DOI :
10.1109/ICSMC.2003.1245648
