Title :
An assume-guarantee reasoning for hierarchical coordination of discrete event systems
Author :
Cunha, Antonio E C da ; Cury, Jose E. R. ; Krogh, Bruce H.
Author_Institution :
Departamento de Automacao e Sistemas, Univ. Fed. de Santa Catarina, Florianopolis, Brazil
Abstract :
The construction of a consistent abstraction plays a central role in the hierarchical control of discrete event systems. When constructing a consistent abstraction of a composed system it is first necessary to build the entire system, whose state space grows exponentially with the number of system components. Therefore it is desirable to build this consistent abstraction directly from the composition of consistent abstractions of the subsystems. But the composition of consistent abstractions of the subsystems is not necessarily a consistent abstraction of the composed system. This paper presents a method based on an assume-guarantee reasoning to build a consistent abstraction of the composed system by the composition of modified consistent abstractions of the subsystems. The method is then applied for a case of an Cooperative Adaptive Cruise Controller (CACC) system for an automobile.
Keywords :
adaptive control; automobiles; cooperative systems; discrete event systems; hierarchical systems; inference mechanisms; state-space methods; velocity control; assume-guarantee reasoning; automobile; consistent abstraction; cooperative adaptive cruise controller; discrete event systems; hierarchical control; hierarchical coordination; state space; Adaptive control; Automobiles; Centralized control; Control system synthesis; Control systems; Discrete event systems; Explosions; Intelligent control; Programmable control; State-space methods;
Conference_Titel :
Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on
Print_ISBN :
0-7695-1683-1
DOI :
10.1109/WODES.2002.1167672
