Παρακολούθηση
Zhenqi Huang
Zhenqi Huang
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα illinois.edu
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
2702012
Differentially private distributed optimization
Z Huang, S Mitra, N Vaidya
Proceedings of the 16th International Conference on Distributed Computing …, 2015
2612015
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
992017
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
622014
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
532014
Proofs from simulations and modular annotations
Z Huang, S Mitra
Proceedings of the 17th international conference on Hybrid systems …, 2014
392014
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
362014
Computing bounded reach sets from sampled simulation traces
Z Huang, S Mitra
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
352012
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
282015
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Z Huang, C Fan, S Mitra
Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017
272017
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
152015
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
142018
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
82013
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
52016
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
42015
On simulation based verification of nonlinear nondeterministic hybrid systems
Z Huang
University of Illinois at Urbana-Champaign, 2013
42013
Approximate partial order reduction
C Fan, Z Huang, S Mitra
International Symposium on Formal Methods, 588-607, 2018
22018
Compositional analysis of networked cyber-physical systems: safety and privacy
Z Huang
University of Illinois at Urbana-Champaign, 2016
12016
Analyzing the cost of securing control systems
Z Huang, Y Wang, S Mitra, G Dullerud
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–19