I am interested in studying the interplay between computing systems and the dynamical systems they are trying to control. This work brings together my interest in the fields of:
- Hybrid systems
- Multi-agent systems
- Embedded systems
- Language theory
- Distributed computing
Specification to Execution
To control complex systems, we typically break up their functionality into behaviors that can then be re-assembled into a control program. However, the state-of-the-art in control specification lacks an understanding of the computational and physical capabilities of the system at runtime, which affects how our control programs execute. My research explores the idea of “compiling” our control program specification based on these system properties so that our control program executes more effectively.
Software Frameworks for CPS
To enable the development of applications that control distributed, heterogeneous systems, we need new software frameworks that unify them in a seamless way. My research in this area will develop protocols, middleware, and controllers that facilitate the development of cyber-physical systems.
- Hybrid Control Tools for Power Management and Optimization in Cyber-Physical Systems (2012-2016)