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

Sofie Haesaert

Eindhoven University of Technology
H指数:15
被引数:987
浏览量:0

个人简介

暂无内容

教育背景

暂无内容

工作经历

暂无内容

荣誉奖项

暂无内容

Correct-by-design control synthesis of stochastic multi-agent systems: A robust tensor-based solution

基于设计的随机多智能体系统容错控制综合：一种鲁棒张量基解决方案

nonlinear analysis: hybrid systems
IF0
2026-05-210
OAAI
Ruohan Wang; Siyuan Liu; Zhiyong Sun; Sofie Haesaert
Planning with elastic chance constraints in stochastic model predictive control

在随机模型预测控制中基于弹性机会约束的规划

SYSTEMS & CONTROL LETTERS
IF2.5
2026-05-010
OAAI
Engelaar, Maico H. W.; Lazar, Mircea; Haesaert, Sofie
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates

基于契约的随机代理方法的不确定系统形式化控制

QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
2026-01-010
PRE
Schon, Oliver; Haesaert, Sofie; Soudjani, Sadegh
A Linear Parameter-Varying Approach to Data Predictive Control

一种线性参数变化的数据预测控制方法

IEEE Transactions on Automatic Control
IF7
2025-10-300
PRE
Chris Verhoek; Julian Berberich; Sofie Haesaert; Roland Tóth; Hossam S. Abbas
SySCoRe 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications

SySCoRe 2.0：用于连续状态随机系统和时序逻辑规范的形式化控制合成的工具集

nonlinear analysis hybrid systems
IF0
2025-05-300
PREAI
B.C. van Huijgevoort; M.H.W. Engelaar; S. Soudjani; S. Haesaert
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

基于鲁棒仿真关系的未知系统贝叶斯形式化综合

IEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
2025-03-010
PRE
Schoen, Oliver; van Huijgevoort, Birgit; Haesaert, Sofie; Soudjani, Sadegh
Data-Driven Dissipativity Analysis of Linear Parameter-Varying Systems

线性变参数系统的数据驱动耗散分析

IEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
2024-12-010
OA
Verhoek, Chris; Berberich, Julian; Haesaert, Sofie; Allgoewer, Frank; Toth, Roland
Resilient Containment Under Time-Varying Networks With Relaxed Graph Robustness
IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING
IF7.9
2024-09-010
PRE
Liao, Zirui; Wang, Shaoping; Shi, Jian; Haesaert, Sofie; Zhang, Yuwei; Sun, Zhiyong
Convex incremental dissipativity analysis of nonlinear systems?
AUTOMATICA
IF5.9
2023-04-0111
OAAI
Verhoek, Chris; Koelewijn, Patrick J. W.; Haesaert, Sofie; Toth, Roland
Similarity quantification for linear stochastic systems: A coupling compensator approach
AUTOMATICA
IF5.9
2022-10-014
OAAI
van Huijgevoort, Birgit C.; Haesaert, Sofie
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
2021-06-0112
OAAI
Haesaert, Sofie; Soudjani, Sadegh
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
2021-03-013
OAAI
Haesaert, Sofie; Chen, Fei; Abate, Alessandro; Weiland, Siep
A separation theorem for guaranteed H2 performance through matrix inequalities
AUTOMATICA
IF5.9
2018-10-015
PREAI
Haesaert, Sofie; Weiland, Siep; Scherer, Carsten W.
Data-driven and model-based verification via Bayesian identification and reachability analysis
AUTOMATICA
IF5.9
2017-05-0120
OAAI
Haesaert, Sofie; Van den Hof, Paul M. J.; Abate, Alessandro
Multi-agent discrete-time graphical games and reinforcement learning solutions
AUTOMATICA
IF5.9
2014-12-01227
OAAI
Abouheaf, Mohammed I.; Lewis, Frank L.; Vamvoudakis, Kyriakos G.; Haesaert, Sofie; Babuska, Robert

研究方向

暂未获取到该数据
S
Sadegh Soudjani
H 指数:23论文数:247被引数:1,957
C
Chris Verhoek
H 指数:8论文数:35被引数:239
R
Roland Tóth
H 指数:33论文数:396被引数:4,384
B
B.C. van Huijgevoort
H 指数:4论文数:15被引数:47
A
Alessandro Abate
H 指数:40论文数:443被引数:6,063
J
Julian Berberich
H 指数:20论文数:120被引数:2,348
S
S. Weiland
H 指数:28论文数:374被引数:4,675
M
M.H.W. Engelaar
H 指数:2论文数:12被引数:8
O
Oliver Schön
H 指数:19论文数:122被引数:3,316
M
Mohammed Abouheaf
H 指数:18论文数:95被引数:1,400