-
An approach for the synthesis of decentralised supervisors for distributed ad...
International audience -
QoS and Energy Management Coordination using Discrete Controller Synthesis
International audience -
Case studies in discrete control for autonomic system administration
International audience -
Programming and Timing Analysis of Parallel Programs on Multicores
International audience -
Design and Analysis for Multi-Clock and Data-Intensive Applications on Multip...
With the increase in the integration of functions, modern embedded systems have become very smart and sophisticated. The typical examples of this tendency are last... -
Polychronous modeling and evaluation of real-time systems
Real-time systems are devices consisting of hardware and software with functional and timing constraints for the interaction with their environment. Telecommunication,...
