Follow
Yu Wang
Title
Cited by
Cited by
Year
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
1232020
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
992017
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
622014
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
532014
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
492019
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
412019
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
402016
Statistical verification of learning-based cyber-physical systems
M Zarei, Y Wang, M Pajic
International Conference on Hybrid Systems: Computation and Control (HSCC), 1-7, 2020
292020
Hyperproperties for robotics: Planning via HyperLTL
Y Wang, S Nalluri, M Pajic
IEEE International Conference on Robotics and Automation (ICRA), 8462-8468, 2020
292020
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
282015
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
272017
Attack-resilient supervisory control with intermittently secure communication
Y Wang, M Pajic
IEEE Conference on Decision and Control (CDC), 2015-2020, 2019
252019
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
212014
Stability of linear autonomous systems under regular switching sequences
Y Wang
University of Illinois at Urbana Champaign (Master Thesis), 2014
212014
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
202016
Secure planning against stealthy attacks via model-free reinforcement learning
AK Bozkurt, Y Wang, M Pajic
IEEE International Conference on Robotics and Automation (ICRA), 10656-10662, 2021
182021
Statistical model checking for hyperproperties
Y Wang, S Nalluri, B Bonakdarpour, M Pajic
IEEE Computer Security Foundations Symposium (CSF), 1-16, 2021
18*2021
Model-free reinforcement learning for stochastic games with linear temporal logic objectives
AK Bozkurt, Y Wang, M Zavlanos, M Pajic
IEEE International Conference on Robotics and Automation (ICRA), 10649-10655, 2021
162021
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
152015
Learning-based vulnerability analysis of cyber-physical systems
A Khazraei, S Hallyburton, Q Gao, Y Wang, M Pajic
International Conference on Cyber-Physical Systems (ICCPS), 259-269, 2022
142022
The system can't perform the operation now. Try again later.
Articles 1–20