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 source excitement for systems research from satisfaction of reducing research concepts into embedded platforms that operate in spite of real-world conditions. In [...]
I am interested in Control Theory, Mathematical Optimization, and Cyber-Physical Systems