[go: up one dir, main page]

Follow
Lars Lindemann
Lars Lindemann
Assistant Professor of Algorithmic Systems Theory, ETH Zürich
Verified email at ethz.ch - 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
4452019
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
3322020
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
2002023
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
1512019
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
982023
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
962020
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
902020
Robust control for signal temporal logic specifications using discrete average space robustness
L Lindemann, DV Dimarogonas
Automatica 101, 377-387, 2019
882019
Prescribed Performance Control for Signal Temporal Logic Specifications
L Lindemann, CK Verginis, DV Dimarogonas
Conference on Decision and Control (CDC), 2017, 2997-3002, 2017
742017
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 3, 158-172, 2024
722024
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
722023
Robust motion planning employing signal temporal logic
L Lindemann, DV Dimarogonas
American Control Conference (ACC), 2017, 2950-2955, 2017
552017
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
542019
Learning robust hybrid control barrier functions for uncertain systems
A Robey, L Lindemann, S Tu, N Matni
IFAC-PapersOnLine 54 (5), 1-6, 2021
502021
Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems
L Lindemann, Y Zhao, X Yu, GJ Pappas, JV Deshmukh
IEEE Control Systems 45 (6), 72-122, 2025
49*2025
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
482019
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
462024
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
432021
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
402021
Safe perception-based control under stochastic sensor uncertainty using conformal prediction
S Yang, GJ Pappas, R Mangharam, L Lindemann
2023 62nd IEEE Conference on Decision and Control (CDC), 6072-6078, 2023
392023
The system can't perform the operation now. Try again later.
Articles 1–20