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 …
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 …