DocumentCode
2189427
Title
On vector trajectory specifications for multi-agent product systems
Author
Romanovski, I. ; Caines, P.E.
Author_Institution
Dept. of Electr. & Comput. Eng., McGill Univ., Montreal, Que., Canada
Volume
3
fYear
2001
fDate
2001
Firstpage
2333
Abstract
The prescription of sets of trajectories for a finite deterministic automaton A is formulated via the notion of specifications denoted, both individually and collectively, by SPEC. Necessary and sufficient conditions for the existence of sets of trajectories satisfying a given SPEC are provided. The formulation and specification of structures for interacting automata are developed within the multi-agent (MA) product framework and the associated MA product of specifications (MSPEC) is introduced
Keywords
deterministic automata; discrete event systems; finite automata; manufacture; multi-agent systems; vectors; finite deterministic automaton; interacting automata; multi-agent product systems; necessary and sufficient conditions; specifications; vector trajectory specifications; Automata; Automatic control; Control system analysis; Control system synthesis; Multiagent systems; Optimization methods; Sufficient conditions; Telecommunication control; Transportation;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location
Orlando, FL
Print_ISBN
0-7803-7061-9
Type
conf
DOI
10.1109/.2001.980608
Filename
980608
Link To Document