Formal Approach to Multimodal Control Design: Application to Mode Switching

Abstract

International audienceA framework based on supervisory control theory (SCT) is proposed to assist the design of multi-modal control for discrete-event systems (DESs). Our purpose handled modes which are conceptualized by using multi-model approach. Each mode represents a running part of the system, depending on the requirements to enforce and resources to activate. The resulted framework aims to design each mode independently first, and resolves conflicting connections between them secondly. The proposal carries out a formal way to build the final ready-to-use control laws. A flexible manufacturing system illustrates this approach

Equivalence of behaviors between centralized and multi-model approaches

“…the requirements in relation to the switch control of the system. Further discussion is found in [18]. Furthermore, we define C M j as the set of components used in the mode M j .…”

“…Nevertheless, we proposed a framework to solve it. more information can be found in [17], [18]. From now, the problem is about the behavior computed by the framework proposed in previous works and the behavior computed by the usual centralized approach.…”

“…In our previous work, presented in [17], [18], we proposed a framework using modal standpoint in the design of a system. The multi-model approach decomposes the system controller in several models representing a set of needed components to realize tasks such a set of requirements has to be respected.…”

State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems

“…However, additional behavioral specifications are not considered in these papers. Reconfiguration under behavioral restrictions is investigated in [2], [5], and [7]- [9]. In [2] a maximally permissive mutually and globally nonblocking supervisor is determined for changing between configurations under the restrictive assumption that there is no transition period between configurations.…”

“…Differently, we intend to move to distinguished states, where a requested configuration can start its operation. The work in [5] enables configuration changes while meeting safety specifications. However, configuration changes can generally not be performed in a bounded number of transitions and cannot be requested at any time.…”