An STL-based formulation of resilience in cyber-physical systems
From MaRDI portal
Publication:2112110
DOI10.1007/978-3-031-15839-1_7OpenAlexW4293399553MaRDI QIDQ2112110
Scott A. Smolka, Shan Lin, Nicola Paoletti, Hong-Kai Chen
Publication date: 18 January 2023
Full work available at URL: https://arxiv.org/abs/2205.03961
Related Items (2)
An STL-based Approach to Resilient Control for Cyber-Physical Systems ⋮ Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
Uses Software
Cites Work
- On Stochastic Games with Multiple Objectives
- SpaTeL
- Proving Stabilization of Biological Systems
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- Efficient Parametric Identification for STL
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Multi-objective Model Checking of Markov Decision Processes
This page was built for publication: An STL-based formulation of resilience in cyber-physical systems
