An STL-based Approach to Resilient Control for Cyber-Physical Systems
DOI10.1145/3575870.3587119arXiv2211.02794OpenAlexW4375852066MaRDI QIDQ6202074
Nicola Paoletti, Shan Lin, Scott A. Smolka, Hong-Kai Chen
Publication date: 21 February 2024
Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2211.02794
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Robust control for signal temporal logic specifications using discrete average space robustness
- An STL-based formulation of resilience in cyber-physical systems
- Neural flocking: MPC-based supervised learning of flocking controllers
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
- An efficient, adaptive parameter variation scheme for metaheuristics based on the epsilon-constraint method
- Reactive synthesis from signal temporal logic specifications
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis
- Formal Synthesis of Control Strategies for Positive Monotone Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Branch-and-Bound Methods: A Survey
This page was built for publication: An STL-based Approach to Resilient Control for Cyber-Physical Systems
