E-LIB Suche - Ergebnisse für: Lindemann, Lars

1

Robust Conformal Prediction for STL Runtime Verification un..:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),

Zhao, Yiqi ; Hoxha, Bardh ; Fainekos, Georgios.. - p. 169-179 , 2024

Link: https://doi.org/10.1109/..

2

Learning Robust Output Control Barrier Functions From Safe ..:

Lindemann, Lars ; Robey, Alexander ; Jiang, Lejun...
IEEE Open Journal of Control Systems. 3 (2024) - p. 158-172 , 2024

Link: https://doi.org/10.1109/..

3

Chordal sparsity for SDP-based neural network verification:

Xue, Anton ; Lindemann, Lars ; Alur, Rajeev
Automatica. 161 (2024) - p. 111487 , 2024

Link: https://doi.org/10.1016/..

4

Conformal Prediction for STL Runtime Verification:

, In: 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton),

Lindemann, Lars ; Qin, Xin ; Deshmukh, Jyotirmoy V.. - p. 1-1 , 2023

Link: https://doi.org/10.1109/..

5

Physics Constrained Motion Prediction with Uncertainty Quan..:

, In: 2023 IEEE Intelligent Vehicles Symposium (IV),

Tumu, Renukanandan ; Lindemann, Lars ; Nghiem, Truong. - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

6

Risk of Stochastic Systems for Temporal Logic Specification:

Lindemann, Lars ; Jiang, Lejun ; Matni, Nikolai.
ACM Transactions on Embedded Computing Systems. 22 (2023) 3 - p. 1-31 , 2023

Link: https://doi.org/10.1145/..

7

Efficient STL Control Synthesis Under Asynchronous Temporal..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),

Yu, Xinyi ; Yin, Xiang ; Lindemann, Lars - p. 6847-6854 , 2023

Link: https://doi.org/10.1109/..

8

Conformal Prediction for STL Runtime Verification:

, In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023),

Lindemann, Lars ; Qin, Xin ; Deshmukh, Jyotirmoy V.. - p. 142-153 , 2023

Link: https://dl.acm.org/doi/1..

9

Control of Nonlinear Systems Under Multiple Time-Varying Ou..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),

Mehdifar, Farhad ; Lindemann, Lars ; Bechlioulis, Charalampos P.. - p. 6743-6748 , 2023

Link: https://doi.org/10.1109/..

10

Safe Planning in Dynamic Environments Using Conformal Predi..:

Lindemann, Lars ; Cleaveland, Matthew ; Shim, Gihyun.
IEEE Robotics and Automation Letters. 8 (2023) 8 - p. 5116-5123 , 2023

Link: https://doi.org/10.1109/..

11

Conformal Predictive Safety Filter for RL Controllers in Dy..:

Strawn, Kegan J. ; Ayanian, Nora ; Lindemann, Lars
IEEE Robotics and Automation Letters. 8 (2023) 11 - p. 7833-7840 , 2023

Link: https://doi.org/10.1109/..

12

Conformance Testing for Stochastic Cyber-Physical Systems:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Qin, Xin ; Hashemi, Navid ; Lindemann, Lars. - p. 294-305 , 2023

Link: https://doi.org/10.34727..

13

Data-Driven Reachability Analysis of Stochastic Dynamical S..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),

Hashemi, Navid ; Qin, Xin ; Lindemann, Lars. - p. 3102-3109 , 2023

Link: https://doi.org/10.1109/..

14

Safe Perception-Based Control Under Stochastic Sensor Uncer..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),

Yang, Shuo ; Pappas, George J. ; Mangharam, Rahul. - p. 6072-6078 , 2023

Link: https://doi.org/10.1109/..

15

Combined Left and Right Temporal Robustness for Control Und..:

Rodionova, Alena ; Lindemann, Lars ; Morari, Manfred.
IEEE Control Systems Letters. 7 (2023) - p. 619-624 , 2023

Link: https://doi.org/10.1109/..