Reconfigurable coordination of distributed discrete event control systems
Dynamic reconfigurability is receiving more and more attention from both academy and
industry, which means the ability to flexibly modify system functions by adding/removing …
industry, which means the ability to flexibly modify system functions by adding/removing …
R-TNCES: A novel formalism for reconfigurable discrete event control systems
This study deals with the formal modeling and verification of reconfigurable discrete event
control systems (RDECSs). The behavior of an RDECS is represented by that of control …
control systems (RDECSs). The behavior of an RDECS is represented by that of control …
Control reconfiguration of discrete event systems with dynamic control specifications
This paper defines a reconfiguration method for the class of discrete-event systems (DES)
that is subject to linear constraints as their control specifications. Some existing methods for …
that is subject to linear constraints as their control specifications. Some existing methods for …
Reconfiguration of distributed embedded-control systems
M Khalgui, O Mosbahi, Z Li… - … /ASME Transactions on …, 2010 - ieeexplore.ieee.org
This paper deals with distributed multiagent reconfigurable embedded-control systems
following the component-based International Industrial Standard IEC61499 in which a …
following the component-based International Industrial Standard IEC61499 in which a …
State-space supervisory control of reconfigurable discrete event systems
HE Garcia, A Ray - International Journal of Control, 1996 - Taylor & Francis
The discrete event theory of supervisory and state feedback control offers many advatages
for implementing supervisory systems. Algorithmic concepts have been introduced to ensure …
for implementing supervisory systems. Algorithmic concepts have been introduced to ensure …
Reconfiguration protocol for multi-agent control software architectures
M Khalgui, HM Hanisch - IEEE Transactions on Systems, Man …, 2010 - ieeexplore.ieee.org
This paper deals with distributed multi-agent reconfigurable embedded control systems
following the International Industrial Standard IEC 61499 in which a Function Block (FB) is …
following the International Industrial Standard IEC 61499 in which a Function Block (FB) is …
Control reconfiguration of discrete event systems controllers with partial observation
J Liu, H Darabi - IEEE Transactions on Systems, Man, and …, 2004 - ieeexplore.ieee.org
In this paper, we develop a framework for reconfiguration of a discrete event system (DES)
controller, which has a dynamic event observation set. We will show the designed …
controller, which has a dynamic event observation set. We will show the designed …
Nonblocking hierarchical control of decentralized discrete event systems
K Schmidt, T Moor, S Perk - IEEE Transactions on Automatic …, 2008 - ieeexplore.ieee.org
This contribution investigates the hierarchical control of decentralized discrete event
systems (DES) that are synchronized by shared events. A hierarchical control architecture …
systems (DES) that are synchronized by shared events. A hierarchical control architecture …
On methodology for the verification of reconfigurable timed net condition/event systems
This paper deals with the formal verification of reconfigurable discrete event control systems
(RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A …
(RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A …
Modeling and Verification of Reconfigurable and Energy‐Efficient Manufacturing Systems
This paper deals with the formal modeling and verification of reconfigurable and energy‐
efficient manufacturing systems (REMSs) that are considered as reconfigurable discrete …
efficient manufacturing systems (REMSs) that are considered as reconfigurable discrete …