On vector trajectory specifications for multi-agent product systems
I. Romanovski, Peter E. Caines · Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) · 2003
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.