Continuous-time control synthesis under nested signal temporal logic specifications
In this work, we propose a novel approach for the continuous-time control synthesis of
nonlinear systems under nested signal temporal logic (STL) specifications. While the …
nonlinear systems under nested signal temporal logic (STL) specifications. While the …
Stochastic robustness interval for motion planning with signal temporal logic
In this work, we present a novel robustness measure for continuous-time stochastic
trajectories with respect to Signal Temporal Logic (STL) specifications. We show the …
trajectories with respect to Signal Temporal Logic (STL) specifications. We show the …
Planning with simba: Motion planning under uncertainty for temporal goals using simplified belief guides
This paper presents a new multi-layered algorithm for motion planning under motion and
sensing uncertainties for Linear Temporal Logic specifications. We propose a technique to …
sensing uncertainties for Linear Temporal Logic specifications. We propose a technique to …
Online control synthesis for uncertain systems under signal temporal logic specifications
Signal temporal logic (STL) formulas have been widely used as a formal language to
express complex robotic specifications, thanks to their rich expressiveness and explicit time …
express complex robotic specifications, thanks to their rich expressiveness and explicit time …
Operational Modeling of Temporal Intervals for Intelligent Systems
JI Olszewska - International Conference on Robotics, Computer Vision …, 2024 - Springer
Time is a crucial notion for intelligent systems, such as robotic systems, cognitive systems,
multi-agent systems, cyber-physical systems, or auto-nomous systems, since it is inherent to …
multi-agent systems, cyber-physical systems, or auto-nomous systems, since it is inherent to …
Formal Approaches to Security-Aware Robotic Motion Planning Using Hyperproperties
E Bonnah - 2024 - search.proquest.com
Motion planning and control of complex systems have in recent times gained a lot of
attention in fields such as robotics. Usually, such problems are formulated as temporal logic …
attention in fields such as robotics. Usually, such problems are formulated as temporal logic …
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 …
Robustness Measure for Monitoring and Motion Planning for Stochastic Systems Subject to Signal Temporal Logic Specifications
RB Ilyes - 2022 - search.proquest.com
In this thesis, I present a novel robustness measure for continuous-time stochastic
trajectories with respect to Signal Temporal Logic (STL) specifications. This measure uses …
trajectories with respect to Signal Temporal Logic (STL) specifications. This measure uses …