Formal approach to multimodal control design: Application to mode switching
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 …
multi-modal control for discrete-event systems (DESs). Our purpose handled modes which …
Identification of incompatible states in mode switching
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 …
based on a simple specification, it is very difficult to prove that models of each mode and …
[PDF][PDF] Repulsive/attractive discrete state space sets for switching management
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 contribution is based on Supervisory Control Theory (SCT). Our aim is to extend SCT by …
Forbidden and preforbidden states in the multi-model approach
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 contribution is based on supervisory control theory (SCT). Our aim is to extend SCT by …
Commutations sûres de mode pour les systèmes à événements discrets
G Faraut - 2010 - theses.hal.science
Le travail présenté dans ce mémoire concerne une démarche de conception appliquée à
une gestion modale pour les systèmes à événements discrets (SED). Un mode est une …
une gestion modale pour les systèmes à événements discrets (SED). Un mode est une …
Supervisory control synthesis for MMC-based HVDC systems
MR Rodríguez - 2018 - theses.hal.science
The growth of renewable energy production is changing the future of power transmission
systems. In recent years, High-Voltage Direct Current (HVDC) technologies based on …
systems. In recent years, High-Voltage Direct Current (HVDC) technologies based on …
[PDF][PDF] Modeling and control of an experimental switched manufacturing system.
M Canu, D Morel, N Rakoto-Ravalontsalama - ICINCO-ICSO, 2007 - scitepress.org
The notion of switched discrete event systems (DES) has been introduced recently. This is a
class of DES where each automaton is the composition of two basic automata, but with …
class of DES where each automaton is the composition of two basic automata, but with …
[引用][C] Supervisory control of switched discrete-event systems
N Rakoto-Ravalontsalama - Proc. of Int. Symposium on MTNS, 2006