Mode management is one of the problems in discrete events systems control design. Even
based on a simple specification, it is very difficult to prove that models of each mode and …

An usual way in industry to design discrete events system (DES) consists of using a multi-
modal approach to decompose the complexity of processes and specifications. The …

The purpose of this study is the formal verification and validation of a model used for the
reconfiguration process of a production system. This process is ensured by a function within …

In this paper, we propose a framework for designing suitable switching control decisions for
discrete event systems (DES) whose structures change as they develop in different …

This paper proposes an extension of the process tracking in modal supervisory control that
takes into account the models of the controlled processes which are not trimmed. Indeed, in …

In a multimode industrial control system, mode switching decisions have to follow standard
operating procedures which are set for the safety of the system based on the operating …

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 …

A 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 …

This paper deals with operating mode management of Discrete Event Systems (DES) and
this contribution is based on Supervisory Control Theory (SCT). Our aim is to extend SCT by …

This paper deals with operating mode management of discrete event systems (DES) and
this contribution is based on supervisory control theory (SCT). Our aim is to extend SCT by …