Faculty Recruiting Support CICS

Discrete control-based design of adaptive and autonomic computing systems

28 Sep
Monday, 09/28/2015 11:00am to 12:00pm
Computer Science Building, Room 151
Seminar

Faculty Host:  Prashant Shenoy

We target the domain of adaptive and reconfigurable computing systems, also called autonomic computing. They are characterized by their ability to switch between different modes w.r.t. application and functionality, mapping and deployment, or execution architecture. The control of such reconfigurations or adaptations is a new application domain for control theory, called feedback computing. We approach the problem with a programming language supported approach, based on synchronous languages and discrete control synthesis. We concretely use this approach in software component-based systems, in the coordination of administration loops, and in FPGA-based reconfigurable architectures.

Eric Rutten works at INRIA in Grenoble, France, where he leads the Inria team Ctrl-A. His research interests are in the field of reactive systems applied to autonomic computing systems. He has experience in high-level design environments for control systems (e.g., robotics), based on formal methods and tools (e.g., synchronous languages). His present activities are on model-based control of adaptive and reconfigurable computing systems , also called feedback computing. He is using control techniques, particularly discrete controller synthesis, integrated in the compilation of a reactive programming language. He holds PhD and Habilitation from University of Rennes, France.