Publications

@article{Aut2020Gleizer,

title = {Self-triggered output-feedback control of LTI systems subject to disturbances and noise.},

author = {Gabriel de A. Gleizer and Manuel {Mazo Jr.}},

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

https://research.tudelft.nl/files/81771634/1_s2.0_S0005109820303277_main.pdf

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

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

doi = {10.1016/j.automatica.2020.109129},

issn = {0005-1098},

year  = {2020},

date = {2020-10-01},

urldate = {2020-10-01},

journal = {Automatica},

volume = {120},

abstract = {Self-triggered control (STC) and periodic event-triggered control (PETC) are aperiodic sampling techniques aiming at reducing control data communication when compared to periodic sampling. In both techniques, the effects of measurement noise in continuous-time systems with output feedback are unaddressed. In this work we prove that additive noise does not hinder stability of output-feedback PETC of linear time-invariant (LTI) systems. Then we build an STC strategy that estimates PETC's worst-case triggering times. To accomplish this, we use set-based methods, more specifically ellipsoidal sets, which describe uncertainties on state, disturbances and noise. Ellipsoidal reachability is then used to predict worst-case triggering condition violations, ultimately determining the next communication time. The ellipsoidal state estimate is recursively updated using guaranteed state estimation (GSE) methods. The proposed STC is designed to be computationally tractable at the expense of some added conservatism. It is expected to be a practical STC implementation for a broad range of applications.},

keywords = {Formal methods, NCS, SENTIENT},

pubstate = {published},

tppubtype = {article}

}

@article{LCSS20Gleizer,

title = {Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers},

author = {Gabriel de A. Gleizer and Manuel {Mazo Jr.}},

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

https://arxiv.org/abs/2005.14504

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

doi = {10.1109/LCSYS.2020.2999177},

isbn = {2475-1456},

year  = {2020},

date = {2020-06-01},

urldate = {2020-06-01},

journal = {IEEE Control Systems Letters},

volume = {5},

number = {1},

pages = {25--30},

abstract = {We provide a method to construct finite abstractions exactly bisimilar to linear systems under a modified periodic event-triggered control (PETC), when considering as output the inter-event times they generate. Assuming that the initial state lies on a known compact set, these finite-state models can exactly predict all sequences of sampling times until a specified Lyapunov sublevel set is reached. Based on these results, we provide a way to build tight models simulating the traffic of conventional PETC. These models allow computing tight bounds of the PETC average frequency and global exponential stability (GES) decay rate. Our results are demonstrated through a numerical case study.},

note = {Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.},

keywords = {Formal methods, NCS, SENTIENT},

pubstate = {published},

tppubtype = {article}

}

@article{delimpaltadakis2019isochronousb,

title = {Isochronous Partitions for Region-Based Self-Triggered Control},

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

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

https://arxiv.org/abs/1904.08788

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

doi = {10.1109/TAC.2020.2994020},

issn = {1558-2523},

year  = {2020},

date = {2020-05-11},

journal = {IEEE Transactions on Automatic Control},

pages = {1-1},

keywords = {Formal methods, NCS, SENTIENT},

pubstate = {published},

tppubtype = {article}

}

@article{proskurnikov2019lyapunovbc,

title = {Lyapunov Event-triggered Stabilization with a Known Convergence Rate},

author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},

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

https://arxiv.org/abs/1803.08980

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

doi = {10.1109/TAC.2019.2907435},

issn = {0018-9286},

year  = {2020},

date = {2020-02-02},

urldate = {2019-04-02},

journal = {IEEE Transactions on Automatic Control},

volume = {65},

number = {2},

pages = {507--521},

abstract = {A constructive tool of nonlinear control system design, the method of control Lyapunov functions (CLFs), has found numerous applications in stabilization problems for continuous-time, discrete-time, and hybrid systems. In this paper, we address the fundamental question: Given a CLF, corresponding to a continuous-time controller with some predefined (e.g., exponential) convergence rate, can the same convergence rate be provided by an event-triggered controller? Under certain assumptions, we give an affirmative answer to this question and show that the corresponding event-based controllers provide positive dwell times between consecutive events. Furthermore, we prove the existence of self-triggered and periodic event-triggered controllers, providing stabilization with a known convergence rate.},

keywords = {IAVTRM, NCS},

pubstate = {published},

tppubtype = {article}

}

@article{fu2018trafficb,

title = {Traffic Models of Periodic Event-Triggered Control Systems},

author = {Anqi Fu and Manuel {Mazo Jr.}},

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

https://arxiv.org/abs/1711.03599

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

doi = {10.1109/TAC.2018.2879763},

year  = {2019},

date = {2019-08-01},

journal = {IEEE Transactions on Automatic Control},

volume = {64},

number = {8},

pages = {3453 - 3460},

publisher = {IEEE},

keywords = {Formal methods, NCS, SENTIENT},

pubstate = {published},

tppubtype = {article}

}

@article{fu2018decentralizedb,

title = {Decentralized periodic event-triggered control with quantization and asynchronous communication},

author = {Anqi Fu and Manuel {Mazo Jr.}},

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

https://arxiv.org/abs/1703.10073

https://www.sciencedirect.com/science/article/pii/S0005109818302309},

doi = {doi.org/10.1016/j.automatica.2018.04.045},

year  = {2018},

date = {2018-05-29},

journal = {Automatica},

volume = {94},

pages = {294--299},

publisher = {Elsevier},

keywords = {NCS},

pubstate = {published},

tppubtype = {article}

}

@article{kartakis2017communicationb,

title = {Communication schemes for centralized and decentralized event-triggered control systems},

author = {Sokratis Kartakis and Anqi Fu and Manuel {Mazo Jr.} and Julie A McCann},

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

https://arxiv.org/abs/1611.04366

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

doi = {10.1109/TCST.2017.2753166},

year  = {2017},

date = {2017-10-06},

journal = {IEEE Transactions on Control Systems Technology},

volume = {26},

number = {6},

pages = {2035-2048},

publisher = {IEEE},

keywords = {NCS},

pubstate = {published},

tppubtype = {article}

}

@article{zamani2017symbolicb,

title = {Symbolic abstractions of networked control systems},

author = {Majid Zamani and Manuel {Mazo Jr.} and Mahmoud Khaled and Alessandro Abate},

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

https://arxiv.org/abs/1401.6396

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

doi = {10.1109/TCNS.2017.2739645},

issn = {2325-5870},

year  = {2017},

date = {2017-08-14},

journal = {IEEE Transactions on Control of Network Systems},

volume = {5},

number = {4},

pages = {1622-1634},

publisher = {IEEE},

keywords = {Formal methods, NCS},

pubstate = {published},

tppubtype = {article}

}