-
Task-level programming for control systems using discrete control synthesis
Robotic and control systems are ever more difficult to design, program, as well as to operate. This is due to their growing size and complexity. Therefore, their... -
Synchronous Programming of Device Drivers for Global Resource Control in Embe...
This thesis is about the design of software for embedded systems. The hardware platforms usually employed in these systems provide a limited amount of memory,... -
Circuit Generation for Verification of ESTEREL Programs
We propose in this paper a method that takes external Boolean variables into account for the verification of ESTEREL programs. The intermediate code that we use is a... -
Modular distribution of synchronous programs
We address the problem of safe design of distributed embedded systems. We show that with the increasing complexity and integration of embedded systems, the functional... -
A Type System for the Automatic Distribution of Higher-order Synchronous Data...
International audience -
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,...
