Follow
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
1432019
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
682020
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
522019
Robust control for signal temporal logic specifications using discrete average space robustness
L Lindemann, DV Dimarogonas
Automatica 101, 377-387, 2019
42*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
372017
Robust motion planning employing signal temporal logic
L Lindemann, DV Dimarogonas
American Control Conference (ACC), 2017, 2950-2955, 2017
272017
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
252019
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
182020
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 29 (2), 858-865, 2019
162019
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
152020
Efficient automata-based planning and control under spatio-temporal logic specifications
L Lindemann, DV Dimarogonas
2020 American Control Conference (ACC), 4707-4714, 2020
142020
Learning robust hybrid control barrier functions for uncertain systems
A Robey, L Lindemann, S Tu, N Matni
IFAC-PapersOnLine 54 (5), 1-6, 2021
132021
Learning hybrid control barrier functions from data
L Lindemann, H Hu, A Robey, H Zhang, DV Dimarogonas, S Tu, N Matni
2020 Conference on Robot Learning, 2020
132020
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
122020
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
L Lindemann, DV Dimarogonas
Automatica 106, 284-293, 2019
112019
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
112019
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
102020
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
102018
STL robustness risk over discrete-time stochastic processes
L Lindemann, N Matni, GJ Pappas
arXiv preprint arXiv:2104.01503, 2021
92021
Learning robust output control barrier functions from safe expert demonstrations
L Lindemann, A Robey, L Jiang, S Tu, N Matni
arXiv preprint arXiv:2111.09971, 2021
62021
The system can't perform the operation now. Try again later.
Articles 1–20