Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …

It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …

Programmable logic controllers (PLCs) are indispensable in critical infrastructures and
industrial control systems. The increasing demand for enhanced cost-effectiveness and …

Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems.
Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to …

This paper deals with the energy consumption management problem in buildings by
modeling and controlling the main electric appliances. Renewable energies are taken into …

As systems have been and are becoming more and more complex, the task of quality
assurance is increasingly challenging. Model-based testing is a research field addressing …

Nous proposons dans cette thèse une démarche permettant de décrire un DSML (Domain
Specific Modeling Language) et les outils nécessaires à l'exécution, la vérification et la …

This paper presents an ordinary Petri net (PN)-based approach to the modeling and race-
detection problems of programs for programmable logic controllers (PLCs). First, a PLC …

Model executability is now a key concern in model-driven engineering, mainly to support
early validation and verification (V&V). Some approaches allow to weave executability into …

Time dependant models have been intensively studied for many reasons, among others
because of their applications in software verification and due to the development of …