[PDF][PDF] Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
The control of dynamical systems under temporal logic specifications among uncontrollable
dynamic agents is challenging due to the agents'a-priori unknown behavior. Existing works …
dynamic agents is challenging due to the agents'a-priori unknown behavior. Existing works …
Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
Signal Temporal Logic (STL)[10] has been increasingly employed to formalize complex
properties for Cyber-Physical Systems (CPS). The power of STL is in its capability of …
properties for Cyber-Physical Systems (CPS). The power of STL is in its capability of …
Interval Signal Temporal Logic from Natural Inclusion Functions
L Baird, A Harapanahalli… - IEEE Control Systems …, 2023 - ieeexplore.ieee.org
We propose an interval extension of Signal Temporal Logic (STL) called Interval Signal
Temporal Logic (I-STL). Given an STL formula, we consider an interval inclusion function for …
Temporal Logic (I-STL). Given an STL formula, we consider an interval inclusion function for …
Temporal Logic Resilience for Dynamical Systems
We consider the notion of resilience for cyber-physical systems, that is, the ability of the
system to withstand adverse events while maintaining acceptable functionality. We use finite …
system to withstand adverse events while maintaining acceptable functionality. We use finite …