Lars Lindemann
Title
Cited by
Cited by
Year
Control Barrier Functions for Signal Temporal Logic Tasks
L Lindemann, DV Dimarogonas
IEEE Control Systems Letters 3 (1), 96-101, 2019
432019
Prescribed Performance Control for Signal Temporal Logic Specifications
L Lindemann, CK Verginis, DV Dimarogonas
Conference on Decision and Control (CDC), 2017, 2997-3002, 2017
192017
Robust control for signal temporal logic specifications using discrete average space robustness
L Lindemann, DV Dimarogonas
Automatica 101, 377-387, 2019
18*2019
Robust motion planning employing signal temporal logic
L Lindemann, DV Dimarogonas
American Control Conference (ACC), 2017, 2950-2955, 2017
132017
Control Barrier Functions for Multi-Agent Systems under Conflicting Local Signal Temporal Logic Tasks
L Lindemann, DV Dimarogonas
IEEE control systems letters 3 (3), 757-762, 2019
102019
Decentralized control barrier functions for coupled multi-agent systems under signal temporal logic tasks
L Lindemann, DV Dimarogonas
2019 18th European Control Conference (ECC), 89-94, 2019
82019
Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks
L Lindemann, DV Dimarogonas
American Control Conference (ACC), 2018, 1567-1573, 2018
62018
Integrated motion planning and control under metric interval temporal logic specifications
FS Barbosa, L Lindemann, DV Dimarogonas, J Tumova
2019 18th European Control Conference (ECC), 2042-2049, 2019
42019
Learning control barrier functions from expert demonstrations
A Robey, H Hu, L Lindemann, H Zhang, DV Dimarogonas, S Tu, N Matni
arXiv preprint arXiv:2004.03315, 2020
32020
Efficient automata-based planning and control under spatio-temporal logic specifications
L Lindemann, DV Dimarogonas
arXiv preprint arXiv:1909.11159, 2019
32019
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
L Lindemann, J Nowak, L Schönbächler, M Guo, J Tumova, ...
IEEE Transactions on Control Systems Technology, 2019
22019
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
L Lindemann, DV Dimarogonas
Automatica 106, 284-293, 2019
22019
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications
L Lindemann, GJ Pappas, DV Dimarogonas
arXiv preprint arXiv:2004.02111, 2020
12020
Event-triggered Feedback Control for Signal Temporal Logic Tasks
L Lindemann, D Maity, JS Baras, DV Dimarogonas
2018 IEEE Conference on Decision and Control (CDC), 146-151, 2018
12018
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments
FS Barbosa, L Lindemann, DV Dimarogonas, J Tumova
arXiv preprint arXiv:2009.02148, 2020
2020
Control Design for Risk-Based Signal Temporal Logic Specifications
S Safaoui, L Lindemann, DV Dimarogonas, I Shames, TH Summers
IEEE Control Systems Letters, 2020
2020
Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Tasks
L Lindemann
KTH Royal Institute of Technology, 2018
2018
Robust Motion Planning with Timed Temporal Logic Tasks via Hybrid Feedback Control
FS Barbosa, L Lindemann, DV Dimarogonas, J Tumova
The system can't perform the operation now. Try again later.
Articles 1–18