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

Filter
Conferentiebijdrage
2017
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
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
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
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
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
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