Decentralised control of concurrent discrete-event systems with non-prefix closed local specifications

Author

Lee, Sang-Heon ; Wong, Kai C.

Author_Institution

Dept. of Syst. Eng., Australian Nat. Univ., Canberra, ACT, Australia

Volume

3

fYear

1997

fDate

10-12 Dec 1997

Firstpage

2958

Abstract

A problem of decentralised control of concurrent discrete-event systems is formulated. Two subsystems with shared events are considered. Specifications are given locally on the subsystems. The problem is to find a set of `structural´ conditions on the synchronisation between the two subsystems such that, for a set of local specifications, local syntheses and controls achieve the same behaviour as that of a global `optimal´ design for the overall specification, and control in one subsystem does not cause blocking in the other subsystem. Sufficient conditions are obtained. An example is provided for illustration

Keywords

control system synthesis; decentralised control; discrete event systems; interconnected systems; optimal control; concurrent discrete-event systems; decentralised control; global optimal design; local controls; local syntheses; nonprefix closed local specifications; structural conditions; subsystems; synchronisation; Australia; Control system synthesis; Discrete event systems; Distributed control; Feedback control; Law; Legal factors; Sufficient conditions; Supervisory control; Systems engineering and theory;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1997., Proceedings of the 36th IEEE Conference on

Conference_Location

San Diego, CA

ISSN

0191-2216

Print_ISBN

0-7803-4187-2

Type

conf

DOI

10.1109/CDC.1997.657901

Filename

657901