This paper focuses on the design and verification methods of distributed logic controllers
supervising real-life processes. Such systems have to be designed very carefully and …

Checking the diagnosability of a timed discrete-event system usually consists in determining
whether a single fault event can always be identified with certainty after a finite amount of …

In the context of MDE (Model-Driven Engineering), our objective is to define the semantics
for a given DSL (Domain Specific Language) either to simulate its models or to check …

Embedded logic controllers specification is the first step in development process. Possible
errors in this phase [1] may influence oncoming phases or even the whole venture. Usually …

This paper shows a novel prototyping technique for concurrent control systems described by
interpreted Petri nets. The technique is based on the decomposition of an interpreted Petri …

Checking the diagnosability of a discrete event system aims at determining whether a fault
can always be identified with certainty after the observation of a bounded number of events …

Ladder Diagram (LD) is the most used programming language for Programmable Logical
Controllers (PLCs). A PLC is a special purpose industrial computer used to automate …

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 …

A component-based approach to the specification and implementation of complex digital
systems on field-programmable gate arrays (FPGAs) has been developed, with the behavior …

One of the key requirements for an augmented reality system is a tracking system that
determines the user's viewpoint accurately. Many vision-based tracking systems exhibit …