Lars Lindemann

Matteo Sesia

CoRR, 2024

Conformal Predictive Programming for Chance Constrained Optimization.

[BibT_eX]

[DOI]

Yiqi Zhao

Xinyi Yu

CoRR, 2024

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

[BibT_eX]

[DOI]

Farhad Mehdifar

Charalampos P. Bechlioulis

CoRR, 2024

Conformal Prediction Regions for Time Series Using Linear Complementarity Programming.

[BibT_eX]

[DOI]

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

2023

Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments.

[BibT_eX]

[DOI]

Kegan J. Strawn

Nora Ayanian

IEEE Robotics Autom. Lett., November, 2023

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

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2023

Risk of Stochastic Systems for Temporal Logic Specifications.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2023

Safe Planning in Dynamic Environments Using Conformal Prediction.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2023

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

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.

[BibT_eX]

[DOI]

Yiqi Zhao

Bardh Hoxha

Georgios Fainekos

CoRR, 2023

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

[BibT_eX]

[DOI]

Eleftherios E. Vlahakis

CoRR, 2023

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

[BibT_eX]

[DOI]

Joris Verhagen

Jana Tumova

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Adaptive Conformal Prediction for Motion Planning among Dynamic Agents.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

Physics Constrained Motion Prediction with Uncertainty Quantification.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Conformance Testing for Stochastic Cyber-Physical Systems.

[BibT_eX]

[DOI]

Xin Qin

Navid Hashemi

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

Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints.

[BibT_eX]

[DOI]

Xinyi Yu

Xiang Yin

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Farhad Mehdifar

Charalampos P. Bechlioulis

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

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

[BibT_eX]

[DOI]

Navid Hashemi

Xin Qin

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

Conformal Prediction for STL Runtime Verification.

[BibT_eX]

[DOI]

Xin Qin

Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022

Reactive and Risk-Aware Control for Signal Temporal Logic.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Parametric Chordal Sparsity for SDP-based Neural Network Verification.

[BibT_eX]

[DOI]

Anton Xue

Rajeev Alur

CoRR, 2022

Risk verification of stochastic systems with neural network controllers.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Temporal Robustness of Stochastic Signals.

[BibT_eX]

[DOI]

Alëna Rodionova

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

Corridor MPC: Towards Optimal and Safe Trajectory Tracking.

[BibT_eX]

[DOI]

Pedro Roque

Wenceslao Shaw-Cortez

Proceedings of the American Control Conference, 2022

2021

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

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2021

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations.

[BibT_eX]

[DOI]

CoRR, 2021

Time-Robust Control for STL Specifications.

[BibT_eX]

[DOI]

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

STL Robustness Risk over Discrete-Time Stochastic Processes.

[BibT_eX]

[DOI]

Nikolai Matni

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

Robust Motion Planning in the Presence of Estimation Uncertainty.

[BibT_eX]

[DOI]

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

Learning Robust Hybrid Control Barrier Functions for Uncertain Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2020

Control Design for Risk-Based Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2020

Learning Hybrid Control Barrier Functions from Data.

[BibT_eX]

[DOI]

Proceedings of the 4th Conference on Robot Learning, 2020

Learning Control Barrier Functions from Expert Demonstrations.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

2019

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

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2019

Control Barrier Functions for Signal Temporal Logic Tasks.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2019

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

[BibT_eX]

[DOI]

Autom., 2019

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

[BibT_eX]

[DOI]

Autom., 2019

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

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

2018

Event-triggered Feedback Control for Signal Temporal Logic Tasks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Prescribed performance control for signal temporal logic specifications.

[BibT_eX]

[DOI]

Christos K. Verginis

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

Robust motion planning employing signal temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

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

[BibT_eX]

[DOI]