Equivalence of Behaviors Between Centralized and Multi-model Approaches

Gregory Faraut (1) , Laurent Piétrac (1) , Eric Niel (1)

1 AMPERE - Ampère

This paper presents a comparison between centralized approach and multi-model approach based on Supervisory Control Theory (SCT). The centralized approach uses both the whole process and specification to compute the controlled process. The multi-model approach, on the other hand, is used basing on various modal perspectives. This approach allows to build smaller models, which lead to smaller scale and better understanding of the latter. The comparison is made basing on a number of conditions, which all ensure the identical behavior between the controlled processes of each discussed approach. An example of a manufacturing system illustrating the comparison is also presented.

Mots clés: Automata; Discrete-Event Systems; mode switching; multimodel control design; multimodal system; Supervisory Control Theory

Domaines: Automatique

Gregory Faraut, Laurent Piétrac, Eric Niel. Equivalence of Behaviors Between Centralized and Multi-model Approaches. 7th International Conference on Automation Science and Engineering, CASE'11, Aug 2011, Trieste, Italy. pp.32-38, ⟨10.1109/CASE.2011.6042502⟩. ⟨hal-00759500⟩