Opportunistic scheduling in a constraint-rich world
ACM SIGBED Review - Special issue: IEEE RTAS 2005 work-in-progress
A domain-specific language for task handlers generation, applying discrete controller synthesis
Proceedings of the 2006 ACM symposium on Applied computing
Automating the addition of fault tolerance with discrete controller synthesis
Formal Methods in System Design
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Using controller-synthesis techniques to build property-enforcing layers
ESOP'03 Proceedings of the 12th European conference on Programming
Automatic generation of safe handlers for multi-task systems
Journal of Embedded Computing
Reactive model-based control of reconfiguration in the fractal component-based model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
| Hi-index | 0.00 |
Real-time control system are complex to design, and automation support is important. We are interested in system with multiple tasks, each with multiple modes, implementing a functionality with different levels of quality (e.g., computation approximation), and cost (e.g., computation time, energy). It is complex to control the switching of modes in order to insure properties like bounding cost while maximizing quality. We outline a technique for the automatic generation of such controller involving an automaton-based formal model, and using optimal discrete control synthesis.