Reactive and Risk-Aware Control for Signal Temporal Logic
From MaRDI portal
Abstract: The deployment of autonomous systems in uncertain and dynamic environments has raised fundamental questions. Addressing these is pivotal to build fully autonomous systems and requires a systematic integration of planning and control. We first propose reactive risk signal interval temporal logic (ReRiSITL) as an extension of signal temporal logic (STL) to formulate complex spatiotemporal specifications. Unlike STL, ReRiSITL allows to consider uncontrollable propositions that may model humans as well as random environmental events such as sensor failures. Additionally, ReRiSITL allows to incorporate risk measures, such as (but not limited to) the Conditional Value-at-Risk, to measure the risk of violating certain spatial specifications. Second, we propose an algorithm to check if an ReRiSITL specification is satisfiable. For this purpose, we abstract the ReRiSITL specification into a timed signal transducer and devise a game-based approach. Third, we propose a reactive planning and control framework for dynamical control systems under ReRiSITL specifications.
Cited in
(5)- Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
- Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots
- Risk-aware self-triggered linear quadratic control
- Estimating event probabilities via signal temporal logic and first occurrence distributions
- Context-triggered games for reactive synthesis over stochastic systems via control barrier certificates
This page was built for publication: Reactive and Risk-Aware Control for Signal Temporal Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6077104)
