Our cyber-physical research focuses on formal modeling, analysis, verification and synthesis of cyber-physical systems with applications include intelligent transportation systems, battery modeling, dam safety, mobile applications, and high-throughput phenotyping.
We have three laboratories currently pursuing cyber-physical systems research:
The ISCAAS lab undertakes cutting edge research projects related to embedded and cyber-physical systems, secure and trustworthy systems, intelligent systems, computer architecture, parallel computing, distributed computing, data analytics, and artificial intelligence (AI) safety and security.
The goal of the HYbrid Control Systems Laboratory is to investigate algorithms for hybrid control system design and analysis. The lab investigates hybrid control systems --- systems that exhibit mixed discrete continuous behaviors --- that arise in the control of automotive, aerospace and robotic systems. Particular emphasis is given to the development of rigorous and automated methods for analysis (formal verification) and design (formal synthesis).
Cyber-physical Systems Laboratory
The focus of the Cyber-physical Systems Laboratory is to develop innovative solutions to contemporary problems by combining augmented reality, scientific computing, machine vision, and supercomputing. Students engage in hands-on, cyber-physical systems development using mobile devices and embedded controllers in new, insightful ways with the Internet of Things (IoT).