Reactive Control Techniques for Autonomic Management Systems

Autonomic management systems usually involve several pieces of software designed independently from each other. As a consequence, they may take inconsistent decisions when executed in a non-coordinated manner. Using reactive control techniques, and especially synchronous languages and discrete controller synthesis, provides means for static enforcement of global properties, such as the avoidance of inconsistent decisions. This work has been done with Éric Rutten, Noël De Palma, and Soguy Mak-Karé Gueye.

Journal Articles

Applications of Logico-numerical Control