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 …

This brief presents an approach to safe controller synthesis for manufacturing systems
controlled by programmable logic controllers (PLCs). In this brief, manufacturing systems are …

In this study, manufacturing systems are considered as Discrete Event Systems (DES) with
logical Inputs (sensors) and logical Outputs (actuators). In previous work, an original …

Because of an increasing flow of data being derived from external economic environment
and inner business processes, it has become vital to create an automatized tool for …

This work focuses on the management of safety constraints for the control of cyber-physical
manufacturing systems. A methodology for constructing a set of constraints to ensure the …

Cette thèse contribue à une approche formelle de conception d'un programme de
contrôle/commande pour les systèmes automatisés de production (SAP) contrôlés par des …

Les systèmes automatisés de production (SAP) représentent une classe importante de
systèmes industriels qui sont devenus complexes et sensibles aux dysfonctionnements avec …