Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
Discrete Event Dynamic Systems
The Vision of Autonomic Computing
Computer
Data-Flow Synchronous Languages
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Using controller-synthesis techniques to build property-enforcing layers
ESOP'03 Proceedings of the 12th European conference on Programming
Hi-index | 0.00 |
Embedded systems have to perform reconfigurations in reaction to environment changes, related to resources or dependability. Managing this dynamical adaptivity, as in autonomic systems, is a control loop, on continuous or discrete criteria. Embedded systems are also safety-critical, and must be statically checkable for predictability, using formal techniques, e.g., the reactive systems approach based on state machines. We aim at drawing attention towards discrete controller synthesis (DCS) techniques, and tools to support them, based on previous work, and draw directions towards the model-based control of adaptive systems.