Research Focus

Share        

Design, Optimization and Verification Technologies

 

This research focuses on the design of system and component models, development of optimization techniques for design-space exploration and the development of model-abstraction and automatic verification techniques.

We are applying these techniques to several domains in cyber-physical systems such as district energy systems, medical systems (artificial pancreas), smart grids and Internet-of-Things.

Principal Investigator
Asst. Prof. Arvind Easwaran

School/Department

School of Computer Science and Engineering



Back to listing​​​​​​​​​​​​​​​​​​
​​