Zhenqi Huang
Title
Cited by
Cited by
Year
Differentially private iterative synchronous consensus
Z Huang, S Mitra, G Dullerud
Proceedings of the 2012 ACM workshop on Privacy in the electronic society, 81-90, 2012
1492012
Differentially private distributed optimization
Z Huang, S Mitra, N Vaidya
Proceedings of the 2015 International Conference on Distributed Computing …, 2015
1322015
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems
Y Wang, Z Huang, S Mitra, GE Dullerud
53rd IEEE conference on decision and control, 2130-2135, 2014
442014
On the cost of differential privacy in distributed control systems
Z Huang, Y Wang, S Mitra, GE Dullerud
Proceedings of the 3rd international conference on High confidence networked …, 2014
382014
Proofs from simulations and modular annotations
Z Huang, S Mitra
Proceedings of the 17th international conference on Hybrid systems …, 2014
352014
Computing bounded reach sets from sampled simulation traces
Z Huang, S Mitra
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
342012
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Z Huang, C Fan, A Mereacre, S Mitra, M Kwiatkowska
International Conference on Computer Aided Verification, 373-390, 2014
322014
Differential privacy in linear distributed control systems: Entropy minimizing mechanisms and performance tradeoffs
Y Wang, Z Huang, S Mitra, GE Dullerud
IEEE Transactions on Control of Network Systems 4 (1), 118-130, 2017
312017
Controller synthesis with inductive proofs for piecewise linear systems: An smt-based algorithm
Z Huang, Y Wang, S Mitra, GE Dullerud, S Chaudhuri
2015 54th IEEE conference on decision and control (CDC), 7434-7439, 2015
212015
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Z Huang, C Fan, S Mitra
Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017
182017
Safety and progress for distributed cyber-physical systems with unreliable communication
S Bak, Z Huang, FAT Abad, M Caccamo
ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-22, 2015
82015
Using run-time checking to provide safety and progress for distributed cyber-physical systems
S Bak, FAT Abad, Z Huang, M Caccamo
2013 IEEE 19th International Conference on Embedded and Real-Time Computing …, 2013
72013
Algorithmic attack synthesis using hybrid dynamics of power grid critical infrastructures
Z Huang, S Etigowni, L Garcia, S Mitra, S Zonouz
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018
52018
Controller synthesis for linear dynamical systems with adversaries
Z Huang, Y Wang, S Mitra, G Dullerud
Proceedings of the Symposium and Bootcamp on the Science of Security, 53-62, 2016
42016
On simulation based verification of nonlinear nondeterministic hybrid systems
Z Huang
42013
Method of reading and logically OR'ing or AND'ing a four-transistor memory cell array by rows or columns
RJ Brooks, AJ Neudeck
US Patent 6,552,924, 2003
4*2003
Simulation-based verification of cardiac pacemakers with guaranteed coverage
Z Huang, C Fan, A Mereacre, S Mitra, M Kwiatkowska
IEEE Design & Test 32 (5), 27-34, 2015
32015
Controller synthesis for linear time-varying systems with adversaries
Z Huang, Y Wang, S Mitra, G Dullerud
arXiv preprint arXiv:1501.04925, 2015
22015
Approximate partial order reduction
C Fan, Z Huang, S Mitra
International Symposium on Formal Methods, 588-607, 2018
12018
Compositional analysis of networked cyber-physical systems: safety and privacy
Z Huang
University of Illinois at Urbana-Champaign, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20