21 citations · 129 across the 42 of their papers we have counts for
7 papers · 1 filter
Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks
Lars Lindemann, Dimos V. Dimarogonas
We study the problem of controlling multi-agent systems under a set of signal temporal logic tasks. Signal temporal logic is a formalism that is used to express time and space cons…
Event-triggered Feedback Control for Signal Temporal Logic Tasks
Lars Lindemann, Dipankar Maity, John S. Baras +1
A framework for the event-triggered control synthesis under signal temporal logic (STL) tasks is proposed. In our previous work, a continuous-time feedback control law was designed…
Learning Hybrid Control Barrier Functions from Data
Lars Lindemann, Haimin Hu, Alexander Robey +4
Motivated by the lack of systematic tools to obtain safe control laws for hybrid systems, we propose an optimization-based framework for learning certifiably safe control laws from…
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas +1
We propose a hybrid feedback control law that guarantees both safety and asymptotic stability for a class of Lagrangian systems in environments with obstacles. Rather than performi…
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…
Learning Control Barrier Functions from Expert Demonstrations
Alexander Robey, Haimin Hu, Lars Lindemann +4
Inspired by the success of imitation and inverse reinforcement learning in replicating expert behavior through optimal control, we propose a learning based approach to safe control…