Publications

@inproceedings{delimpaltadakis2023interval,

title = {Interval Markov Decision Processes with Continuous Action-Spaces},

author = { Giannis Delimpaltadakis and Morteza Lahijanian and Manuel Mazo Jr. and Luca Laurenti},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control},

pages = {1–10},

keywords = {Formal methods, SENTIENT, Stochastic},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gracia2023distributionally,

title = {Distributionally robust strategy synthesis for switched stochastic systems},

author = { Ibon Gracia and Dimitris Boskos and Luca Laurenti and Manuel Mazo Jr.},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control},

pages = {1–10},

keywords = {Formal methods, Stochastic},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DelimpaltadakisCDC21,

title = {Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems},

author = {Giannis Delimpaltadakis and Luca Laurenti and Manuel {Mazo Jr.}},

url = {https://ieeexplore.ieee.org/document/9683751

https://arxiv.org/abs/2103.13839},

doi = {10.1109/CDC45484.2021.9683751},

isbn = {978-1-6654-3659-5},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

booktitle = {Proceedings of the 60th IEEE Conference on Decision and Control (CDC 2021)},

pages = {1287--1294},

publisher = {IEEE},

address = {United States},

abstract = {Recently, there have been efforts towards understanding the sampling behaviour of event-triggered control (ETC), for obtaining metrics on its sampling performance and predicting its sampling patterns. Finite-state abstractions, capturing the sampling behaviour of ETC systems, have proven promising in this respect. So far, such abstractions have been constructed for non-stochastic systems. Here, inspired by this framework, we abstract the sampling behaviour of stochastic narrow-sense linear periodic ETC (PETC) systems via Interval Markov Chains (IMCs). Particularly, we define functions over sequences of state-measurements and interevent times that can be expressed as discounted cumulative sums of rewards, and compute bounds on their expected values by constructing appropriate IMCs and equipping them with suitable rewards. Finally, we argue that our results are extendable to more general forms of functions, thus providing a generic framework to define and study various ETC sampling indicators.},

note = {60th IEEE Conference on Decision and Control (CDC 2021) ; Conference date: 14-12-2021 Through 17-12-2021},

keywords = {Formal methods, NCS, SENTIENT, Stochastic},

pubstate = {published},

tppubtype = {inproceedings}

}