| Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems Y Wang, Z Huang, S Mitra, GE Dullerud IEEE Conference on Decision and Control (CDC), 2130-2135, 2014 | 43 | 2014 |
| On the cost of differential privacy in distributed control systems Z Huang, Y Wang, S Mitra, GE Dullerud International Conference on High Confidence Networked Systems (HiCoNS), 105-114, 2014 | 38 | 2014 |
| 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 (TCNS) 4 (1), 118-130, 2017 | 30 | 2017 |
| Stability analysis of switched linear systems defined by regular languages Y Wang, N Roohi, GE Dullerud, M Viswanathan IEEE Transactions on Automatic Control (TAC) 62 (5), 2568-2575, 2016 | 24 | 2016 |
| Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm Z Huang, Y Wang, S Mitra, GE Dullerud, S Chaudhuri IEEE conference on decision and control (CDC), 7434-7439, 2015 | 21 | 2015 |
| Stability of linear autonomous systems under regular switching sequences Y Wang, N Roohi, GE Dullerud, M Viswanathan IEEE Conference on Decision and Control (CDC), 5445-5450, 2014 | 15 | 2014 |
| Stability of linear autonomous systems under regular switching sequences Y Wang University of Illinois at Urbana Champaign (Master Thesis), 2014 | 15 | 2014 |
| Statistical verification of dynamical systems using set oriented methods Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud International Conference on Hybrid Systems: Computation and Control (HSCC …, 2015 | 14 | 2015 |
| Control synthesis from linear temporal logic specifications using model-free reinforcement learning AK Bozkurt, Y Wang, MM Zavlanos, M Pajic IEEE International Conference on Robotics and Automation (ICRA), 10349-10355, 2020 | 13 | 2020 |
| Statistical verification of the Toyota powertrain control verification benchmark N Roohi, Y Wang, M West, GE Dullerud, M Viswanathan International Conference on Hybrid Systems: Computation and Control (HSCC …, 2017 | 13 | 2017 |
| Statistical verification of hyperproperties for cyber-physical systems Y Wang, M Zarei, B Bonakdarpour, M Pajic ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-23, 2019 | 11 | 2019 |
| Verifying continuous-time stochastic hybrid systems via Mori-Zwanzig model reduction Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud IEEE Conference on Decision and Control (CDC), 3012-3017, 2016 | 10 | 2016 |
| A Mori-Zwanzig and MITL based approach to statistical verification of continuous-time dynamical systems Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 48 (27), 267-273, 2015 | 8 | 2015 |
| Statistical model checking for hyperproperties Y Wang, S Nalluri, B Bonakdarpour, M Pajic IEEE Computer Security Foundations Symposium (CSF), 2021 | 7* | 2021 |
| Statistical verification of PCTL using stratified samples Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 51 (16), 85-90, 2018 | 7 | 2018 |
| Attack-resilient supervisory control of discrete-event systems Y Wang, AK Bozkurt, M Pajic arXiv preprint arXiv:1904.03264, 2019 | 6 | 2019 |
| Controller synthesis for linear dynamical systems with adversaries Z Huang, Y Wang, S Mitra, G Dullerud Symposium and Bootcamp on the Science of Security (HotSoS), 53-62, 2016 | 6* | 2016 |
| Differentially private objective functions in distributed cloud-based optimization Y Wang, M Hale, M Egerstedt, GE Dullerud IEEE Conference on Decision and Control (CDC), 3688-3694, 2016 | 5 | 2016 |
| Supervisory control of discrete event systems in the presence of sensor and actuator attacks Y Wang, M Pajic IEEE Conference on Decision and Control (CDC), 5350-5355, 2019 | 3 | 2019 |
| Security-aware synthesis using delayed-action games M Elfar, Y Wang, M Pajic International Conference on Computer Aided Verification (CAV), 180-199, 2019 | 3 | 2019 |
Miroslav PajicDickinson Family Associate Professor, Duke UniversityVerified email at duke.edu
