Prabhakar’s main research interest is in formal analysis of cyber-physical systems with emphasis on both foundational and practical aspects related to automated and scalable techniques for verification and synthesis of hybrid control systems. Her research borrows ideas from automata theory, control and dynamical systems theory, formal methods and logics.
She is currently pursuing projects on robust analysis and design of autonomous and cyber-physical systems with applications in automotive, aerospace and robotics systems.
Her main research interest is in the Formal Analysis of Cyber-Physical Systems, with emphasis on both theoretical and practical methods for verification and synthesis of hybrid control systems.
Research Interests:
- Formal verification and synthesis of autonomous and cyber-physical systems; Formal analysis of AI-based controllers; Applications in robotics, aerospace systems, autonomous vehicles and agricultural automation.
