Automated Synthesis of Stochastic Cyber-Physical Systems: A Robust Approach

Información del proyecto

Auto-CyPheR

Identificador del acuerdo de subvención: 101089047

DOI

10.3030/101089047

Fecha de la firma de la CE 27 Julio 2023

Fecha de inicio 1 Noviembre 2023

Fecha de finalización 31 Octubre 2028

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 993 756,00

Aportación de la UE

€ 1 993 756,00

Coordinado por

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (15)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings

Autores: Oliver Schön; Zhengang Zhong; Sadegh Soudjani
Publicado en: 2024 American Control Conference (ACC), 2024, ISSN 2378-5861
Editor: IEEE
DOI: 10.13140/RG.2.2.12824.61444

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification

Autores: Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
Publicado en: IFAC-PapersOnLine, Edición 58, 2024, ISSN 2405-8963
Editor: Elsevier BV
DOI: 10.48550/ARXIV.2407.21029

Simulation

Autores: Sergiy Bogomolov; Cláudio Gomes 0001; Carlos Ignacio Isasa Martin; Sadegh Soudjani; Paulius Stankaitis; Thomas Wright
Publicado en: SIMULATION, 2024, ISSN 0037-5497
Editor: SAGE Publications
DOI: 10.1177/00375497241261409

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

Autores: Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Publicado en: IEEE Transactions on Automatic Control, Edición 70, 2025, ISSN 0018-9286
Editor: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2304.07428

Data-driven abstraction-based control synthesis

Autores: Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Publicado en: Nonlinear Analysis: Hybrid Systems, Edición 52, 2025, ISSN 1751-570X
Editor: Elsevier BV
DOI: 10.48550/ARXIV.2206.08069

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

Autores: Abolfazl Lavaei; Mateo Perez; Milad Kazemi; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi; Majid Zamani
Publicado en: IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Editor: IEEE
DOI: 10.48550/ARXIV.2208.03485

Symbolic control for stochastic systems via finite parity games

Autores: Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Publicado en: Nonlinear Analysis: Hybrid Systems, Edición 51, 2025, ISSN 1751-570X
Editor: Elsevier BV
DOI: 10.48550/ARXIV.2101.00834

Nonlinear Analysis: Hybrid Systems

Autores: Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Publicado en: Journal of AI Research, 2026, ISSN 1751-570X
Editor: Elsevier BV
DOI: 10.48550/ARXIV.2505.15693

Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs

Autores: Negar Monir; Oliver Schön; Sadegh Soudjani
Publicado en: IFAC-PapersOnLine, 2024, ISSN 2405-8963
Editor: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.432

Safe Reach Set Computation via Neural Barrier Certificates

Autores: Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Publicado en: IFAC-PapersOnLine, Edición 58, 2024, ISSN 2405-8963
Editor: Elsevier BV
DOI: 10.48550/ARXIV.2404.18813

SySCoRe 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications

Autores: B.C. van Huijgevoort, M.H.W. Engelaar, S. Soudjani, S. Haesaert
Publicado en: Nonlinear Analysis: Hybrid Systems, Edición 58, 2025, ISSN 1751-570X
Editor: Elsevier BV
DOI: 10.1016/J.NAHS.2025.101607

Necessary and Sufficient Certificates for Almost Sure Reachability

Autores: Rupak Majumdar; V. R. Sathiyanarayana; Sadegh Soudjani
Publicado en: IEEE Control Systems Letters, 2024, ISSN 2475-1456
Editor: IEEE
DOI: 10.1109/LCSYS.2024.3507279

Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems

Autores: Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphael Jungers
Publicado en: IFAC-PapersOnLine, Edición 58, 2024, ISSN 2405-8963
Editor: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.426

Temporal Logic Resilience for Dynamical Systems

Autores: Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Publicado en: IEEE Transactions on Automatic Control, 2025, ISSN 0018-9286
Editor: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2404.19223

Data-driven verification and synthesis of stochastic systems via barrier certificates

Autores: Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Publicado en: Automatica, Edición 159, 2025, ISSN 0005-1098
Editor: Elsevier BV
DOI: 10.48550/ARXIV.2111.10330

Conference proceedings (20)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation

Autores: Zhi Zhang; Chenyu Ma; Saleh Soudijani; Sadegh Soudjani
Publicado en: Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, 2024
Editor: PMLR
DOI: 10.60882/CISPA.29457704

Temporal Logic Resilience for Cyber-Physical Systems

Autores: Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Publicado en: 2023 62nd IEEE Conference on Decision and Control (CDC), 2024
Editor: IEEE
DOI: 10.48550/ARXIV.2404.19223

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications

Autores: Arash Bahari Kordabad; Eleftherios E. Vlahakis; Lars Lindemann; Dimos V. Dimarogonas; Sadegh Soudjani
Publicado en: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024
Editor: IEEE
DOI: 10.48550/ARXIV.2409.03855

Assume-Guarantee Reinforcement Learning

Autores: Kazemi, Milad; Perez, Mateo; Somenzi, Fabio; Soudjani, Sadegh; Trivedi, Ashutosh; Velasquez, Alvaro
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, 2024
Editor: PKP Publishing Services Network
DOI: 10.48550/ARXIV.2312.09938

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach

Autores: Negar Monir, Youssef AIT Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
Publicado en: 2025 IEEE 64th Conference on Decision and Control (CDC), 2025
Editor: IEEE
DOI: 10.48550/ARXIV.2509.01832

Regret-Free Reinforcement Learning for Temporal Logic Specifications

Autores: Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Publicado en: 2025
Editor: PMLR
DOI: 10.48550/ARXIV.2411.12019

Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks

Autores: Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
Publicado en: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2025
Editor: IEEE
DOI: 10.48550/ARXIV.2309.05570

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization

Autores: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Publicado en: Learning for Decision and Control, 2025
Editor: Proceedings of Machine Learning Research
DOI: 10.48550/ARXIV.2505.06943

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems

Autores: Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani
Publicado en: Association for the Advancement of Artificial Intelligence, 2026
Editor: AAAI
DOI: 10.48550/ARXIV.2512.11750

Maximally Resilient Controllers under Temporal Logic Specifications

Autores: Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
Publicado en: 2025 IEEE 64th Conference on Decision and Control (CDC), 2026
Editor: IEEE
DOI: 10.48550/ARXIV.2509.01777

Logic-based Resilience Computation of Power Systems Against Frequency Requirements

Autores: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Publicado en: 2025 European Control Conference (ECC), 2025
Editor: IEEE
DOI: 10.48550/ARXIV.2504.19756

Analyzing Metastable Failures

Autores: Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran-Kumar Muniswamy-Reddy, Mahmoud Salamati, Sadegh Soudjani
Publicado en: Proceedings of the Workshop on Hot Topics in Operating Systems, 2025
Editor: ACM
DOI: 10.1145/3713082.3730380

Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems

Autores: Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani
Publicado en: 2023 62nd IEEE Conference on Decision and Control (CDC), 2023
Editor: IEEE
DOI: 10.48550/ARXIV.2309.01276

BarrierBench : Evaluating Large Language Models for Safety Verification in Dynamical Systems

Autores: Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
Publicado en: Learning for Decision and Control, 2026
Editor: L4DC
DOI: 10.48550/ARXIV.2511.09363

Incremental Data-Driven Policy Synthesis via Game Abstractions

Autores: Irmak Sağlam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
Publicado en: Association for the Advancement of Artificial Intelligence, 2026
Editor: AAAI
DOI: 10.48550/ARXIV.2511.11545

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems

Autores: Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
Publicado en: Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025
Editor: PMLR
DOI: 10.48550/ARXIV.2501.01191

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness

Autores: Mahdieh Zaker, Henk A.P. Blom, Sadegh Soudjani, Abolfazl Lavaei
Publicado en: 2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC), 2025
Editor: IEEE
DOI: 10.48550/ARXIV.2405.01011

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance

Autores: Arash Bahari Kordabad; Andrea Da Col; Arabinda Ghosh; Sybert Stroeve; Sadegh Soudjani
Publicado en: 2025 European Control Conference (ECC), 2025
Editor: IEEE
DOI: 10.48550/ARXIV.2408.06999

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics

Autores: Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
Publicado en: 2025 IEEE 64th Conference on Decision and Control (CDC), 2025
Editor: IEEE
DOI: 10.48550/ARXIV.2508.15543

Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks

Autores: Arash Bahari Kordabad; Maria Charitidou; Dimos V. Dimarogonas; Sadegh Soudjani
Publicado en: 2024 European Control Conference (ECC), 2024
Editor: IEEE
DOI: 10.23919/ECC64448.2024.10591078

Book chapters (1)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates

Autores: Oliver Schön, Sofie Haesaert, Sadegh Soudjani
Publicado en: Lecture Notes in Computer Science, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025
Editor: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2506.16971