Publications

@inproceedings{ICONS19Cees,

title = {Near Optimal Control With Reachability and Safety Guarantees},

author = {Cees F Verdier and Robert Babuska and Barys Shyrokau and Manuel {Mazo Jr.} },

url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/Near_optimal_control_preprint.pdf

https://www.sciencedirect.com/science/article/pii/S2405896319307761?via%3Dihub

},

doi = {10.1016/j.ifacol.2019.09.146},

issn = {2405-8963},

year  = {2019},

date = {2019-10-29},

urldate = {2019-10-29},

booktitle = { 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), 2019},

volume = {52},

number = {11},

pages = {230--235},

series = {IFAC-PapersOnLine},

keywords = {CADUSY, Formal methods},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{verdier2018formalb,

title = {Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming},

author = {Cees F Verdier and Manuel {Mazo Jr.}},

url = {https://pure.tudelft.nl/ws/portalfiles/portal/81770552/08619121.pdf

https://arxiv.org/abs/1812.02711

https://ieeexplore.ieee.org/document/8619121},

doi = {10.1109/CDC.2018.8619121},

isbn = {978-1-5386-1395-5},

year  = {2018},

date = {2018-12-17},

booktitle = {57th IEEE Conference on Decision and Control (CDC 2018)},

pages = {4896--4901},

organization = {IEEE},

keywords = {CADUSY, Formal methods},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{zapreev2018optimalb,

title = {Optimal Symbolic Controllers Determinization for BDD storage},

author = {Ivan S Zapreev and Cees F Verdier and Manuel {Mazo Jr.}},

url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/adhs18.pdf

https://arxiv.org/abs/1803.07369

https://www.sciencedirect.com/science/article/pii/S2405896318311145?via%3Dihub

},

doi = {10.1016/j.ifacol.2018.08.001},

year  = {2018},

date = {2018-08-31},

booktitle = {6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018},

journal = {IFAC-PapersOnLine},

volume = {51},

number = {16},

pages = {1--6},

publisher = {Elsevier},

keywords = {CADUSY, Formal methods},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{verdier2017formalb,

title = {Formal controller synthesis via genetic programming},

author = {Cees F Verdier and Manuel {Mazo Jr.}},

url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/1-s2.0-S2405896317318979-main.pdf

https://www.sciencedirect.com/science/article/pii/S2405896317318979?via%3Dihub},

doi = {10.1016/j.ifacol.2017.08.1362},

year  = {2017},

date = {2017-07-01},

booktitle = {20th IFAC World Congress},

journal = {IFAC-PapersOnLine},

volume = {50},

number = {1},

pages = {7205--7210},

publisher = {Elsevier},

series = {IFAC-PapersOnLine},

keywords = {CADUSY, Formal methods},

pubstate = {published},

tppubtype = {inproceedings}

}