Publications

@inproceedings{zhang2017absoluteb,

title = {Absolute Stabilization of Lur’e Systems Under Event-Triggered Feedback},

author = {Fan Zhang and Manuel {Mazo Jr.} and Nathan van de Wouw},

url = {https://pure.tudelft.nl/ws/portalfiles/portal/51342466/root.pdf

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

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

year  = {2017},

date = {2017-07-03},

booktitle = {20th IFAC World Congress},

journal = {IFAC-PapersOnLine},

volume = {50},

number = {1},

pages = {15301--15306},

publisher = {Elsevier},

series = {IFAC-PapersOnLine},

keywords = {NCS},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{proskurnikov2017simplebb,

title = {Simple synchronization protocols for heterogeneous networks: beyond passivity},

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

url = {https://pure.tudelft.nl/ws/portalfiles/portal/74219018/1_s2.0_S2405896317320335_main.pdf

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

},

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

year  = {2017},

date = {2017-07-01},

booktitle = {20th IFAC World Congress},

journal = {IFAC-PapersOnLine},

volume = {50},

number = {1},

pages = {9426--9431},

publisher = {Elsevier},

series = {IFAC-PapersOnLine},

keywords = {IAVTRM, NCS},

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}

}

@inproceedings{zamani2016schedulingb,

title = {Scheduling of controllers’ update-rates for residual bandwidth utilization},

author = {Majid Zamani and Soumyajit Dey and Sajid Mohamed and Pallab Dasgupta and Manuel {Mazo Jr.}},

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

https://link.springer.com/chapter/10.1007/978-3-319-44878-7_6},

doi = {10.1007/978-3-319-44878-7_6},

year  = {2016},

date = {2016-08-17},

booktitle = {International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016)},

volume = {9884},

pages = {85--101},

organization = {Springer, Cham},

series = {LNCS},

keywords = {NCS},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{kolarijani2016timingb,

title = {Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism},

author = {Arman Sharifi-Kolarijani and Manuel {Mazo Jr.} and Tamás Keviczky},

year  = {2016},

date = {2016-01-01},

booktitle = {2016 IEEE 55th Conference on Decision and Control (CDC)},

pages = {1364--1369},

organization = {IEEE},

keywords = {Formal methods, NCS},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{fu2016periodicb,

title = {Periodic asynchronous event-triggered control},

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

year  = {2016},

date = {2016-01-01},

booktitle = {2016 IEEE 55th Conference on Decision and Control (CDC)},

pages = {1370--1375},

organization = {IEEE},

keywords = {NCS},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{fu2016improvedb,

title = {Improved asynchronous event-triggered control for linear systems with performance guarantees},

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

year  = {2016},

date = {2016-01-01},

booktitle = {2016 European Control Conference (ECC)},

pages = {995--1000},

organization = {IEEE},

keywords = {NCS},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{fu2015advancesb,

title = {Advances on asynchronous event-triggered control},

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

year  = {2015},

date = {2015-01-01},

booktitle = {2015 International Conference on Event-based Control, Communication, and Signal Processing (EBCCSP)},

pages = {1--4},

organization = {IEEE},

keywords = {NCS},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{kolarijani2015symbolicb,

title = {Symbolic abstractions for the scheduling of event-triggered control systems},

author = {Arman Sharifi-Kolarijani and Dieky Adzkiya and Manuel {Mazo Jr.}},

year  = {2015},

date = {2015-01-01},

booktitle = {2015 54th IEEE Conference on Decision and Control (CDC)},

pages = {6153--6158},

organization = {IEEE},

keywords = {Formal methods, NCS},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{santos2015aperiodicc,

title = {Aperiodic consensus control for tracking nonlinear trajectories of a platoon of vehicles},

author = {Carlos Santos and Felipe Espinosa and Enrique Santiso and Miguel Martín and Manuel {Mazo Jr.}},

year  = {2015},

date = {2015-01-01},

booktitle = {2015 IEEE 18th International Conference on Intelligent Transportation Systems},

pages = {1983--1988},

organization = {IEEE},

keywords = {NCS, Robotics},

pubstate = {published},

tppubtype = {inproceedings}

}