21 citations · 21 across the 1 of their papers we have counts for
3 papers
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…
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications
Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
Temporal logics provide a formalism for expressing complex system specifications. A large body of literature has addressed the verification and the control synthesis problem for de…
Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications
Lars Lindemann, Dimos V. Dimarogonas
The use of spatio-temporal logics in control is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control these systems accordingly…