Общедоступные статьи - Sofie HaesaertПодробнее...
2 статьи недоступны нигде
A separation theorem for guaranteed H2 performance through matrix inequalities
S Haesaert, S Weiland, CW Scherer
Automatica 96, 306-313, 2018
Финансирование: Netherlands Organisation for Scientific Research
Progress towards flight software hybrid controllers from formal specifications
S Haesaert, LJ Reder, RM Murray
2018 IEEE Aerospace Conference, 1-17, 2018
Финансирование: US National Aeronautics and Space Administration
33 статьи доступны в некоторых источниках
Multi-agent discrete-time graphical games and reinforcement learning solutions
MI Abouheaf, FL Lewis, KG Vamvoudakis, S Haesaert, R Babuska
Automatica 50 (12), 3038-3053, 2014
Финансирование: National Natural Science Foundation of China
Data-driven predictive control for linear parameter-varying systems
C Verhoek, HS Abbas, R Tóth, S Haesaert
IFAC-PapersOnLine 54 (8), 101-108, 2021
Финансирование: German Research Foundation, European Commission
Fundamental lemma for data-driven analysis of linear parameter-varying systems
C Verhoek, R Tóth, S Haesaert, A Koch
2021 60th IEEE conference on decision and control (CDC), 5040-5046, 2021
Финансирование: European Commission
Where to map? iterative rover-copter path planning for mars exploration
T Sasaki, K Otsu, R Thakker, S Haesaert, A Agha-mohammadi
IEEE Robotics and Automation Letters 5 (2), 2123-2130, 2020
Финансирование: US National Aeronautics and Space Administration
Data-driven and model-based verification via Bayesian identification and reachability analysis
S Haesaert, PMJ Van den Hof, A Abate
Automatica 79, 115-126, 2017
Финансирование: Netherlands Organisation for Scientific Research
Convex incremental dissipativity analysis of nonlinear systems
C Verhoek, PJW Koelewijn, S Haesaert, R Tóth
Automatica 150, 110859, 2023
Финансирование: European Commission
Temporal logic control of pomdps via label-based stochastic simulation relations
S Haesaert, P Nilsson, CI Vasile, R Thakker, A Agha-mohammadi, ...
IFAC-PapersOnLine 51 (16), 271-276, 2018
Финансирование: US National Aeronautics and Space Administration
Certified policy synthesis for general Markov decision processes: An application in building automation systems
S Haesaert, N Cauchi, A Abate
Performance Evaluation 117, 75-103, 2017
Финансирование: Netherlands Organisation for Scientific Research
SySCoRe: Synthesis via stochastic coupling relations
B Van Huijgevoort, O Schön, S Soudjani, S Haesaert
Proceedings of the 26th ACM international conference on hybrid systems …, 2023
Финансирование: Netherlands Organisation for Scientific Research, UK Engineering and …
Correct-by-design output feedback of LTI systems
S Haesaert, A Abate, PMJ Van den Hof
2015 54th IEEE Conference on Decision and Control (CDC), 6159-6164, 2015
Финансирование: Netherlands Organisation for Scientific Research, European Commission
Data-driven and model-based verification: A bayesian identification approach
S Haesaert, A Abate, PMJ Van den Hof
2015 54th IEEE Conference on Decision and Control (CDC), 6830-6835, 2015
Финансирование: Netherlands Organisation for Scientific Research, European Commission
Direct data-driven state-feedback control of general nonlinear systems
C Verhoek, PJW Koelewijn, S Haesaert, R Tóth
2023 62nd IEEE Conference on Decision and Control (CDC), 3688-3693, 2023
Финансирование: European Commission
Similarity quantification for linear stochastic systems: A coupling compensator approach
BC van Huijgevoort, S Haesaert
Automatica 144, 110476, 2022
Финансирование: Netherlands Organisation for Scientific Research
Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction
BC van Huijgevoort, S Weiland, S Haesaert
IEEE Control Systems Letters 7, 1039-1044, 2022
Финансирование: Netherlands Organisation for Scientific Research
Data-driven dissipativity analysis of linear parameter-varying systems
C Verhoek, J Berberich, S Haesaert, F Allgöwer, R Tóth
IEEE Transactions on Automatic Control, 2024
Финансирование: European Commission
Modularized control synthesis for complex signal temporal logic specifications
Z Zhang, S Haesaert
2023 62nd IEEE Conference on Decision and Control (CDC), 7856-7861, 2023
Финансирование: European Commission
Correct-by-design control of parametric stochastic systems
O Schön, B van Huijgevoort, S Haesaert, S Soudjani
2022 IEEE 61st Conference on Decision and Control (CDC), 5580-5587, 2022
Финансирование: Netherlands Organisation for Scientific Research, UK Engineering and …
Experiment design for formal verification via stochastic optimal control
S Haesaert, PMJ Van den Hof, A Abate
2016 European Control Conference (ECC), 427-432, 2016
Финансирование: Netherlands Organisation for Scientific Research, European Commission
Информация о публикациях и финансировании собрана автоматически.