دنبال کردن
Lars Lindemann
Lars Lindemann
Assistant Professor of Computer Science, University of Southern California
ایمیل تأیید شده در usc.edu - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Control Barrier Functions for Signal Temporal Logic Tasks‏
L Lindemann, DV Dimarogonas‏
IEEE Control Systems Letters 3 (1), 96-101, 2019‏
3582019
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‏
2482020
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‏
1222019
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‏
1122023
Robust control for signal temporal logic specifications using discrete average space robustness‏
L Lindemann, DV Dimarogonas‏
Automatica 101, 377-387, 2019‏
802019
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‏
782020
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‏
662020
Prescribed Performance Control for Signal Temporal Logic Specifications‏
L Lindemann, CK Verginis, DV Dimarogonas‏
Conference on Decision and Control (CDC), 2017, 2997-3002, 2017‏
642017
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‏
582023
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‏
412021
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‏
382024
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‏
362023
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‏
352021
Efficient automata-based planning and control under spatio-temporal logic specifications‏
L Lindemann, DV Dimarogonas‏
2020 American Control Conference (ACC), 4707-4714, 2020‏
322020
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks‏
L Lindemann, DV Dimarogonas‏
Automatica 106, 284-293, 2019‏
322019
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‏
292021
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‏
272019
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20