Seguir
Lars Lindemann
Lars Lindemann
Assistant Professor of Computer Science, University of Southern California
Dirección de correo verificada de usc.edu - Página principal
Título
Citado por
Citado por
Año
Control Barrier Functions for Signal Temporal Logic Tasks
L Lindemann, DV Dimarogonas
IEEE Control Systems Letters 3 (1), 96-101, 2019
3652019
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
2552020
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
1262019
Safe planning in dynamic environments using conformal prediction
L Lindemann, M Cleaveland, G Shim, GJ Pappas
IEEE Robotics and Automation Letters 8 (8), 5116-5123, 2023
1212023
Robust control for signal temporal logic specifications using discrete average space robustness
L Lindemann, DV Dimarogonas
Automatica 101, 377-387, 2019
812019
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
792020
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
692020
Prescribed Performance Control for Signal Temporal Logic Specifications
L Lindemann, CK Verginis, DV Dimarogonas
Conference on Decision and Control (CDC), 2017, 2997-3002, 2017
682017
Adaptive conformal prediction for motion planning among dynamic agents
A Dixit, L Lindemann, SX Wei, M Cleaveland, GJ Pappas, JW Burdick
Learning for Dynamics and Control Conference, 300-314, 2023
622023
Robust motion planning employing signal temporal logic
L Lindemann, DV Dimarogonas
American Control Conference (ACC), 2017, 2950-2955, 2017
522017
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
482019
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
442019
Learning robust hybrid control barrier functions for uncertain systems
A Robey, L Lindemann, S Tu, N Matni
IFAC-PapersOnLine 54 (5), 1-6, 2021
422021
Learning robust output control barrier functions from safe expert demonstrations
L Lindemann, A Robey, L Jiang, S Das, S Tu, N Matni
IEEE Open Journal of Control Systems, 2024
392024
Conformal prediction for stl runtime verification
L Lindemann, X Qin, JV Deshmukh, GJ Pappas
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023
372023
Reactive and risk-aware control for signal temporal logic
L Lindemann, GJ Pappas, DV Dimarogonas
IEEE Transactions on Automatic Control 67 (10), 5262-5277, 2021
362021
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
L Lindemann, DV Dimarogonas
Automatica 106, 284-293, 2019
332019
Efficient automata-based planning and control under spatio-temporal logic specifications
L Lindemann, DV Dimarogonas
2020 American Control Conference (ACC), 4707-4714, 2020
322020
Time-robust control for STL specifications
A Rodionova, L Lindemann, M Morari, GJ Pappas
2021 60th IEEE Conference on Decision and Control (CDC), 572-579, 2021
302021
Conformal prediction regions for time series using linear complementarity programming
M Cleaveland, I Lee, GJ Pappas, L Lindemann
Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 20984 …, 2024
272024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20