-
QoS and Energy Management Coordination using Discrete Controller Synthesis
International audience -
Modeling and formal control of reconfiguration -- Application to dynamically ...
This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially dynamically and partially reconfigurable Systems-on-Chip. The work... -
Incremental discrete controller synthesis for communicating systems based on ...
International audience -
Coordinating multiple administration loops using discrete control
COLUMN: Extended papers from green and cloud middleware workshop -
Coordinating self-sizing and self-repair managers for multi-tier systems
International audience -
Safe design method of embedded systems based on COTS
This PhD dissertation contributes to the safe design of COTS-based control-command embedded systems. Due to design constraints bounding delays, costs and engineering...
