In complex cyber-physical system operations, fault detection needs to be performed using
limited state information for practicality and privacy concerns. While a well-designed …

Switched linear systems are time-varying nonlinear systems whose dynamics switch
between different modes, where each mode corresponds to different linear dynamics. They …

In modern smart buildings modeled as hybrid systems, occupancy detection can be cast as
observing the discrete states of a hybrid system using the available discrete and continuous …

Despite the fact that artificial intelligence boosted with data-driven methods (eg, deep neural
networks) has surpassed human-level performance in various tasks, its application to …

In this paper, we present a mechanism for building hybrid system observers to differentiate
between specific positions of the hybrid system. The mechanism is designed through …

Cyber-physical systems (CPS) deploy interconnected computational, or cyber, elements to
sense and control a physical environment. Given the complexity of software functionality that …

Autonomous systems embedded with machine learning modules often rely on deep neural
networks for classifying different objects of interest in the environment or different actions or …

This thesis is about the trajectory-based temporal logic analysis. In particular, three main
themes are discussed in this thesis: temporal logic inference from data, robust testing of …