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

fYear

2005

fDate

8-10 June 2005

Firstpage

3949

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;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference, 2005. Proceedings of the 2005

ISSN

0743-1619

Print_ISBN

0-7803-9098-9

Electronic_ISBN

0743-1619

Type

conf

DOI

10.1109/ACC.2005.1470593

Filename

1470593