Lars Lindemann
Lars Lindemann
Postdoctoral Researcher, University of Pennsylvania
Verified email at seas.upenn.edu - Homepage
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
672019
Robust control for signal temporal logic specifications using discrete average space robustness
L Lindemann, DV Dimarogonas
Automatica 101, 377-387, 2019
26*2019
Prescribed Performance Control for Signal Temporal Logic Specifications
L Lindemann, CK Verginis, DV Dimarogonas
Conference on Decision and Control (CDC), 2017, 2997-3002, 2017
252017
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
232019
Robust motion planning employing signal temporal logic
L Lindemann, DV Dimarogonas
American Control Conference (ACC), 2017, 2950-2955, 2017
172017
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
162019
Learning control barrier functions from expert demonstrations
A Robey, H Hu, L Lindemann, H Zhang, DV Dimarogonas, S Tu, N Matni
2020 59th IEEE Conference on Decision and Control (CDC), 3717-3724, 2020
112020
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
82018
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
72019
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
62019
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
L Lindemann, DV Dimarogonas
Automatica 106, 284-293, 2019
52019
Efficient automata-based planning and control under spatio-temporal logic specifications
L Lindemann, DV Dimarogonas
2020 American Control Conference (ACC), 4707-4714, 2020
42020
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
42018
Control barrier functions for nonholonomic systems under risk signal temporal logic specifications
L Lindemann, GJ Pappas, DV Dimarogonas
2020 59th IEEE Conference on Decision and Control (CDC), 1422-1428, 2020
32020
Learning hybrid control barrier functions from data
L Lindemann, H Hu, A Robey, H Zhang, DV Dimarogonas, S Tu, N Matni
arXiv preprint arXiv:2011.04112, 2020
32020
Control Design for Risk-Based Signal Temporal Logic Specifications
S Safaoui, L Lindemann, DV Dimarogonas, I Shames, TH Summers
IEEE Control Systems Letters 4 (4), 1000-1005, 2020
22020
Provably safe control of Lagrangian systems in obstacle-scattered environments
FS Barbosa, L Lindemann, DV Dimarogonas, J Tumova
2020 59th IEEE Conference on Decision and Control (CDC), 2056-2061, 2020
12020
Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks
L Lindemann, DV Dimarogonas
IEEE Transactions on Control of Network Systems 7 (4), 1916-1928, 2020
12020
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems
A Robey, L Lindemann, S Tu, N Matni
arXiv preprint arXiv:2101.06492, 2021
2021
Planning and Control of Multi-Agent Systems under Signal Temporal Logic Specifications
L Lindemann
KTH Royal Institute of Technology, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20