Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint., , , , and . ACM Trans. Cyber Phys. Syst., 7 (3): 19:1-19:25 (July 2023)A Differentially Private Incentive Design for Traffic Offload to Public Transportation., and . ACM Trans. Cyber Phys. Syst., 5 (2): 20:1-20:27 (2021)Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks., , and . CDC, page 262-269. IEEE, (2018)Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions., , and . CDC, page 6806-6813. IEEE, (2021)Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks., , , and . CDC, page 2256-2263. IEEE, (2022)Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints., and . CDC, page 816-823. IEEE, (2020)Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems Under Attacks., , and . IEEE Trans. Autom. Control., 66 (3): 995-1008 (2021)LQG Reference Tracking with Safety and Reachability Guarantees under Unknown False Data Injection Attacks., , and . CoRR, (2021)Learning Dissemination Strategies for External Sources in Opinion Dynamic Models with Cognitive Biases., , , , and . IJCAI, page 3-11. ijcai.org, (2023)Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates., , , , and . GameSec, volume 11836 of Lecture Notes in Computer Science, page 385-403. Springer, (2019)