| Differentially private distributed optimization Z Huang, S Mitra, N Vaidya Proceedings of the 16th International Conference on Distributed Computing …, 2015 | 310 | 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 | 307 | 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 | 111 | 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 | 55 | 2014 |
| Proofs from simulations and modular annotations Z Huang, S Mitra Proceedings of the 17th international conference on Hybrid systems …, 2014 | 39 | 2014 |
| Computing bounded reach sets from sampled simulation traces Z Huang, S Mitra Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 38 | 2012 |
| 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 |
| 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 | 30 | 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 | 26 | 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 | 15 | 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 | 15 | 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 | | |
Sayan MitraProfessor, ECE, University of Illinois at Urbana Champaignillinois.edu üzerinde doğrulanmış e-posta adresine sahip