E-LIB Suche - Ergebnisse für: Haesaert, S.

1

Formal control synthesis via simulation relations and behav..:

Haesaert, S ; Chen, F ; Abate, A.
doi:10.1109/TAC.2020.2992443. , 2021

Link: https://doi.org/10.1109/..

2

Multi-layered simulation relations for linear stochastic sy..:

van Huijgevoort, B. C ; Haesaert, S
http://arxiv.org/abs/2104.00625. , 2021

Link: http://arxiv.org/abs/210..

3

Similarity quantification for linear stochastic systems as ..:

van Huijgevoort, B.C ; Haesaert, S
van Huijgevoort , B C & Haesaert , S 2020 , ' Similarity quantification for linear stochastic systems as a set-theoretic control problem ' , arXiv , vol. 2020 , 2007.09052 .. , 2020

Link: https://research.tue.nl/..

4

Similarity quantification for linear stochastic systems: A ..:

van Huijgevoort, B. C ; Haesaert, S
http://arxiv.org/abs/2007.09052. , 2020

Link: http://arxiv.org/abs/200..

5

Verification of general Markov decision processes by approx..:

Haesaert, S ; Soudjani, SE ; Abate, A
doi:10.1137/16m1079397. , 2019

Link: https://doi.org/10.1137/..

6

Temporal Logic Control of POMDPs via Label-based Stochastic..:

Haesaert, S ; Nilsson, P ; Vasile, C. I...
https://doi.org/10.1016/j.ifacol.2018.08.046. , 2018

Link: https://doi.org/10.1016/..

7

Temporal logic control of POMDPs via label-based stochastic..:

Haesaert, S ; Nilsson, P ; Vasile, C. I...
Haesaert , S , Nilsson , P , Vasile , C I , Thakker , R , Agha-mohammadi , A , Ames , A D & Murray , R M 2018 , ' Temporal logic control of POMDPs via label-based stochastic simulation relations ' , IFAC-PapersOnLine , vol. 51 , no. 16 , pp. 271-276 . https://doi.org/10.1016/j.ifacol.2018.08.046. , 2018

Link: https://research.tue.nl/..

8

Data-driven and model-based verification via Bayesian ident..:

Haesaert, S ; Van den Hof, P ; Abate, A
doi:10.1016/j.automatica.2017.01.037. , 2017

Link: https://doi.org/10.1016/..

9

Data-driven and model-based methods for verification and co..:

Haesaert, S
Haesaert , S 2017 , ' Data-driven and model-based methods for verification and control of physical systems ' , Doctor of Philosophy , Electrical Engineering , Eindhoven .. , 2017

Link: https://research.tue.nl/..

10

Automated experiment design for data-efficient verification..:

Polgreen, E ; Wijesuriya, V ; Haesaert, S.
Polgreen , E , Wijesuriya , V , Haesaert , S & Abate , A 2017 , ' Automated experiment design for data-efficient verification of parametric Markov decision processes ' , arXiv.org, e-Print Archive, Physics , no. 1707.01322v1 , 1707.01322 .. , 2017

Link: https://research.tue.nl/..

11

Experiment design for formal verification via stochastic op..:

Abate, A ; Haesaert, S ; Van den Hof, P
doi:10.1109/ECC.2016.7810322. , 2017

Link: https://doi.org/10.1109/..

12

Control refinement for discrete-time descriptor systems:a b..:

Chen, F ; Haesaert, S ; Abate, A.
Chen , F , Haesaert , S , Abate , A & Weiland , S 2017 , ' Control refinement for discrete-time descriptor systems : a behavioural approach via simulation relations ' , arXiv.org, e-Print Archive, Physics , no. 1704.01672 , 1704.01672 .. , 2017

Link: https://research.tue.nl/..

13

Control refinement for discrete-time descriptor systems:a b..:

Chen, F ; Haesaert, S ; Abate, A.
Chen , F , Haesaert , S , Abate , A & Weiland , S 2017 , ' Control refinement for discrete-time descriptor systems : a behavioural approach via simulation relations ' , IFAC-PapersOnLine , vol. 50 , no. 1 , pp. 15822-15827 . https://doi.org/10.1016/j.ifacol.2017.08.2326. , 2017

Link: https://research.tue.nl/..

14

Verification of general Markov decision processes by approx..:

Haesaert, S ; Soudjani, S. Esmaeil Zadeh ; Abate, A
http://arxiv.org/abs/1605.09557. , 2016

Link: http://arxiv.org/abs/160..

15

Data-efficient Bayesian verification of parametric Markov c..:

Polgreen, E ; Wijesuriya, V ; Haesaert, S.
doi:10.1007/978-3-319-43425-4_3. , 2016

Link: https://doi.org/10.1007/..