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
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;
Conference_Titel :
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-7061-9
DOI :
10.1109/.2001.980608
