Synthesis and implementation of logic controllers–A review
J Zaytoon, B Riera - Annual reviews in control, 2017 - Elsevier
This paper provides an overview of some well-known formal approaches for the synthesis
and implementation of logic controllers. Most of these approaches are based on the use and …
and implementation of logic controllers. Most of these approaches are based on the use and …
Modular supervisory control for the coordination of a manufacturing cell with observable faults
In the present paper, a manufacturing cell in the presence of faults, coming from the devices
of the process, is considered. The modular modeling of the subsystems of the cell is …
of the process, is considered. The modular modeling of the subsystems of the cell is …
A distributed supervisor architecture for a general wafer production system
The current trend in the wafer production industry is to expand the production chain with
more production stations, more buffers, and robots. The goal of the present paper is to …
more production stations, more buffers, and robots. The goal of the present paper is to …
[HTML][HTML] Supervisor design for a pressurized reactor unit in the presence of sensor and actuator faults
The preservation of the efficient functionality of a pressurized reactor unit in the presence of
faults is the aim of the present paper. To satisfy this aim, a distributed supervisory control …
faults is the aim of the present paper. To satisfy this aim, a distributed supervisory control …
Modular supervisory control for multi-floor manufacturing processes
Due to space availability limitations and high land costs, there is an increasing development
of multi-floor manufacturing (MFM) systems in urban and industrial areas. The problem of …
of multi-floor manufacturing (MFM) systems in urban and industrial areas. The problem of …
A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway …
To improve the design, Verification and Validation phases of Power Supply Equipment of the
Electric Lines control systems at French Railway Company (SNCF for Société nationale des …
Electric Lines control systems at French Railway Company (SNCF for Société nationale des …
Integrating reinforcement learning and supervisory control theory for optimal directed control of discrete-event systems
Y Hu, D Wang, M Yang, J He - Neurocomputing, 2025 - Elsevier
Directed control is crucial for implementing controllers on programmable logic controllers. A
directed controller is one that actively selects at most one controllable event (control …
directed controller is one that actively selects at most one controllable event (control …
[HTML][HTML] Safe Performance of an Industrial Autonomous Ground Vehicle in the Supervisory Control Framework
A Cyberphysical system, being an autonomous guided vehicle (AGV) and having diverse
applications such as thematic parks and product transfer in manufacturing units, is modeled …
applications such as thematic parks and product transfer in manufacturing units, is modeled …
[PDF][PDF] Functional objectives decisionmaking of discrete manufacturing system based on integrated ant colony optimization and particle swarm optimization approach
W Xu, Y Yin - Advances in Production Engineering & Management, 2018 - apem-journal.org
Manufacturing system is the core subsystem of enterprises and the fundamental driving
force for sustainable development of enterprises [1]. Its competitiveness directly determines …
force for sustainable development of enterprises [1]. Its competitiveness directly determines …
Robust supervisory control of discrete event systems against intermittent loss of observations
We address in this paper the design of robust supervisors that are able to cope with
intermittent loss of observations and also make the controlled system achieve the …
intermittent loss of observations and also make the controlled system achieve the …