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