Formal methods for control of cyber-physical systems

  • Groene Loper 19, Flux

    5612 AP Eindhoven

    Nederland

  • P.O. Box 513, Department of Electrical Engineering

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput 2013 2019

2019
2018
2 Citaties (Scopus)

A separation theorem for guaranteed H2 performance through matrix inequalities

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

State estimation
Linear matrix inequalities
State feedback
Feedback
Controllers
2 Citaties (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, blz. 73-78 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Temporal logic
Dynamical systems
Controllers
2 Citaties (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, blz. 271-276 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Temporal logic
Labels
Specifications
Controllers
2017

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 blz., 1707.01322

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
Experiments
1 Citaat (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. (redactie). Dordrecht: Springer, blz. 259-274 16 blz. (Lecture Notes in Computer Science; vol. 10503)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Markov Decision Process
Experiment
Experiments
Confidence
Design
5 Citaties (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, blz. 75-103 29 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 15822-15827 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftCongresartikelAcademicpeer 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 blz., 1704.01672

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
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 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)Academic

Open Access
Bestand
4 Citaties (Scopus)

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

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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 blz., 1712.07622v1

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
Temporal logic
Controllers
8 Citaties (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, blz. 2333-2367 35 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Similarity Relation
Markov Decision Process
Refinement
Metric
Output
2016
6 Citaties (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, blz. 6159-6164 6 blz. 7403188

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Output Feedback
Controller Design
Linear Time
Feedback
Controllers
2 Citaties (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. (redactie). Dordrecht: Springer, blz. 35-51 (Lecture Notes in Computer Science; vol. 9826)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaties (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, blz. 427-432

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

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

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
Probability distributions
2 Citaties (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. (redactie). Dordrecht: Springer, blz. 227-243 (Lecture Notes in Computer Science; vol. 9826)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
Identification (control systems)
Temporal logic
Formal verification
5 Citaties (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, blz. 6830-6835

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Identification (control systems)
Temporal logic
Formal verification
6 Citaties (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, blz. 1800-1805 6 blz. 7170994

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
Controllers
Intelligent buildings
Sensors
2014
5 Citaties (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, blz. 1-8

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Reinforcement learning
Economics
Constrained optimization
Power transmission
Cost functions
73 Citaties (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, blz. 3038-3053

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
Markov processes
Approximation algorithms
Sampling
Specifications
Hinges
2013
11 Citaties (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, blz. 4189-4195

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Hamiltonians
Game theory
Reinforcement learning
Control theory
Mechanics