Multi-agent product systems: controllability and non-blocking properties

Author

Romanovski, I. ; Caines, P.E.

Author_Institution

Dept. of Chem. Eng., Queen´´s Univ., Kingston, Ont.

fYear

2006

fDate

10-12 July 2006

Firstpage

269

Lastpage

275

Abstract

Multi-agent (MA) product systems are defined in Romanovski and Caines (2005), where the notion of an MA controllable vector language specification was introduced, and necessary and sufficient conditions for the existence of a supervisor for such a specification were derived. In this paper we present a set of results concerning the controllability of an MA product system and its component structures (such as standard controllability and the MA controllability of projections). The non-blocking property under the MA product construction is then formulated, and necessary and sufficient conditions are established for this property to hold. Several examples are given to illustrate the results of the paper

Keywords

controllability; formal specification; intelligent control; multi-agent systems; controllability; multiagent product systems; nonblocking property; Automata; Automatic control; Context modeling; Control system analysis; Control system synthesis; Control systems; Controllability; Manufacturing; Sufficient conditions; Transportation;

fLanguage

English

Publisher

ieee

Conference_Titel

Discrete Event Systems, 2006 8th International Workshop on

Conference_Location

Ann Arbor, MI

Print_ISBN

1-4244-0053-8

Type

conf

DOI

10.1109/WODES.2006.1678441

Filename

1678441