STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. - Yi Deng 004; Akshay Rajhans; A. Agung Julius (QEST, 2013)

Safe Neighborhood Computation for Hybrid System Verification. - Yi Deng 004; A. Agung Julius (HAS, 2014)

Trajectory-based observer for hybrid automata fault diagnosis. - Yi Deng 004; Alessandro D'Innocenzo; A. Agung Julius (CDC, 2015)

Probabilistic diagnosability of hybrid systems. - Yi Deng 004; A. Agung Julius; Alessandro D'Innocenzo (HSCC, 2015)

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty. - Yi Deng 004; Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Stefano Di Gennaro; A. Agung Julius (IEEE Trans. Autom. Control., 2016)

Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings. - Zhe Xu 005; Yi Deng 004; Agung Julius (ACC, 2018)

Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties. - Zhe Xu 005; Yi Deng 004; Agung Julius (CoRR, 2020)