Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
Discrete Event Dynamic Systems
A conservative extension of synchronous data-flow with state machines
Proceedings of the 5th ACM international conference on Embedded software
Cataclysm: Scalable overload policing for internet applications
Journal of Network and Computer Applications
Contracts for modular discrete controller synthesis
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Self-adapting service level in Java enterprise edition
Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
ACES: An efficient admission control scheme for QoS-aware web servers
Computer Communications
Hi-index | 0.00 |
Green computing is nowadays a major challenge for most IT organizations. Administrators have to manage the trade-off between system performances and energy saving goals. Autonomic computing is a promising approach to control the QoS and the energy consumed by a system. This paper precisely investigates the use of synchronous programming and discrete controller synthesis to automate the generation of a controller that enforces the required coordination between QoS and energy managers. We illustrate our approach by describing the coordination between a simple admission controller and an energy controller.