Research in FD&C/HSL

Research Overview: Intelligent & High Assurance Autonomy for CPS

The research in the FD&C/HS Lab (Lab Director: Professor Inseok Hwang) focuses on two directions:

  • fundamental research on Intelligent and High Assurance autonomy for the Cyber-Physical System (CPS), which is a complex (networked) system with interacting physical and logical components, using hybrid systems theory, and

  • its applications to safety-critical aerospace systems such as aircraft, spacecraft, Unmanned Aircraft Systems (UAS), and Air Traffic Control (ATC), and multiple-vehicle systems (e.g., swarm of UAS). In applications, our research interests include

    • ATC including UAS Traffic Management,

    • UAS and

    • space applications.

Note that aerospace systems are good examples of the CPS. For example, a UAS (similarly, aircraft and spacecraft) is composed of an autopilot which is a logical element and a vehicle that is a physical element, thus it is a CPS.