We propose to see adaptive systems as systems with highly dynamic features. We model as
features both the reconfigurations of the system, but also the changes of the environment …

In this paper, we investigate the control of infinite reactive synchronous systems modeled by
arithmetic symbolic transition systems for safety properties. We provide effective algorithms …

We elaborate on our former work for the safety control of infinite reactive synchronous
systems modeled by arithmetic symbolic transition systems. By using abstract interpretation …

The model-checking problem for software product lines is harder than for single systems.
Indeed, one has to verify all the software variants of a product line, whose number grows …

Nowadays, extended state machines are prominent requirements specification techniques
due to their capabilities of modeling complex systems in a compact way. These machines …

We put forward a new modeling technique for Dynamic Resource Management (DRM)
based on discrete events control for symbolic logico-numerical systems, especially Discrete …

Towards the automation of Software-Defined Network (SDN) based Internet of Things (IoT)
platforms, we are using formal analysis and synthesis techniques to ensure their safe …

This thesis studies the decentralized and parameterized supervisor synthesis problems in
the Ramadge-Wonham paradigm. We obtain a characterization of the solvability of the …

Today's industry trend towards agile product development cycles and the ambition to
shorten the time-to-market, represents an extremely competitive marketplace. This has …

Occupant distribution in buildings is important both for energy saving and for fast evacuation.
This information can be monitored by wireless sensors, which are easy to install but subject …