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

Informacje na temat projektu

Auto-CyPheR

Identyfikator umowy o grant: 101089047

DOI

10.3030/101089047

Data podpisania przez KE 27 Lipca 2023

Data rozpoczęcia 1 Listopada 2023

Data zakończenia 31 Października 2028

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 993 756,00

Wkład UE

€ 1 993 756,00

Koordynowany przez

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (15)

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

Autorzy: Oliver Schön; Zhengang Zhong; Sadegh Soudjani
Opublikowane w: 2024 American Control Conference (ACC), 2024, ISSN 2378-5861
Wydawca: IEEE
DOI: 10.13140/RG.2.2.12824.61444

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

Autorzy: Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
Opublikowane w: IFAC-PapersOnLine, Numer 58, 2024, ISSN 2405-8963
Wydawca: Elsevier BV
DOI: 10.48550/ARXIV.2407.21029

Simulation

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

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

Autorzy: Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Opublikowane w: IEEE Transactions on Automatic Control, Numer 70, 2025, ISSN 0018-9286
Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2304.07428

Data-driven abstraction-based control synthesis

Autorzy: Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer 52, 2025, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.48550/ARXIV.2206.08069

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

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

Symbolic control for stochastic systems via finite parity games

Autorzy: Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer 51, 2025, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.48550/ARXIV.2101.00834

Nonlinear Analysis: Hybrid Systems

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

Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs

Autorzy: Negar Monir; Oliver Schön; Sadegh Soudjani
Opublikowane w: IFAC-PapersOnLine, 2024, ISSN 2405-8963
Wydawca: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.432

Safe Reach Set Computation via Neural Barrier Certificates

Autorzy: Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Opublikowane w: IFAC-PapersOnLine, Numer 58, 2024, ISSN 2405-8963
Wydawca: 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

Autorzy: B.C. van Huijgevoort, M.H.W. Engelaar, S. Soudjani, S. Haesaert
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer 58, 2025, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.1016/J.NAHS.2025.101607

Necessary and Sufficient Certificates for Almost Sure Reachability

Autorzy: Rupak Majumdar; V. R. Sathiyanarayana; Sadegh Soudjani
Opublikowane w: IEEE Control Systems Letters, 2024, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/LCSYS.2024.3507279

Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems

Autorzy: Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphael Jungers
Opublikowane w: IFAC-PapersOnLine, Numer 58, 2024, ISSN 2405-8963
Wydawca: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.426

Temporal Logic Resilience for Dynamical Systems

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

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

Autorzy: Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Opublikowane w: Automatica, Numer 159, 2025, ISSN 0005-1098
Wydawca: Elsevier BV
DOI: 10.48550/ARXIV.2111.10330

Conference proceedings (20)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation

Autorzy: Zhi Zhang; Chenyu Ma; Saleh Soudijani; Sadegh Soudjani
Opublikowane w: Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, 2024
Wydawca: PMLR
DOI: 10.60882/CISPA.29457704

Temporal Logic Resilience for Cyber-Physical Systems

Autorzy: Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Opublikowane w: 2023 62nd IEEE Conference on Decision and Control (CDC), 2024
Wydawca: IEEE
DOI: 10.48550/ARXIV.2404.19223

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications

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

Assume-Guarantee Reinforcement Learning

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

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

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

Regret-Free Reinforcement Learning for Temporal Logic Specifications

Autorzy: Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Opublikowane w: 2025
Wydawca: PMLR
DOI: 10.48550/ARXIV.2411.12019

Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks

Autorzy: Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
Opublikowane w: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2025
Wydawca: IEEE
DOI: 10.48550/ARXIV.2309.05570

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization

Autorzy: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Opublikowane w: Learning for Decision and Control, 2025
Wydawca: Proceedings of Machine Learning Research
DOI: 10.48550/ARXIV.2505.06943

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

Autorzy: Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani
Opublikowane w: Association for the Advancement of Artificial Intelligence, 2026
Wydawca: AAAI
DOI: 10.48550/ARXIV.2512.11750

Maximally Resilient Controllers under Temporal Logic Specifications

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

Logic-based Resilience Computation of Power Systems Against Frequency Requirements

Autorzy: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Opublikowane w: 2025 European Control Conference (ECC), 2025
Wydawca: IEEE
DOI: 10.48550/ARXIV.2504.19756

Analyzing Metastable Failures

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

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

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

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

Autorzy: Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
Opublikowane w: Learning for Decision and Control, 2026
Wydawca: L4DC
DOI: 10.48550/ARXIV.2511.09363

Incremental Data-Driven Policy Synthesis via Game Abstractions

Autorzy: Irmak Sağlam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
Opublikowane w: Association for the Advancement of Artificial Intelligence, 2026
Wydawca: AAAI
DOI: 10.48550/ARXIV.2511.11545

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

Autorzy: Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
Opublikowane w: Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025
Wydawca: PMLR
DOI: 10.48550/ARXIV.2501.01191

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

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

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance

Autorzy: Arash Bahari Kordabad; Andrea Da Col; Arabinda Ghosh; Sybert Stroeve; Sadegh Soudjani
Opublikowane w: 2025 European Control Conference (ECC), 2025
Wydawca: IEEE
DOI: 10.48550/ARXIV.2408.06999

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

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

Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks

Autorzy: Arash Bahari Kordabad; Maria Charitidou; Dimos V. Dimarogonas; Sadegh Soudjani
Opublikowane w: 2024 European Control Conference (ECC), 2024
Wydawca: IEEE
DOI: 10.23919/ECC64448.2024.10591078

Book chapters (1)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates

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