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
6 Downloads (Pure)

The smart carrier: design of a novel approach to the next generation of line sorters

Alosta, M., 23 okt 2019, Eindhoven: Technische Universiteit Eindhoven. 70 blz.

Onderzoeksoutput: ScriptiePd Eng Thesis

Open Access
Bestand
2018
2 Citaties (Scopus)
2 Downloads (Pure)

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)
1 Downloads (Pure)

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
3 Citaties (Scopus)
2 Downloads (Pure)

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
2 Citaties (Scopus)
1 Downloads (Pure)

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
62 Downloads (Pure)

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
5 Citaties (Scopus)
1 Downloads (Pure)

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
75 Downloads (Pure)

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
1 Downloads (Pure)

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
545 Downloads (Pure)

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)

Open Access
Bestand
4 Citaties (Scopus)
4 Downloads (Pure)

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
19 Downloads (Pure)

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
9 Citaties (Scopus)
1 Downloads (Pure)

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
7 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
4 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)
28 Downloads (Pure)

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
3 Downloads (Pure)

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
101 Downloads (Pure)

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)
1 Downloads (Pure)

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
7 Citaties (Scopus)
1 Downloads (Pure)

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
45 Downloads (Pure)

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)
2 Downloads (Pure)

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
79 Citaties (Scopus)
226 Downloads (Pure)

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
40 Downloads (Pure)

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)
6 Downloads (Pure)

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