Yu Wang
Title
Cited by
Cited by
Year
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
432014
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
382014
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
302017
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
242016
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
212015
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
152014
Stability of linear autonomous systems under regular switching sequences
Y Wang
University of Illinois at Urbana Champaign (Master Thesis), 2014
152014
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
142015
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
132020
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
132017
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
112019
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
102016
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
82015
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
72018
Attack-resilient supervisory control of discrete-event systems
Y Wang, AK Bozkurt, M Pajic
arXiv preprint arXiv:1904.03264, 2019
62019
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
52016
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
32019
Security-aware synthesis using delayed-action games
M Elfar, Y Wang, M Pajic
International Conference on Computer Aided Verification (CAV), 180-199, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20