Differentially private distributed optimization Z Huang, S Mitra, N Vaidya Proceedings of the 16th International Conference on Distributed Computing …, 2015 | 308 | 2015 |
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 | 305 | 2012 |
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 | 114 | 2017 |
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 | 65 | 2014 |
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 | 56 | 2014 |
Proofs from simulations and modular annotations Z Huang, S Mitra Proceedings of the 17th international conference on Hybrid systems …, 2014 | 39 | 2014 |
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 | 37 | 2014 |
Computing bounded reach sets from sampled simulation traces Z Huang, S Mitra Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 37 | 2012 |
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 | 31 | 2015 |
Bounded invariant verification for time-delayed nonlinear networked dynamical systems Z Huang, C Fan, S Mitra Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017 | 27 | 2017 |
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 | 16 | 2018 |
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 | 16 | 2015 |
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 | 7 | 2013 |
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 | 5 | 2016 |
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 | 4 | 2015 |
On simulation based verification of nonlinear nondeterministic hybrid systems Z Huang University of Illinois at Urbana-Champaign, 2013 | 4 | 2013 |
Approximate partial order reduction C Fan, Z Huang, S Mitra International Symposium on Formal Methods, 588-607, 2018 | 3 | 2018 |
Compositional analysis of networked cyber-physical systems: safety and privacy Z Huang University of Illinois at Urbana-Champaign, 2016 | 1 | 2016 |
Analyzing the cost of securing control systems Z Huang, Y Wang, S Mitra, G Dullerud | | |