21 citations · 26 across the 9 of their papers we have counts for
3 papers · 1 filter
Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems
Sleiman Safaoui, Lars Lindemann, Iman Shames +1
Motivated by the recent interest in risk-aware control, we study a continuous-time control synthesis problem to bound the risk that a stochastic linear system violates a given spec…
Risk Bounded Nonlinear Robot Motion Planning With Integrated Perception & Control
Venkatraman Renganathan, Sleiman Safaoui, Aadi Kothari +3
Robust autonomy stacks require tight integration of perception, motion planning, and control layers, but these layers often inadequately incorporate inherent perception and predict…
Control Design for Risk-Based Signal Temporal Logic Specifications
Sleiman Safaoui, Lars Lindemann, Dimos V Dimarogonas +2
We present a general framework for risk semantics on Signal Temporal Logic (STL) specifications for stochastic dynamical systems using axiomatic risk theory. We show that under our…