Lars Lindemann

According to our database, Lars Lindemann authored at least 70 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift.

Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks.

Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin

IEEE Robotics Autom. Lett., October, 2024

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems.

Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas

CoRR, 2024

Incremental Composition of Learned Control Barrier Functions in Unknown Environments.

Paul Lutkus, Deepika Anantharaman, Stephen Tu, Lars Lindemann

CoRR, 2024

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies.

Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas

CoRR, 2024

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications.

Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas, Sadegh Soudjani

CoRR, 2024

Formal Verification and Control with Conformal Prediction.

Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh

CoRR, 2024

Probabilistic tube-based control synthesis of stochastic multi-agent systems under signal temporal logic.

Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas

CoRR, 2024

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks.

Farhad Nawaz, Shaoting Peng, Lars Lindemann, Nadia Figueroa, Nikolai Matni

CoRR, 2024

Robust STL Control Synthesis under Maximal Disturbance Sets.

Joris Verhagen, Lars Lindemann, Jana Tumova

CoRR, 2024

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification.

Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick

CoRR, 2024

Conformal Predictive Programming for Chance Constrained Optimization.

Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann

CoRR, 2024

Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems under Generalized Time-Varying Output Constraints.

Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas

CoRR, 2024

Chordal sparsity for SDP-based neural network verification.

Anton Xue, Lars Lindemann, Rajeev Alur

Autom., 2024

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities.

Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Multi-modal conformal prediction regions by optimizing convex shape templates.

Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Recursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees.

Charis J. Stamouli, Lars Lindemann, George J. Pappas

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Conformalized Adaptive Forecasting of Heterogeneous Trajectories.

Yanfei Zhou, Lars Lindemann, Matteo Sesia

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Distributed Sequential Receding Horizon Control of Multi-Agent Systems Under Recurring Signal Temporal Logic.

Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas

Proceedings of the European Control Conference, 2024

Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions.

Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.

Proceedings of the European Control Conference, 2024

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time.

Joris Verhagen, Lars Lindemann, Jana Tumova

Proceedings of the American Control Conference, 2024

Communication-Constrained STL Task Decomposition Through Convex Optimization.

Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas

Proceedings of the American Control Conference, 2024

Conformal Prediction Regions for Time Series Using Linear Complementarity Programming.

Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments.

Kegan J. Strawn, Nora Ayanian, Lars Lindemann

IEEE Robotics Autom. Lett., November, 2023

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design.

Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

ACM Trans. Embed. Comput. Syst., 2023

Risk of Stochastic Systems for Temporal Logic Specifications.

Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas

ACM Trans. Embed. Comput. Syst., 2023

Safe Planning in Dynamic Environments Using Conformal Prediction.

Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas

IEEE Robotics Autom. Lett., 2023

Combined Left and Right Temporal Robustness for Control Under STL Specifications.

Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

IEEE Control. Syst. Lett., 2023

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction.

Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann

CoRR, 2023

Adaptive Conformal Prediction for Motion Planning among Dynamic Agents.

Anushri Dixit, Lars Lindemann, Skylar X. Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick

Proceedings of the Learning for Dynamics and Control Conference, 2023

Physics Constrained Motion Prediction with Uncertainty Quantification.

Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Conformal Prediction for STL Runtime Verification.

Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Conformance Testing for Stochastic Cyber-Physical Systems.

Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints.

Xinyi Yu, Xiang Yin, Lars Lindemann

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction.

Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach.

Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference.

Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Reactive and Risk-Aware Control for Signal Temporal Logic.

Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas

IEEE Trans. Autom. Control., 2022

Parametric Chordal Sparsity for SDP-based Neural Network Verification.

Anton Xue, Lars Lindemann, Rajeev Alur

CoRR, 2022

Risk verification of stochastic systems with neural network controllers.

Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas

Artif. Intell., 2022

Temporal Robustness of Stochastic Signals.

Lars Lindemann, Alëna Rodionova, George J. Pappas

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks.

Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems.

Sleiman Safaoui, Lars Lindemann, Iman Shames, Tyler H. Summers

Proceedings of the American Control Conference, 2022

Corridor MPC: Towards Optimal and Safe Trajectory Tracking.

Pedro Roque, Wenceslao Shaw-Cortez, Lars Lindemann, Dimos V. Dimarogonas

Proceedings of the American Control Conference, 2022

2021

Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks.

Lars Lindemann, Jakub Nowak, Lukas Schönbächler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas

IEEE Trans. Control. Syst. Technol., 2021

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations.

Lars Lindemann, Alexander Robey, Lejun Jiang, Stephen Tu, Nikolai Matni

CoRR, 2021

Time-Robust Control for STL Specifications.

Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

STL Robustness Risk over Discrete-Time Stochastic Processes.

Lars Lindemann, Nikolai Matni, George J. Pappas

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Robust Motion Planning in the Presence of Estimation Uncertainty.

Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Learning Robust Hybrid Control Barrier Functions for Uncertain Systems.

Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks.

Lars Lindemann, Dimos V. Dimarogonas

IEEE Trans. Control. Netw. Syst., 2020

Control Design for Risk-Based Signal Temporal Logic Specifications.

Sleiman Safaoui, Lars Lindemann, Dimos V. Dimarogonas, Iman Shames, Tyler H. Summers

IEEE Control. Syst. Lett., 2020

Learning Hybrid Control Barrier Functions from Data.

Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni

Proceedings of the 4th Conference on Robot Learning, 2020

Learning Control Barrier Functions from Expert Demonstrations.

Alexander Robey, Haimin Hu, Lars Lindemann, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications.

Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments.

Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications.

Lars Lindemann, Dimos V. Dimarogonas

Proceedings of the 2020 American Control Conference, 2020

2019

Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks.

Lars Lindemann, Dimos V. Dimarogonas

IEEE Control. Syst. Lett., 2019

Control Barrier Functions for Signal Temporal Logic Tasks.

Lars Lindemann, Dimos V. Dimarogonas

IEEE Control. Syst. Lett., 2019

Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks.

Lars Lindemann, Dimos V. Dimarogonas

Autom., 2019

Robust control for signal temporal logic specifications using discrete average space robustness.

Lars Lindemann, Dimos V. Dimarogonas

Autom., 2019

Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks.

Lars Lindemann, Dimos V. Dimarogonas

Proceedings of the 17th European Control Conference, 2019

Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications.

Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova

Proceedings of the 17th European Control Conference, 2019

2018

Event-triggered Feedback Control for Signal Temporal Logic Tasks.

Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks.

Lars Lindemann, Dimos V. Dimarogonas

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Prescribed performance control for signal temporal logic specifications.

Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Robust motion planning employing signal temporal logic.

Lars Lindemann, Dimos V. Dimarogonas

Proceedings of the 2017 American Control Conference, 2017

2016

Robust Control for Signal Temporal Logic Specifications using Average Space Robustness.

Lars Lindemann, Dimos V. Dimarogonas

CoRR, 2016

2011

Integration of medical equipment into SOA - Enabling technology for efficient workflow management.

Lars Lindemann, Mario Thron, Thomas Bangemann, Oliver S. Großer

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011