Sofie Haesaert

According to our database, Sofie Haesaert authored at least 56 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside".

Cosimo Della Santina, Carlos Hernández Corbato, Burak Sisman, Luis A. Leiva, Ioannis Arapakis, Michalis Vakalellis, Jean Vanderdonckt, Luis Fernando D'Haro, Guido Manzi, Cristina Becchio, Aïda Elamrani, Mohsen Alirezaei, Ginevra Castellano, Dimos V. Dimarogonas, Arabinda Ghosh, Sofie Haesaert, Sadegh Soudjani, Sybert Stroeve, Paul F. M. J. Verschure, Davide Bacciu, Ophelia Deroy, Bahador Bahrami, Claudio Gallicchio, Sabine Hauert, Ricardo Sanz, Pablo Lanillos, Giovanni Iacca, Stephan Sigg, Manel Gasulla, Luc Steels, Carles Sierra

CoRR, 2024

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics.

Maico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, Mircea Lazar, Sofie Haesaert

CoRR, 2024

2023

Convex incremental dissipativity analysis of nonlinear systems.

Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert, Roland Tóth

Autom., April, 2023

Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction.

B. C. van Huijgevoort, Siep Weiland, Sofie Haesaert

IEEE Control. Syst. Lett., 2023

A Linear Parameter-Varying Approach to Data Predictive Control.

Chris Verhoek, Julian Berberich, Sofie Haesaert, Roland Tóth, Hossam S. Abbas

CoRR, 2023

Bayesian Approach to Temporal Logic Control of Uncertain Systems.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

CoRR, 2023

Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications.

Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert

CoRR, 2023

Direct data-driven signal temporal logic control of linear systems.

Birgit van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert

CoRR, 2023

Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems.

Chris Verhoek, Julian Berberich, Sofie Haesaert, Frank Allgöwer, Roland Tóth

CoRR, 2023

Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving.

Lin-Chi Wu, Zengjie Zhang, Sofie Haesaert, Zhiqiang Ma, Zhiyong Sun

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Stochastic Model Predictive Control with Dynamic Chance Constraints.

Maico Hendrikus Wilhelmus Engelaar, Sofie Haesaert, Mircea Lazar

Proceedings of the 27th International Conference on System Theory, Control and Computing, 2023

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.

Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

SySCoRe: Synthesis via Stochastic Coupling Relations.

Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Modularized Control Synthesis for Complex Signal Temporal Logic Specifications.

Zengjie Zhang, Sofie Haesaert

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Direct Data-Driven State-Feedback Control of General Nonlinear Systems.

Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert, Roland Tóth

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

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

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Automated Formation Control Synthesis from Temporal Logic Specifications.

Shuhao Qi, Zengjie Zhang, Sofie Haesaert, Zhiyong Sun

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.

Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Abstracting Linear Stochastic Systems via Knowledge Filtering.

Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Similarity quantification for linear stochastic systems: A coupling compensator approach.

Birgit van Huijgevoort, Sofie Haesaert

Autom., 2022

Deep-Learning-Based Identification of LPV Models for Nonlinear Systems.

Chris Verhoek, Gerben Izaak Beintema, Sofie Haesaert, Maarten Schoukens, Roland Tóth

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Correct-by-Design Control of Parametric Stochastic Systems.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems.

Sofie Haesaert, Sadegh Soudjani

IEEE Trans. Autom. Control., 2021

Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems.

Sofie Haesaert, Fei Chen, Alessandro Abate, Siep Weiland

IEEE Trans. Autom. Control., 2021

Formal Multi-Objective Synthesis of Continuous-State MDPs.

Sofie Haesaert, Petter Nilsson, Sadegh Soudjani

IEEE Control. Syst. Lett., 2021

Data-Driven Predictive Control for Linear Parameter-Varying Systems.

Chris Verhoek, Hossam S. Abbas, Roland Tóth, Sofie Haesaert

CoRR, 2021

Multi-layered simulation relations for linear stochastic systems.

B. C. van Huijgevoort, Sofie Haesaert

Proceedings of the 2021 European Control Conference, 2021

Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems.

Chris Verhoek, Roland Tóth, Sofie Haesaert, Anne Koch

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

ARCH-COMP21 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration.

Takahiro Sasaki, Kyohei Otsu, Rohan Thakker, Sofie Haesaert, Ali-akbar Agha-mohammadi

IEEE Robotics Autom. Lett., 2020

Similarity quantification for linear stochastic systems as a set-theoretic control problem.

Birgit van Huijgevoort, Sofie Haesaert

CoRR, 2020

2019

Achievements in correct-by-design control for stochastic systems.

Sofie Haesaert, Sadegh Soudjani

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.

Sofie Haesaert, Rohan Thakker, Petter Nilsson, Ali-Akbar Agha-Mohammadi, Richard M. Murray

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

A separation theorem for guaranteed H2 performance through matrix inequalities.

Sofie Haesaert, Siep Weiland, Carsten W. Scherer

Autom., 2018

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.

Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames

Proceedings of the Robotics: Science and Systems XIV, 2018

Temporal logic control of general Markov decision processes by approximate policy refinement.

Sofie Haesaert, Sadegh Soudjani, Alessandro Abate

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.

Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.

Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate

SIAM J. Control. Optim., 2017

Certified policy synthesis for general Markov decision processes: An application in building automation systems.

Sofie Haesaert, Nathalie Cauchi, Alessandro Abate

Perform. Evaluation, 2017

Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations.

Fei Chen, Sofie Haesaert, Alessandro Abate, Siep Weiland

CoRR, 2017

Data-driven and model-based verification via Bayesian identification and reachability analysis.

Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate

Autom., 2017

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.

Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Data-Efficient Bayesian Verification of Parametric Markov Chains.

Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.

Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Experiment design for formal verification via stochastic optimal control.

Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate

Proceedings of the 15th European Control Conference, 2016

2015

Observer-based correct-by-design controller synthesis.

Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate

CoRR, 2015

Data-driven and model-based verification: A Bayesian identification approach.

Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Correct-by-design output feedback of LTI systems.

Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Data-driven property verification of grey-box systems by Bayesian experiment design.

Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate

Proceedings of the American Control Conference, 2015

2014

Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes.

Sofie Haesaert, Robert Babuska, Alessandro Abate

CoRR, 2014

Multi-agent discrete-time graphical games and reinforcement learning solutions.

Mohammed I. Abouheaf, Frank L. Lewis, Kyriakos G. Vamvoudakis, Sofie Haesaert, Robert Babuska

Autom., 2014

Approximate and Reinforcement Learning techniques to solve non-convex Economic Dispatch problems.

Mohammed I. Abouheaf, Sofie Haesaert, Wei-Jen Lee, Frank L. Lewis

Proceedings of the IEEE 11th International Multi-Conference on Systems, Signals & Devices, 2014

2013

Multi-agent discrete-time graphical games: interactive Nash equilibrium and value iteration solution.

Mohammed I. Abouheaf, Frank L. Lewis, Sofie Haesaert, Robert Babuska, Kyriakos G. Vamvoudakis

Proceedings of the American Control Conference, 2013