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
Tijdschriftartikel
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
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., 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
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
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
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

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
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