Title :
Conservation of normality for master-slave and strict discrete-event system composition
Author :
Wenck, Florian ; Richter, Jan H.
Author_Institution :
Dept. of Process Autom., Technische Univ. Hamburg, Germany
Abstract :
In this work the normality property of specification languages for discrete-event systems under partial observation is investigated in a modular context for large-scale systems-modelling. This is related to work on controllability done previously in a similar context by R. Wenck and J. H. Richter (2004). The problem of preserving normality under master-slave (biased synchronous composition, BSC) and strict composition (strict product composition, SPC) operations is defined, and sufficient conditions for preserving normality under application of these operators are provided.
Keywords :
controllability; discrete event systems; large-scale systems; observability; observers; specification languages; controllability; large-scale systems-modelling; master-slave biased synchronous composition; master-slave discrete event system composition; partial observation; specification languages; strict discrete-event system composition; Automation; Computational complexity; Controllability; Discrete event systems; Large-scale systems; Manufacturing; Master-slave; Specification languages; Sufficient conditions; Supervisory control;
Conference_Titel :
American Control Conference, 2005. Proceedings of the 2005
Print_ISBN :
0-7803-9098-9
Electronic_ISBN :
0743-1619
DOI :
10.1109/ACC.2005.1470593
