Cyber-Physical Systems

Our cyber-physical research focuses on formal modeling, analysis, verification, and synthesis of cyber-physical systems with applications including intelligent transportation systems, battery modeling, dam safety, mobile applications and high-throughput phenotyping.

We have three laboratories currently pursuing cyber-physical systems research:

Intelligent Systems, Computer Architecture, Analytics, and Security (ISCAAS) Laboratory

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.

Hybrid Control Systems Laboratory

The goal of the Hybrid Control Systems Laboratory is to investigate algorithms for hybrid control system design and analysis. The lab investigates these 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).