We stand with Ukraine  

Yi Deng

Affiliations:
  • East China Institute of Computing Technology, Shanghai, China
  • Rensselaer Polytechnic Institute, Department of Electrical, Computer, and Systems Engineering, Troy, NY, USA (former)


According to our database1, Yi Deng authored at least 7 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties.
[BibTeX]
[DOI]
Zhe Xu
,
Yi Deng
,
Agung Julius
CoRR, 2020

2018
Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings.
[BibTeX]
[DOI]
Zhe Xu
,
Yi Deng
,
Agung Julius
Proceedings of the 2018 Annual American Control Conference, 2018

2016
Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.
[BibTeX]
[DOI]
Yi Deng
,
Alessandro D'Innocenzo
,
Maria Domenica Di Benedetto
,
Stefano Di Gennaro
,
A. Agung Julius
IEEE Trans. Autom. Control., 2016

2015
Probabilistic diagnosability of hybrid systems.
[BibTeX]
[DOI]
Yi Deng
,
A. Agung Julius
,
Alessandro D'Innocenzo
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Trajectory-based observer for hybrid automata fault diagnosis.
[BibTeX]
[DOI]
Yi Deng
,
Alessandro D'Innocenzo
,
A. Agung Julius
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Safe Neighborhood Computation for Hybrid System Verification.
[BibTeX]
[DOI]
Yi Deng
,
A. Agung Julius
Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014

2013
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems.
[BibTeX]
[DOI]
Yi Deng
,
Akshay Rajhans
,
A. Agung Julius
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013


  Loading...