An STL-based Approach to Resilient Control for Cyber-Physical Systems-Reference-Cited by-同舟云学术

An STL-based Approach to Resilient Control for Cyber-Physical Systems

Published:2023-05-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Chen Hongkai¹^ORCID,Smolka Scott A.¹^ORCID,Paoletti Nicola²^ORCID,Lin Shan¹^ORCID

Affiliation:

1. Stony Brook University, USA

2. King's College London, United Kingdom

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3575870.3587119

Reference27 articles.

1. Derya Aksaray . 2021 . Resilient Satisfaction of Persistent and Safety Specifications by Autonomous Systems. In AIAA Scitech 2021 Forum. AIAA , Virtual Conference, 1124–1134 . https://doi.org/10.2514/6. 2021 - 1124 10.2514/6.2021-1124 Derya Aksaray. 2021. Resilient Satisfaction of Persistent and Safety Specifications by Autonomous Systems. In AIAA Scitech 2021 Forum. AIAA, Virtual Conference, 1124–1134. https://doi.org/10.2514/6.2021-1124

2. Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

3. Formal Methods for Control Synthesis: An Optimization Perspective

4. Discrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark

5. Quantitative Resilience of Linear Driftless Systems

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Temporal Logic Resilience for Cyber-Physical Systems;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

2. Resilience of Industrial Control Systems Using Signal Temporal Logic And Autotuning Mechanism;2023 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2023-11-14