Core Cyber-Physical Systems

Fundamental Research on Intelligent and High Assurance Autonomy for Cyber-Physical System (CPS)

In theory, we are interested in two main areas:

(a) intelligent situational awareness: An intelligent CPS should be able to understand its capability and limits from heterogeneous information obtained from multi-modal sensors; and

(b) high assurance autonomy: A CPS should have a higher degree of intelligence which can cope with uncertain and varying situation with provable safety and security properties.

To achieve these objectives, our group studies modeling, analysis and control of the stochastic hybrid system (SHS) which is a dynamical system with the interacting discrete dynamics (represents the logical/cyber behavior) and continuous dynamics (describes the physical behavior) of the CPS with uncertainties, and thus it can accurately model the CPS. Our group develops a set of SHS models (see details) and corresponding hybrid estimation (see details) and control (see details) theory and algorithms which can deal with a range of SHS computationally efficiently, and thus can be applied to various complex CPS applications.

Recently, we also extend our research to