Zhenqi Huang

According to our database, Zhenqi Huang authored at least 18 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Approximate Partial Order Reduction.

Chuchu Fan, Zhenqi Huang, Sayan Mitra

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures.

Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, Saman A. Zonouz

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017

Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs.

Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud

IEEE Trans. Control. Netw. Syst., 2017

2016

Compositional analysis of networked cyber-physical systems: safety and privacy

Zhenqi Huang

PhD thesis, 2016

Approximate Partial Order Reduction.

Zhenqi Huang, Sayan Mitra

CoRR, 2016

Controller synthesis for linear dynamical systems with adversaries.

Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

2015

Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication.

Stanley Bak, Zhenqi Huang, Fardin Abdi Taghi Abad, Marco Caccamo

ACM Trans. Embed. Comput. Syst., 2015

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage.

Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska

IEEE Des. Test, 2015

Controller Synthesis for Linear Time-varying Systems with Adversaries.

Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud

CoRR, 2015

Differentially Private Distributed Optimization.

Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm.

Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Proofs from simulations and modular annotations.

Zhenqi Huang, Sayan Mitra

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

On the cost of differential privacy in distributed control systems.

Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems.

Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.

Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Using run-time checking to provide safety and progress for distributed cyber-physical systems.

Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

2012

Differentially private iterative synchronous consensus.

Zhenqi Huang, Sayan Mitra, Geir E. Dullerud

Proceedings of the 11th annual ACM Workshop on Privacy in the Electronic Society, 2012

Computing bounded reach sets from sampled simulation traces.

Zhenqi Huang, Sayan Mitra

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012