miroslav DOT pajic AT duke DOT edu
I am interested in verification and falsification of properties of Hybrid Systems.
My research mainly focuses on using formal methods and model checking techniques to build human-aware cyber-physical systems.
I am interested in modeling of physiological systems and optimal control of medical devices. I am also interested in attack resilient control of cyber-physical systems.
My research interests span reconfigurable manufacturing systems, distributed industrial automation, embedded and real-time systems.
I am interested in Control Theory, Mathematical Optimization, and Cyber-Physical Systems