logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
S

Sadegh Soudjani

max planck society

23H指数
246论文数
2.0K被引数
收录论文 29
发表时间
logo
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates基于契约的随机代理方法的不确定系统形式化控制
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errSchon, Oliver; Haesaert, Sofie; Soudjani, Sadegh
err分享
err收藏
Temporal Logic Resilience for Dynamical Systems动态系统的时序逻辑鲁棒性
errIEEE Transactions on Automatic Control
IF7
err2025-10-28
err0
PREAI
errAdnane Saoud; Pushpak Jagtap; Sadegh Soudjani
err分享
err收藏
SySCoRe 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specificationsSySCoRe 2.0：用于连续状态随机系统和时序逻辑规范的形式化控制合成的工具集
errnonlinear analysis hybrid systems
IF0
err2025-05-30
err0
PREAI
errB.C. van Huijgevoort; M.H.W. Engelaar; S. Soudjani; S. Haesaert
err分享
err收藏
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations基于鲁棒仿真关系的未知系统贝叶斯形式化综合
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2025-03-01
err0
PREAI
errSchoen, Oliver; van Huijgevoort, Birgit; Haesaert, Sofie; Soudjani, Sadegh
err分享
err收藏
A logic-based resilience metric for water resource recovery facilities
errENVIRONMENTAL SCIENCE-WATER RESEARCH & TECHNOLOGY
IF3.1
err2025-01-01
err0
errOAAI
errLaino, Anna S.; Wooding, Ben; Soudjani, Sadegh; Davenport, Russell J.
err分享
err收藏
Data-driven abstraction-based control synthesis
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2024-05-01
err7
errOAAI
errKazemi, Milad; Majumdar, Rupak; Salamati, Mahmoud; Soudjani, Sadegh; Wooding, Ben
err分享
err收藏
Symbolic control for stochastic systems via finite parity games
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2024-02-01
err3
errOAAI
errMajumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh
err分享
err收藏
Data-driven verification and synthesis of stochastic systems via barrier certificates
errAUTOMATICA
IF5.9
err2024-01-01
err5
errOAAI
errSalamati, Ali; Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
Formal Verification of Quantum Programs: Theory, Tools, and Challenges量子程序的形式化验证: 理论、工具和挑战
errACM TRANSACTIONS ON QUANTUM COMPUTING
IF6.8
err2023-12-16
err13
errOAAI
errLewis, Marco; Soudjani, Sadegh; Zuliani, Paolo
err分享
err收藏
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-12-01
err2
PREAI
errLavaei, Abolfazl; Soudjani, Sadegh; Frazzoli, Emilio
err分享
err收藏
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-05-01
err10
PREAI
errNejati, Ameneh; Lavaei, Abolfazl; Jagtap, Pushpak; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
Generalized Stochastic Dynamic Aggregative Game for Demand-Side Management in Microgrids With Shared Battery
errIEEE CONTROL SYSTEMS LETTERS
IF2
err2023-01-01
err0
errOAAI
errYadollahi, Shahram; Kebriaei, Hamed; Soudjani, Sadegh
err分享
err收藏
Automated verification and synthesis of stochastic hybrid systems: A survey
errAUTOMATICA
IF5.9
err2022-12-01
err31
errOAAI
errLavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid
err分享
err收藏
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
errAUTOMATICA
IF5.9
err2022-11-01
err12
errOAAI
errNejati, Ameneh; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
Data-driven verification of stochastic linear systems with signal temporal logic constraints
errAUTOMATICA
IF5.9
err2021-09-01
err10
errOAAI
errSalamati, Ali; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
Formal Synthesis of Stochastic Systems via Control Barrier Certificates
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-07-01
err67
errOAAI
errJagtap, Pushpak; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-06-01
err12
errOAAI
errHaesaert, Sofie; Soudjani, Sadegh
err分享
err收藏
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2021-02-01
err2
errOAAI
errLavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-12-01
err20
errOAAI
errLavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2020-05-01
err9
errOAAI
errLavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
E
Emilio Frazzoli
H 指数: 70 · 论文数: 609
R
Rupak Majumdar
H 指数: 59 · 论文数: 471
S
Scott A. Smolka
H 指数: 42 · 论文数: 325
A
Alessandro Abate
H 指数: 40 · 论文数: 442
C
Carlos Ocampo‐Martínez
H 指数: 40 · 论文数: 342
查看更多