Search Results for author: Lars Lindemann

Found 33 papers, 12 papers with code

Communication-Constrained STL Task Decomposition through Convex Optimization

no code implementations27 Feb 2024 Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas

In this work, we propose a method to decompose signal temporal logic (STL) tasks for multi-agent systems subject to constraints imposed by the communication graph.

Conformalized Adaptive Forecasting of Heterogeneous Trajectories

1 code implementation14 Feb 2024 Yanfei Zhou, Lars Lindemann, Matteo Sesia

This paper presents a new conformal method for generating simultaneous forecasting bands guaranteed to cover the entire path of a new random trajectory with sufficiently high probability.

Conformal Prediction Motion Planning +2

Conformal Predictive Programming for Chance Constrained Optimization

no code implementations12 Feb 2024 Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann

Motivated by the advances in conformal prediction (CP), we propose conformal predictive programming (CPP), an approach to solve chance constrained optimization (CCO) problems, i. e., optimization problems with nonlinear constraint functions affected by arbitrary random parameters.

Conformal Prediction LEMMA

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

no code implementations8 Jan 2024 Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas

This paper introduces a novel control framework to address the satisfaction of multiple time-varying output constraints in uncertain high-order MIMO nonlinear control systems.

Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates

1 code implementation12 Dec 2023 Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann

However, little work has gone into finding non-conformity score functions that produce prediction regions that are multi-modal and practical, i. e., that can efficiently be used in engineering applications.

Autonomous Vehicles Conformal Prediction +2

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

no code implementations7 Dec 2023 Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann

We propose a predictive control synthesis framework that guarantees, with high probability, the satisfaction of signal temporal logic (STL) tasks that are defined over the system and uncontrollable stochastic agents.

Conformal Prediction valid

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

1 code implementation27 Nov 2023 Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin

Existing works on online monitoring usually assume that the monitor can acquire system information periodically at each time instant.

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

1 code implementation16 Nov 2023 Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

To address these challenges, we assume to know an upper bound on the statistical distance (in terms of an f-divergence) between the distributions at deployment and design time, and we utilize techniques based on robust conformal prediction.

Conformal Prediction Trajectory Prediction

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

no code implementations12 Nov 2023 Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas

We consider the synthesis problem of a multi-agent system under Signal Temporal Logic (STL) specifications representing bounded-time tasks that need to be satisfied recurrently over an infinite horizon.

Scheduling

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

no code implementations17 Sep 2023 Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh

We consider data-driven reachability analysis of discrete-time stochastic dynamical systems using conformal inference.

Conformance Testing for Stochastic Cyber-Physical Systems

no code implementations12 Aug 2023 Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh

Ultimately, conformance can capture distance between design models and their real implementations and thus aid in robust system design.

Conformal Prediction

Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints

no code implementations24 Jul 2023 Xinyi Yu, Xiang Yin, Lars Lindemann

Given an ATR bound, we compute a sequence of control inputs so that the specification is satisfied by the system as long as each sub-trajectory is shifted not more than the ATR bound.

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

no code implementations12 Jul 2023 Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas

This paper proposes a novel control framework for handling (potentially coupled) multiple time-varying output constraints for uncertain nonlinear systems.

Combined Left and Right Temporal Robustness for Control under STL Specifications

no code implementations8 Jun 2023 Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

Many modern autonomous systems, particularly multi-agent systems, are time-critical and need to be robust against timing uncertainties.

Conformal Prediction Regions for Time Series using Linear Complementarity Programming

1 code implementation3 Apr 2023 Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann

In fact, to obtain prediction regions over $T$ time steps with confidence $1-\delta$, {previous works require that each individual prediction region is valid} with confidence $1-\delta/T$.

Conformal Prediction Time Series +1

Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction

no code implementations1 Apr 2023 Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann

However, these perception maps are not perfect and result in state estimation errors that can lead to unsafe system behavior.

Conformal Prediction valid

Conformal Prediction for STL Runtime Verification

no code implementations3 Nov 2022 Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas

The second algorithm constructs prediction regions for future system states first, and uses these to obtain a prediction region for the satisfaction measure.

Conformal Prediction Uncertainty Quantification

Risk Verification of Stochastic Systems with Neural Network Controllers

no code implementations26 Aug 2022 Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George Pappas

Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical systems with NN controllers.

Chordal Sparsity for SDP-based Neural Network Verification

1 code implementation7 Jun 2022 Anton Xue, Lars Lindemann, Rajeev Alur

Neural networks are central to many emerging technologies, but verifying their correctness remains a major challenge.

Risk of Stochastic Systems for Temporal Logic Specifications

no code implementations28 May 2022 Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas

For discrete-time stochastic processes, we show under which conditions the approximate STL robustness risk can even be computed exactly.

Autonomous Driving

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

no code implementations8 Apr 2022 Sleiman Safaoui, Lars Lindemann, Iman Shames, Tyler H. Summers

Our control approach relies on reformulating these risk predicates as deterministic predicates over mean and covariance states of the system.

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks

1 code implementation2 Apr 2022 Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur

Lipschitz constants of neural networks allow for guarantees of robustness in image classification, safety in controller design, and generalizability beyond the training data.

Image Classification Navigate

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

no code implementations29 Mar 2022 Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

We study the temporal robustness of temporal logic specifications and show how to design temporally robust control laws for time-critical control systems.

Temporal Robustness of Stochastic Signals

1 code implementation5 Feb 2022 Lars Lindemann, Alena Rodionova, George J. Pappas

We then define the temporal robustness risk by investigating the temporal robustness of the realizations of a stochastic signal.

Autonomous Driving

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations

1 code implementation18 Nov 2021 Lars Lindemann, Alexander Robey, Lejun Jiang, Satyajeet Das, Stephen Tu, Nikolai Matni

Along with the optimization problem, we provide verifiable conditions in terms of the density of the data, smoothness of the system model and state estimator, and the size of the error bounds that guarantee validity of the obtained ROCBF.

Autonomous Driving

Reactive and Risk-Aware Control for Signal Temporal Logic

no code implementations30 Aug 2021 Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas

Addressing these is pivotal to build fully autonomous systems and requires a systematic integration of planning and control.

Time-Robust Control for STL Specifications

1 code implementation6 Apr 2021 Alena Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

We present a robust control framework for time-critical systems in which satisfying real-time constraints robustly is of utmost importance for the safety of the system.

STL Robustness Risk over Discrete-Time Stochastic Processes

no code implementations3 Apr 2021 Lars Lindemann, Nikolai Matni, George J. Pappas

We then define the risk of a stochastic process not satisfying an STL formula robustly, referred to as the STL robustness risk.

Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks

no code implementations4 Feb 2021 Lars Lindemann, Dimos V. Dimarogonas

Motivated by the recent interest in cyber-physical and autonomous robotic systems, we study the problem of dynamically coupled multi-agent systems under a set of signal temporal logic tasks.

Learning Robust Hybrid Control Barrier Functions for Uncertain Systems

1 code implementation16 Jan 2021 Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni

We identify sufficient conditions on the data such that feasibility of the optimization problem ensures correctness of the learned robust hybrid control barrier functions.

Learning Hybrid Control Barrier Functions from Data

no code implementations8 Nov 2020 Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni

Motivated by the lack of systematic tools to obtain safe control laws for hybrid systems, we propose an optimization-based framework for learning certifiably safe control laws from data.

Learning Control Barrier Functions from Expert Demonstrations

1 code implementation7 Apr 2020 Alexander Robey, Haimin Hu, Lars Lindemann, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni

Furthermore, if the CBF parameterization is convex, then under mild assumptions, so is our learning process.

Cannot find the paper you are looking for? You can Submit a new open access paper.