Yi Deng

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 5

Top Topics

Verification Method

Mazurkiewicz Traces

Top Venues

Publications

Zhe Xu, Yi Deng, Agung Julius
Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties. CoRR (2020)
Zhe Xu, Yi Deng, Agung Julius
Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings. ACC (2018)
Yi Deng, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro, A. Agung Julius
Verification of Hybrid Automata Diagnosability With Measurement Uncertainty. IEEE Trans. Autom. Control. 61 (4) (2016)
Yi Deng, A. Agung Julius, Alessandro D'Innocenzo
Probabilistic diagnosability of hybrid systems. HSCC (2015)
Yi Deng, Alessandro D'Innocenzo, A. Agung Julius
Trajectory-based observer for hybrid automata fault diagnosis. CDC (2015)
Yi Deng, A. Agung Julius
Safe Neighborhood Computation for Hybrid System Verification. HAS (2014)
Yi Deng, Akshay Rajhans, A. Agung Julius
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. QEST (2013)