If you made any changes in Pure these will be visible here soon.

Research Output 2013 2019

  • 129 Citations
  • 14 Article
  • 10 Conference contribution
  • 1 Conference article
  • 1 Phd Thesis 1 (Research TU/e / Graduation TU/e)
2019

Achievements in correct-by-design control for stochastic systems

Haesaert, S. & Soudjani, S., 15 Apr 2019, SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. Ramachandran, G. S. & Ortiz, J. (eds.). New York: Association for Computing Machinery, Inc, 4 p. 3313368

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Stochastic systems
Control Design
Stochastic Systems
Synthesis
Controller
2018
1 Citation (Scopus)

A separation theorem for guaranteed H2 performance through matrix inequalities

Haesaert, S., Weiland, S. & Scherer, C. W., 1 Oct 2018, In : Automatica. 96, 306-313, p. 306-313 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

State estimation
Linear matrix inequalities
State feedback
Feedback
Controllers
1 Citation (Scopus)

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

Haesaert, S., Soudjani, S. & Abate, A., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 73-78 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Temporal logic
Dynamical systems
Controllers
2 Citations (Scopus)

Temporal logic control of POMDPs via label-based stochastic simulation relations

Haesaert, S., Nilsson, P., Vasile, C. I., Thakker, R., Agha-mohammadi, A., Ames, A. D. & Murray, R. M., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 271-276 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Temporal logic
Labels
Specifications
Controllers
2017
1 Citation (Scopus)

Automated experiment design for data-efficient verification of parametric Markov decision processes

Polgreen, E., Wijesuriya, V. B., Haesaert, S. & Abate, A., 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Bertrand, N. & Bortolussi, L. (eds.). Dordrecht: Springer, p. 259-274 16 p. (Lecture Notes in Computer Science; vol. 10503)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Markov Decision Process
Experiment
Experiments
Confidence
Design

Automated experiment design for data-efficient verification of parametric Markov decision processes

Polgreen, E., Wijesuriya, V., Haesaert, S. & Abate, A., 5 Jul 2017, In : arXiv.org, e-Print Archive, Physics. 1707.01322v1, 18 p., 1707.01322

Research output: Contribution to journalArticleAcademic

Open Access
File
Experiments
5 Citations (Scopus)

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

Haesaert, S., Cauchi, N. & Abate, A., 1 Dec 2017, In : Performance Evaluation. 117, p. 75-103 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

Markov Decision Process
Similarity Relation
Automation
Synthesis
Control Strategy

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

Chen, F., Haesaert, S., Abate, A. & Weiland, S., 1 Jul 2017, In : IFAC-PapersOnLine. 50, 1, p. 15822-15827 6 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
Difference equations

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

Chen, F., Haesaert, S., Abate, A. & Weiland, S., 6 Apr 2017, In : arXiv.org, e-Print Archive, Physics. 1704.01672 , 8 p., 1704.01672

Research output: Contribution to journalArticleAcademic

Open Access
File
Difference equations

Data-driven and model-based methods for verification and control of physical systems

Haesaert, S., 16 Feb 2017, Eindhoven: Technische Universiteit Eindhoven. 235 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
4 Citations (Scopus)

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

Haesaert, S., van den Hof, P. M. J. & Abate, A., 1 May 2017, In : Automatica. 79, p. 115-126 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Identification (control systems)
Temporal logic
Dynamical systems
Formal verification

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

Haesaert, S., Soudjani, S. & Abate, A., 20 Dec 2017, In : arXiv.org, e-Print Archive, Physics. 2017, 23 p., 1712.07622v1

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Temporal logic
Controllers
7 Citations (Scopus)

Verification of general Markov decision processes by approximate similarity relations and policy refinement

Haesaert, S., Esmaeil, S., Soudjani, S. & Abate, A., 2017, In : SIAM Journal on Control and Optimization. 55, 4, p. 2333-2367 35 p.

Research output: Contribution to journalArticleAcademicpeer-review

Similarity Relation
Markov Decision Process
Refinement
Metric
Output
2016
6 Citations (Scopus)

Correct-by-design output feedback of LTI systems

Haesaert, S., Abate, A. & van den Hof, P. M. J., 8 Feb 2016, Proceedings of the Conference on Decision and Control, 15-18 December 2015, Osaka, Japan. Piscataway: Institute of Electrical and Electronics Engineers, p. 6159-6164 6 p. 7403188

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Output Feedback
Controller Design
Linear Time
Feedback
Controllers
1 Citation (Scopus)

Data-efficient Bayesian verification of parametric Markov chains

Polgreen, E., Wijesuriya, V. B., Haesaert, S. & Abate, A., 2016, Quantitative Evaluation of Systems, QEST 2016: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Agha, G. & Van Houdt, B. (eds.). Dordrecht: Springer, p. 35-51 (Lecture Notes in Computer Science; vol. 9826)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Experiment design for formal verification via stochastic optimal control.

Haesaert, S., Van den Hof, P. M. J. & Abate, A., 2016, 2016 European Control Conference (ECC), 29 June - 1 July 2016, Aalborg, Denmark. Piscataway: Institute of Electrical and Electronics Engineers, p. 427-432

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Linear control systems
Dynamic programming
Design of experiments
Identification (control systems)
Dynamical systems
5 Citations (Scopus)

Verification of general Markov decision processes by approximate similarity relations and policy refinement

Haesaert, S., Esmaeil, S., Soudjani, S. & Abate, A., 31 May 2016, In : arXiv.org, e-Print Archive, Physics. p. 1-36 1605.09557v1

Research output: Contribution to journalArticleAcademic

Open Access
File
Probability distributions
2 Citations (Scopus)

Verification of general Markov decision processes by approximate similarity relations and policy refinement

Haesaert, S., Abate, A. & Van den Hof, P. M. J., 2016, Quantitative evaluation of systems, QEST 2016: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Agha, G. & Van Houdt, B. (eds.). Dordrecht: Springer, p. 227-243 (Lecture Notes in Computer Science; vol. 9826)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2015

Data-driven and Model-based Verification: a Bayesian Identification Approach

Haesaert, S., Van den Hof, P. M. J. & Abate, A., 10 Sep 2015, In : arXiv.org, e-Print Archive, Physics. abs/1509.03347

Research output: Contribution to journalArticleAcademic

Open Access
File
Identification (control systems)
Temporal logic
Formal verification
5 Citations (Scopus)

Data-driven and model-based verification: a Bayesian identification approach

Haesaert, S., van den Hof, P. M. J. & Abate, A., 1 Sep 2015, Proceedings of the Conference on Decision and Control, 15-18 December 2015, Osaka, Japan. Piscataway: Institute of Electrical and Electronics Engineers, p. 6830-6835

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Identification (control systems)
Temporal logic
Formal verification
6 Citations (Scopus)

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

Haesaert, S., Van den Hof, P. M. J. & Abate, A., 28 Jul 2015, Proceedings of the American Control Conference (ACC2015), 1-3 July 2015, Chicago, USA. Piscataway: Institute of Electrical and Electronics Engineers, p. 1800-1805 6 p. 7170994

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Dynamical systems
Experiments

Observer-based correct-by-design controller synthesis

Haesaert, S., Van den Hof, P. & Abate, A. A., 11 Sep 2015, In : arXiv.org, e-Print Archive, Physics. abs/1509.03427

Research output: Contribution to journalArticleAcademic

Open Access
File
Controllers
Intelligent buildings
Sensors
2014
5 Citations (Scopus)

Approximate and reinforcement learning techniques to solve non-convex economic dispatch problems

Abouheaf, M., Haesaert, S., Lee, W-J. & Lewis, F. L., 2014, Proceedings of the 11th International Multi-Conference on Systems, Signals and devices (SSD 2014), 11-14 February 2014, Barcelona, Spain. Institute of Electrical and Electronics Engineers, p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Reinforcement learning
Economics
Constrained optimization
Power transmission
Cost functions
65 Citations (Scopus)

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

Abouheaf, M., Lewis, F. L., Vamvoudakis, K. G., Haesaert, S. & Babuska, R., 2014, In : Automatica. 50, 12, p. 3038-3053

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Reinforcement learning
Hamiltonians
Game theory
Control theory
Synchronization

Sampling-based approximations with quantitative performance for the probabilistic reach-avoid problem over general Markov processes

Haesaert, S., Babuska, R. & Abate, A. A., 1 Sep 2014, In : arXiv.org, e-Print Archive, Physics. abs/1409.0553

Research output: Contribution to journalArticleAcademic

Open Access
File
Markov processes
Approximation algorithms
Sampling
Specifications
Hinges
2013
11 Citations (Scopus)

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

Abouheaf, M., Lewis, F. L., Haesaert, S., Babuska, R. & Vamvoudakis, K. G., 2013, 2013 ACC conference, 17-19 June 2013, Wahington D.C.. Piscataway: Institute of Electrical and Electronics Engineers, p. 4189-4195

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hamiltonians
Game theory
Reinforcement learning
Control theory
Mechanics