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 …
Supervisory hybrid systems
MD Lemmon, KX He, I Markovsky - IEEE Control Systems …, 1999 - ieeexplore.ieee.org
Supervisory hybrid systems are systems generating a mixture of continuous-valued and
discrete-valued signals. This systems paradigm is particularly useful in modeling …
discrete-valued signals. This systems paradigm is particularly useful in modeling …
Controllability revisited: A generalization for the modular approach
Abstract In the Supervisory Control Theory, originally presented by Ramadge and Wonham,
Ramadge and Wonham (1989), an important property is controllability. The definition of …
Ramadge and Wonham (1989), an important property is controllability. The definition of …
Operating modes distinguishability condition in switching systems
KMD Motchon, KM Pekpe, JP Cassar… - … IEEE Conference on …, 2013 - ieeexplore.ieee.org
In this paper, we consider a switching system with several operating modes which represent
normal or faulty behavior. The objective is to find a necessary and sufficient condition to …
normal or faulty behavior. The objective is to find a necessary and sufficient condition to …
Switching supervisory control based on controller falsification and closed-loop performance inference
E Mosca, T Agnoloni - Journal of Process Control, 2002 - Elsevier
The paper addresses two of the basic issues of switching supervisory control (SSC):
controller falsification (CF) and inference of candidate loop behaviour (ICLB). CF is …
controller falsification (CF) and inference of candidate loop behaviour (ICLB). CF is …
[图书][B] Top-down design for RW supervisory control theory.
B Wang - 1996 - library-archives.canada.ca
In seeking to adapt RW control theory to structured models, this thesis studies a new
architecture for modeling discrete event systems called State Tree Structure (STS), and …
architecture for modeling discrete event systems called State Tree Structure (STS), and …
A compositional approach for verifying hierarchical interface-based supervisory control
Abstract Hierarchical Interface-based Supervisory Control (HISC) decomposes a discrete-
event system into a high-level subsystem which communicates through interfaces with …
event system into a high-level subsystem which communicates through interfaces with …
Process tracking by equivalent states in modal supervisory control
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 …
takes into account the models of the controlled processes which are not trimmed. Indeed, in …
A hierarchical consistency framework for real-time supervisory control
QH Ngo, KT Seow - Discrete Event Dynamic Systems, 2018 - Springer
The control framework of hierarchical consistency of timed discrete-event systems (TDES's)
is investigated in a standard two-level hierarchy. Real-time concepts and the associated …
is investigated in a standard two-level hierarchy. Real-time concepts and the associated …