@article{adams2023self,
title = {A self-guided approach for navigation in a minimalistic foraging robotic swarm},
author = { Steven Adams and Daniel Jarne Ornia and Manuel Mazo Jr.},
year  = {2023},
date = {2023-01-01},
urldate = {2023-01-01},
journal = {Autonomous Robots},
pages = {1–16},
publisher = {Springer US New York},
keywords = {Robotics, SCARS},
pubstate = {published},
tppubtype = {article}
}
@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}
}
@article{coppola2023data,
title = {Data-driven abstractions for verification of deterministic systems},
author = { Rudi Coppola and Andrea Peruffo and Manuel Mazo Jr.},
year  = {2023},
date = {2023-01-01},
urldate = {2023-01-01},
journal = {IEEE Control Systems Letters (To appear)},
keywords = {Formal methods, Learning},
pubstate = {published},
tppubtype = {article}
}
@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{peruffo2023poster,
title = {Poster: Convex Scenario Optimisation for ReLU Networks},
author = { Andrea Peruffo 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–2},
keywords = {Learning},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{krishna2023non,
title = {From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers},
author = { Shankara Narayanan Krishna and Khushraj Madnani and Manuel Mazo Jr. and Paritosh Pandya},
year  = {2023},
date = {2023-01-01},
urldate = {2023-01-01},
journal = {Formal Aspects of Computing},
volume = {35},
number = {2},
pages = {1–50},
publisher = {ACM New York, NY},
keywords = {Formal methods, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
@article{VerdierAlthof22,
title = {Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications},
author = {Cees Ferdinand Verdier and Niklas Kochdumper and Matthias Althoff and Manuel {Mazo Jr.}},
url = {https://www.sciencedirect.com/science/article/pii/S0005109822000292
https://arxiv.org/abs/2006.04260},
doi = {10.1016/j.automatica.2022.110184},
issn = {0005-1098},
year  = {2022},
date = {2022-01-01},
urldate = {2022-01-01},
journal = {Automatica},
volume = {139},
publisher = {Elsevier},
abstract = {We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications over finite-time trajectories. Rather than stating the STL specification for a single initial condition, we consider an (infinite and bounded) set of initial conditions. Candidate solutions are proposed using genetic programming, which evolves controllers based on a finite number of simulations. Subsequently, the best candidate is verified using reachability analysis; if the candidate solution does not satisfy the specification, an initial condition violating the specification is extracted as a counterexample. Based on this counterexample, candidate solutions are refined until eventually a solution is found (or a user-specified number of iterations is met). The resulting sampled-data controller is expressed as a closed-form expression, enabling both interpretability and the implementation in embedded hardware with limited memory and computation power. The effectiveness of our approach is demonstrated for multiple systems.},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {article}
}
@inproceedings{ornia2022event,
title = {Event-Based Communication in Distributed Q-Learning},
author = { Daniel Jarne Ornia and Manuel Mazo Jr.},
year  = {2022},
date = {2022-01-01},
urldate = {2022-01-01},
booktitle = {2022 IEEE 61st Conference on Decision and Control (CDC)},
pages = {2379–2386},
organization = {IEEE},
keywords = {Learning, Robotics, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{gleizer2022chaos,
title = {Chaos and order in event-triggered control},
author = { Gabriel de Albuquerque Gleizer and Manuel Mazo Jr.},
doi = {10.1109/TAC.2023.3242334},
year  = {2022},
date = {2022-01-01},
urldate = {2022-01-01},
journal = {IEEE Transactions on Automatic Control},
pages = {1-16},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
@inproceedings{jarne2022robust,
title = {Robust Event-Driven Interactions in Cooperative Multi-agent Learning},
author = { Daniel Jarne Ornia and Manuel Mazo Jr.},
year  = {2022},
date = {2022-01-01},
urldate = {2022-01-01},
booktitle = {International Conference on Formal Modeling and Analysis of Timed Systems},
pages = {281–297},
organization = {Springer International Publishing Cham},
keywords = {Learning, Robotics, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{peruffo2022data,
title = {Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems},
author = { Andrea Peruffo and Manuel Mazo Jr.},
year  = {2022},
date = {2022-01-01},
urldate = {2022-01-01},
journal = {IEEE Control Systems Letters},
volume = {7},
pages = {115–120},
publisher = {IEEE},
keywords = {Formal methods, Learning, NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
@article{delimpaltadakis2022abstracting,
title = {Abstracting the Traffic of Nonlinear Event-Triggered Control Systems},
author = { Giannis Delimpaltadakis and Manuel Mazo Jr.},
year  = {2022},
date = {2022-01-01},
urldate = {2022-01-01},
journal = {IEEE Transactions on Automatic Control},
publisher = {IEEE},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
@article{TCPS22,
title = {The Wireless Control Bus: Enabling Efficient Multi-Hop Event-Triggered Control with Concurrent Transmissions},
author = {Matteo Trobinger and Gabriel de A. Gleizer and Timofei Istomin and Manuel {Mazo Jr.} and Amy L. Murphy and Gian Pietro Picco},
url = {https://pure.tudelft.nl/ws/portalfiles/portal/112367363/3485467.pdf
https://dl.acm.org/doi/10.1145/3485467
https://arxiv.org/abs/2101.10961},
doi = {10.1145/3485467},
issn = {2378-962X},
year  = {2021},
date = {2021-11-23},
urldate = {2022-01-01},
journal = {ACM Transactions on Cyber-Physical Systems},
volume = {6},
number = {1},
publisher = {Ässociation for Computing Machinery (ACM)},
abstract = {Event-triggered control (ETC) holds the potential to significantly improve the efficiency of wireless networked control systems. Unfortunately, its real-world impact has hitherto been hampered by the lack of a network stack able to transfer its benefits from theory to practice specifically by supporting the latency and reliability requirements of the aperiodic communication ETC induces. This is precisely the contribution of this article.Our Wireless Control Bus (WCB) exploits carefully orchestrated network-wide floods of concurrent transmissions to minimize overhead during quiescent, steady-state periods, and ensures timely and reliable collection of sensor readings and dissemination of actuation commands when an ETC triggering condition is violated. Using a cyber-physical testbed emulating a water distribution system controlled over a real-world multi-hop wireless network, we show that ETC over WCB achieves the same quality of periodic control at a fraction of the energy costs, therefore unleashing and concretely demonstrating its full potential for the first time.},
keywords = {NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
@inproceedings{GleizerHSCC21,
title = {Computing the sampling performance of event-triggered control},
author = {Gabriel {de A. Gleizer} and Manuel {Mazo Jr.}},
url = {https://research.tudelft.nl/files/90951924/3447928.3456635.pdf
https://arxiv.org/abs/2103.00919
https://dl.acm.org/doi/10.1145/3447928.3456635},
doi = {10.1145/3447928.3456635},
year  = {2021},
date = {2021-05-20},
urldate = {2021-05-20},
booktitle = {Proceedings of the 24th International Conference on Hybrid Systems (HSCC 2021)},
publisher = {Association for Computing Machinery (ACM)},
address = {United States},
abstract = {In the context of networked control systems, event-triggered control (ETC) has emerged as a major topic due to its alleged resource usage reduction capabilities. However, this is mainly supported by numerical simulations, and very little is formally known about the traffic generated by ETC. This work devises a method to estimate, and in some cases to determine exactly, the minimum average inter-sample time (MAIST) generated by periodic event-triggered control (PETC) of linear systems. The method involves abstracting the traffic model using a bisimulation refinement algorithm and finding the cycle of minimum average length in the graph associated to it. This always gives a lower bound to the actual MAIST. Moreover, if this cycle turns out to be related to a periodic solution of the closed-loop PETC system, the performance metric is exact.},
note = {24th ACM International Conference on Hybrid Systems Computation and Control, HSCC 2021, held as part of the 14th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2021 ; },
keywords = {Formal methods, NCS, SENTIENT},
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}
}
@inproceedings{MadnaniLNCS21,
title = {Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers},
author = {Shankara Narayanan Krishna and Khushraj Madnani and Manuel {Mazo Jr.} and Paritosh K. Pandya},
editor = {Marieke Huisman and Corina Pu areanu and Naijun Zhan},
url = {https://link.springer.com/chapter/10.1007/978-3-030-90870-6_10
https://arxiv.org/abs/2105.09534},
doi = {10.1007/978-3-030-90870-6_10},
isbn = {978-3-030-90869-0},
year  = {2021},
date = {2021-01-01},
urldate = {2021-01-01},
booktitle = {Formal Methods},
pages = {182--199},
publisher = {Springer},
series = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
abstract = {Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent real-time extensions of Linear Temporal Logic (LTL). In general, the satisfiability checking problem for these extensions is undecidable when both the future U and the past S modalities are used. In a classical result, the satisfiability checking for MITL[U,S], a non-punctual fragment of MTL[U,S], is shown to be decidable with EXPSPACE complete complexity. Given that this notion of non-punctuality does not recover decidability in the case of TPTL[U,S], we propose a generalization of non-punctuality called non-adjacency for TPTL[U,S], and focus on its 1-variable fragment, 1-TPTL[U,S]. While non-adjacent 1-TPTL[U,S] appears to be a very small fragment, it is strictly more expressive than MITL. As our main result, we show that the satisfiability checking problem for non-adjacent 1-TPTL[U,S] is decidable with EXPSPACE complete complexity.},
note = {24th International Symposium on Formal Methods, FM 2021 ; Conference date: 20-11-2021 Through 26-11-2021},
keywords = {Formal methods, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{DelimpaltadakisTAC21,
title = {Isochronous partitions for region-based self-triggered control},
author = {Giannis Delimpaltadakis and Manuel {Mazo Jr.}},
url = {https://research.tudelft.nl/files/88167792/09091336_1.pdf
https://arxiv.org/abs/1904.08788
https://ieeexplore.ieee.org/document/9091336},
doi = {10.1109/TAC.2020.2994020},
issn = {0018-9286},
year  = {2021},
date = {2021-01-01},
urldate = {2021-01-01},
journal = {IEEE Transactions on Automatic Control},
volume = {66},
number = {3},
pages = {1160--1173},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
abstract = {In this article, we propose a region-based self-triggered control (STC) scheme for nonlinear systems. The state space is partitioned into a finite number of regions, each of which is associated to a uniform interevent time. The controller, at each sampling time instant, checks to which region does the current state belong, and correspondingly decides the next sampling time instant. To derive the regions along with their corresponding interevent times, we use approximations of isochronous manifolds, a notion first introduced in Anta and Tabuada (2012). This article addresses some theoretical issues of Anta and Tabuada (2012) and proposes an effective computational approach that generates approximations of isochronous manifolds, thus enabling the region-based STC scheme. The efficiency of both our theoretical results and the proposed algorithm is demonstrated through simulation examples.},
keywords = {NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
@article{DelimpaltadakisTCNS21,
title = {Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems},
author = {Giannis Delimpaltadakis and Manuel {Mazo Jr.}},
url = {https://research.tudelft.nl/files/97439855/Region_Based_Self_Triggered_Control_for_Perturbed_and_Uncertain_Nonlinear_Systems.pdf
https://arxiv.org/abs/2005.00473
https://ieeexplore.ieee.org/document/9317821},
doi = {10.1109/TCNS.2021.3050121},
issn = {2325-5870},
year  = {2021},
date = {2021-01-01},
urldate = {2021-01-01},
journal = {IEEE Transactions on Control of Network Systems},
volume = {8},
number = {2},
pages = {757--768},
publisher = {IEEE Control Systems Society},
abstract = {In this work, we derive a region-based self-triggered control (STC) scheme for nonlinear systems with bounded disturbances and model uncertainties. The proposed STC scheme is able to guarantee different performance specifications (e.g. stability, boundedness, etc.), depending on the event-triggered control (ETC) triggering function that is chosen to be emulated. To deal with disturbances and uncertainties, we employ differential inclusions (DIs). By introducing ETC/STC notions in the context of DIs, we extend well-known results on ETC/STC to perturbed uncertain systems. Given these results, and adapting tools from our previous work, we derive inner-approximations of isochronous manifolds of perturbed uncertain ETC systems. These approximations dictate a partition of the state-space into regions, each of which is associated to a uniform inter-sampling time. At each sampling time instant, the controller checks to which region the measured state belongs and correspondingly decides the next sampling instant.},
keywords = {NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
@inproceedings{GleizerCDC21,
title = {Self-Triggered Control for Near-Maximal Average Inter-Sample Time},
author = {Gabriel de A. Gleizer and K. N. Madnani and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/2105.03110
https://ieeexplore.ieee.org/document/9682986},
doi = {10.1109/CDC45484.2021.9682986},
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 = {1308--1313},
publisher = {IEEE},
address = {Ünited States},
abstract = {Self-triggered control (STC) is a sample-and-hold control method aimed at reducing communications in networked-control systems; however, existing STC mechanisms often maximize how late the next sample is, thus not optimizing sampling performance in the long-term. In this work, we devise a method to construct self-triggered policies that provide near-maximal average inter-sample time (AIST) while respecting given control performance constraints. To achieve this, we rely on finite-state abstractions of a reference event-triggered control, while also allowing earlier samples. These early triggers constitute controllable actions of the abstraction, for which an AIST-maximizing strategy can be obtained by solving a mean-payoff game. We provide optimality bounds, and how to further improve them through abstraction refinement techniques.},
note = {60th IEEE Conference on Decision and Control (CDC 2021) ; Conference date: 14-12-2021 Through 17-12-2021},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{DelimpCDC20,
title = {Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems},
author = {Giannis Delimpaltadakis and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/final2.pdf
https://research.tudelft.nl/files/87240321/09303968.pdf
https://ieeexplore.ieee.org/document/9303968
https://arxiv.org/abs/2003.09361
},
doi = {10.1109/CDC42340.2020.9303968},
year  = {2020},
date = {2020-12-15},
urldate = {2020-12-15},
booktitle = {Proceedings of the 59th IEEE Conference on Decision and Control},
pages = {4991--4998},
publisher = {IEEE},
abstract = {In previous work, linear time-invariant eventtriggered control (ETC) systems were abstracted to finite-state systems that capture the original systems{textquoteright} sampling behaviour. It was shown that these abstractions can be employed for scheduling of communication traffic in networks of ETC loops. In this paper, we extend this framework to the class of nonlinear homogeneous systems, however adopting a different approach in a number of steps. Finally, we discuss how the proposed methodology could be extended to general nonlinear systems},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
@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}
}
@online{RegionBasedSTC20,
title = {Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems.},
author = {Giannis Delimpaltadakis and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/2005.00473},
year  = {2020},
date = {2020-09-01},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {online}
}
@inproceedings{IFAC20Gleizer,
title = {Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers.},
author = {Gabriel de A. Gleizer and Manuel {Mazo Jr.}},
url = {https://research.tudelft.nl/files/93709907/1_s2.0_S2405896320332729_main.pdf
https://arxiv.org/abs/2003.07642},
doi = {10.1016/j.ifacol.2020.12.2525},
year  = {2020},
date = {2020-07-13},
urldate = {2020-07-13},
booktitle = {21st IFAC World Congress : Automatic Control – Meeting Societal Challenges - Berlin, Germany},
volume = {53},
number = {2},
pages = {2726-2732},
organization = {IFAC},
series = {IFAC-PapersOnLine},
abstract = {Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers",
This paper addresses the problem of modeling and scheduling the transmissions generated by multiple event-triggered control (ETC) loops sharing a network. We present a method to build a finite-state similar model of the traffic generated by periodic ETC (PETC), which by construction mitigates the combinatorial explosion that is typical of symbolic models. The model is augmented with early triggering actions that can be used by a scheduler. The complete networked control system is then modeled as a network of timed game automata, for which existing tools can generate strategies that avoids communication conflicts, while keeping early triggers to a minimum. Our proposed model is relatively fast to build and is the first to constitute an exact simulation. Finally, we demonstrate modeling and scheduling for a numerical example.},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
@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}
}
@inproceedings{HSCC20Jarne,
title = {Convergence of Ant Colony Multi-Agent Swarms},
author = { Daniel Jarne Ornia and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/HSCC_Jarne_Mazo.pdf
https://dl.acm.org/doi/10.1145/3365365.3382199
},
doi = {10.1145/3365365.3382199},
isbn = {9781450370189},
year  = {2020},
date = {2020-04-01},
booktitle = {Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control},
number = {29},
publisher = {Association for Computing Machinery},
address = {Sydney, New South Wales, Australia},
series = {HSCC '20},
abstract = {Ant Colony algorithms are a set of biologically inspired algorithms used commonly to solve distributed optimization problems. Convergence has been proven in the context of optimization processes, but these proofs are not applicable in the framework of robotic control. In order to use Ant Colony algorithms to control robotic swarms, we present in this work more general results that prove asymptotic convergence of a multi-agent Ant Colony swarm moving in a weighted graph.},
keywords = {Robotics, SCARS},
pubstate = {published},
tppubtype = {inproceedings}
}
@online{CeesFormalGP20,
title = {Formal Controller Synthesis for Hybrid Systems Using Genetic Programming},
author = {Cees F Verdier and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/Journal_Hybrid_Arxiv_Preprint.pdf
https://arxiv.org/abs/2003.14322},
year  = {2020},
date = {2020-03-31},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {online}
}
@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}
}
@inproceedings{SzymanekCDC19,
title = {Periodic event-triggered control with a relaxed triggering condition.},
author = {Aleksandra Szymanek and Gabriel de A. Gleizer and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/cdc_preprint.pdf
https://ieeexplore.ieee.org/document/9029823},
doi = {10.1109/CDC40024.2019.9029823},
year  = {2019},
date = {2019-12-11},
booktitle = {2019 IEEE 58th Conference on Decision and Control (CDC)},
pages = {1656-1661},
publisher = {IEEE},
keywords = {NCS, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
@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}
}
@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}
}
@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}
}
@inbook{mazo2018abstractedb,
title = {Abstracted Models for Scheduling of Event-Triggered Control Data Traffic},
author = {Manuel {Mazo Jr.} and Arman Sharifi-Kolarijani and Dieky Adzkiya and Christian Hop},
editor = {Sophie Tarbouriech and Antoine Girard and Laurentiu Hetel},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/CO4Mazo.pdf
https://link.springer.com/chapter/10.1007/978-3-319-78449-6_10
},
doi = {10.1007/978-3-319-78449-6_10},
isbn = {978-3-319-78449-6},
year  = {2018},
date = {2018-06-02},
booktitle = {Control Subject to Computational and Communication Constraints},
volume = {475},
pages = {197--217},
publisher = {Springer, Cham},
series = {LNCIS},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {inbook}
}
@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}
}
@inproceedings{proskurnikov2018lyapunovbd,
title = {Lyapunov design for event-triggered exponential stabilization},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/proskurnikovHSCC18.pdf
https://arxiv.org/abs/1802.01025
https://dl.acm.org/citation.cfm?doid=3178126.3178142},
doi = {10.1145/3178126.3178142},
isbn = {9781450356428},
year  = {2018},
date = {2018-04-13},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)},
pages = {111--119},
publisher = {Association for Computing Machinery},
organization = {ACM},
series = {HSCC'18},
keywords = {IAVTRM, NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{gleizer2018selfb,
title = {Self-Triggered Output Feedback Control for Perturbed Linear Systems},
author = {Gabriel de A. Gleizer and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2019/11/ECNS18_0078_FI.pdf
https://www.sciencedirect.com/science/article/pii/S2405896318335754},
doi = {10.1016/j.ifacol.2018.12.043},
issn = {2405-896},
year  = {2018},
date = {2018-01-01},
booktitle = {7th IFAC Workshop on Distributed Estimation and Control in Networked Systems NECSYS 2018},
journal = {IFAC-PapersOnLine},
volume = {51},
number = {23},
pages = {248--253},
publisher = {Elsevier},
series = {IFAC-PapersOnLine},
keywords = {NCS, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
@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}
}
@inproceedings{fu2017asynchronousb,
title = {Asynchronous mix-triggered control},
author = {Anqi Fu and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/main.pdf
https://ieeexplore.ieee.org/document/8003065},
doi = {10.1109/ICCA.2017.8003065},
year  = {2017},
date = {2017-07-06},
booktitle = {13th IEEE International Conference on Control and Automation (ICCA 2017)},
pages = {230--235},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@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}
}
@online{proskurnikov2017simplec,
title = {Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version)},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/1703.02937},
year  = {2017},
date = {2017-03-08},
journal = {arXiv preprint arXiv:1703.02937},
keywords = {IAVTRM, NCS},
pubstate = {published},
tppubtype = {online}
}
@article{kolarijani2018formalb,
title = {Formal Traffic Characterization of LTI Event-Triggered Control Systems},
author = {Arman Sharifi-Kolarijani and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/15-0160_04_MS.pdf
https://ieeexplore.ieee.org/document/7552462 
https://arxiv.org/abs/1503.05816},
doi = {10.1109/TCNS.2016.2603008},
year  = {2016},
date = {2016-08-25},
journal = {IEEE Transactions on Control of Network Systems},
volume = {5},
number = {1},
pages = {274--283},
publisher = {IEEE},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {article}
}
@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}
}
@article{trottemant2016optimalityb,
title = {Optimality of robust disturbance-feedback strategies},
author = {Eric J Trottemant and Carsten W Scherer and Manuel {Mazo Jr.}},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/rnc.3360},
doi = {doi.org/10.1002/rnc.3360},
year  = {2016},
date = {2016-03-10},
journal = {International Journal of Robust and Nonlinear Control},
volume = {26},
number = {7},
pages = {1475--1488},
keywords = {Optimal Control, Robust Control},
pubstate = {published},
tppubtype = {article}
}
@article{trottemant2016synthesisb,
title = {Synthesis of Robust Piecewise Affine Output-Feedback Strategies},
author = {Eric J Trottemant and Manuel {Mazo Jr.} and Carsten W Scherer},
year  = {2016},
date = {2016-01-01},
journal = {Journal of Guidance, Control, and Dynamics},
volume = {39},
number = {7},
pages = {1461--1469},
publisher = {American Institute of Aeronautics and Astronautics},
keywords = {Optimal Control, Robust Control},
pubstate = {published},
tppubtype = {article}
}
@techreport{kolarijani2016technicalb,
title = {Technical Report: Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism},
author = {Arman Sharifi-Kolarijani and Manuel {Mazo Jr.} and Tamás Keviczky},
url = {https://arxiv.org/abs/1609.03476},
year  = {2016},
date = {2016-01-01},
journal = {arXiv preprint arXiv:1609.03476},
organization = {https://arxiv.org/abs/1609.03476},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {techreport}
}
@online{adzkiya2016schedulingb,
title = {Scheduling of event-triggered networked control systems using timed game automata},
author = {Dieky Adzkiya and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/1610.03729},
year  = {2016},
date = {2016-01-01},
journal = {arXiv preprint arXiv:1610.03729},
organization = {https://arxiv.org/abs/1610.03729},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {online}
}
@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}
}
@inbook{mazo2015decentralizedb,
title = {Decentralized event-triggered controller implementations},
author = {Manuel {Mazo Jr.} and Anqi Fu},
editor = {Marek Miskowicz},
doi = {10.1201/b19013-7},
isbn = {978-1-4822-5655-0},
year  = {2015},
date = {2015-11-01},
booktitle = {Event-Based Control and Signal Processing},
pages = {121--125},
publisher = {CRC Press},
keywords = {NCS},
pubstate = {published},
tppubtype = {inbook}
}
@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}
}
@article{zhang2015steeringb,
title = {Steering controller identification and design for human-like overtaking},
author = {Yujie Zhang and Raymond Hoogendoorn and Manuel {Mazo Jr.} and Hans Hellendoorn},
year  = {2015},
date = {2015-01-01},
journal = {Procedia Manufacturing},
volume = {3},
pages = {2526--2533},
publisher = {Elsevier},
keywords = {Automotive},
pubstate = {published},
tppubtype = {article}
}
@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}
}
@article{santos2015aperiodicbb,
title = {Aperiodic linear networked control considering variable channel delays: Application to robots coordination},
author = {Carlos Santos and Felipe Espinosa and Enrique Santiso and Manuel {Mazo Jr.}},
year  = {2015},
date = {2015-01-01},
journal = {Sensors},
volume = {15},
number = {6},
pages = {12454--12473},
publisher = {Multidisciplinary Digital Publishing Institute},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@article{mazo2014asynchronousb,
title = {Asynchronous decentralized event-triggered control},
author = {Manuel {Mazo Jr.} and Ming Cao},
year  = {2014},
date = {2014-01-01},
journal = {Automatica},
volume = {50},
number = {12},
pages = {3197--3203},
publisher = {Pergamon},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@article{araujo2014systemb,
title = {System architectures, protocols and algorithms for aperiodic wireless control systems},
author = {José Araújo and Manuel {Mazo Jr.} and Adolfo Anta and Paulo Tabuada and Karl H Johansson},
year  = {2014},
date = {2014-01-01},
journal = {Industrial Informatics, IEEE Transactions on},
volume = {10},
number = {1},
pages = {175--184},
publisher = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@article{santos2014adaptiveb,
title = {Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation},
author = {Carlos Santos and Manuel {Mazo Jr.} and Felipe Espinosa},
year  = {2014},
date = {2014-01-01},
journal = {Robotics and Autonomous Systems},
volume = {62},
number = {6},
pages = {847--854},
publisher = {North-Holland},
keywords = {NCS, Robotics},
pubstate = {published},
tppubtype = {article}
}
@inproceedings{zamani2014finiteb,
title = {Finite abstractions of networked control systems},
author = {Majid Zamani and Manuel {Mazo Jr.} and Alessandro Abate},
year  = {2014},
date = {2014-01-01},
booktitle = {53rd IEEE Conference on Decision and Control},
pages = {95--100},
organization = {IEEE},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{rungger2013specificationb,
title = {Specification-guided controller synthesis for linear systems and safe linear-time temporal logic},
author = {Matthias Rungger and Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2013},
date = {2013-01-01},
booktitle = {Proceedings of the 16th international conference on Hybrid systems: computation and control},
pages = {333--342},
organization = {ACM},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2013designb,
title = {Design of reward structures for sequential decision-making processes using symbolic analysis},
author = {Manuel {Mazo Jr.} and Ming Cao},
year  = {2013},
date = {2013-01-01},
booktitle = {2013 American Control Conference},
pages = {4393--4398},
organization = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{de2013symbolicb,
title = {On symbolic optimal control via approximate simulation relations},
author = {Froukje de Roo and Manuel {Mazo Jr.}},
year  = {2013},
date = {2013-01-01},
booktitle = {52nd IEEE Conference on Decision and Control},
pages = {3205--3210},
organization = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2012decentralizedb,
title = {Decentralized event-triggered control with one bit communications},
author = {Manuel {Mazo Jr.} and Ming Cao},
year  = {2012},
date = {2012-01-01},
booktitle = {IFAC Proceedings Volumes (Analysis and Design of Hybrid Systems, ADHS 2012)},
journal = {IFAC Proceedings Volumes},
volume = {45},
number = {9},
pages = {52--57},
publisher = {Elsevier},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{santos2012adaptiveb,
title = {Adaptive self-triggered control of a remotely operated robot},
author = {Carlos Santos and Manuel {Mazo Jr.} and Felipe Espinosa},
year  = {2012},
date = {2012-01-01},
booktitle = {Conference Towards Autonomous Robotic Systems},
pages = {61--72},
organization = {Springer, Berlin, Heidelberg},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{rungger2012scalingb,
title = {Scaling up controller synthesis for linear systems and safety specifications},
author = {Matthias Rungger and Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2012},
date = {2012-01-01},
booktitle = {Decision and Control. CDC12, Proceedings of the 51st IEEE Conference on},
organization = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{araujo2012improvedb,
title = {An improved self-triggered implementation for linear controllers},
author = {Jose Araújo and Hamza Fawzi and Manuel {Mazo Jr.} and Paulo Tabuada and Karl H Johansson},
year  = {2012},
date = {2012-01-01},
booktitle = {IFAC Proceedings Volumes (NecSys 2012)},
journal = {IFAC Proceedings Volumes},
volume = {45},
number = {26},
pages = {37--42},
publisher = {Elsevier},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{zamani2012symbolicb,
title = {Symbolic models for nonlinear control systems without stability assumptions},
author = {Majid Zamani and Giordano Pola and Manuel {Mazo Jr.} and Paulo Tabuada},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/TN-10-627_04_MS.pdf
https://arxiv.org/abs/1002.0822
https://ieeexplore.ieee.org/document/6082386},
doi = {10.1109/TAC.2011.2176409},
issn = {1558-2523},
year  = {2011},
date = {2011-11-16},
journal = {Automatic Control, IEEE Transactions on},
volume = {57},
number = {7},
pages = {1804--1809},
publisher = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {article}
}
@article{mazo2011decentralizedc,
title = {Decentralized event-triggered control over wireless sensor/actuator networks},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/WSN-10-004_05_MS.pdf
https://arxiv.org/abs/1004.0477
https://ieeexplore.ieee.org/document/5979134},
doi = {10.1109/TAC.2011.2164036},
isbn = {1558-2523},
year  = {2011},
date = {2011-08-12},
journal = {Automatic Control, IEEE Transactions on},
volume = {56},
number = {10},
pages = {2456--2461},
publisher = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@misc{mazo2011npb,
title = {NP ne NDP},
author = {Manuel {Mazo Jr.}},
doi = {10.1109/MCS.2011.940726},
year  = {2011},
date = {2011-05-16},
howpublished = {Control Systems Magazine (Feedback)},
keywords = {},
pubstate = {published},
tppubtype = {misc}
}
@article{mazo2011symbolicb,
title = {Symbolic approximate time-optimal control},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2011},
date = {2011-01-01},
journal = {Systems & Control Letters},
volume = {60},
number = {4},
pages = {256--263},
publisher = {North-Holland},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {article}
}
@inproceedings{araujo2011selfc,
title = {Self-triggered control for industrial wireless sensor and actuator networks},
author = {José Araújo and Adolfo Anta and Manuel {Mazo Jr.} and Joao Faria and Aitor Hernandez and Paulo Tabuada and Karl H Johansson},
year  = {2011},
date = {2011-01-01},
booktitle = {Workshop on Real-Time Wireless for Industrial Applications at CPSWEEK, Chicago, IL},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2011decentralizedbb,
title = {Decentralized Event-triggered Control with Asynchronous Updates},
author = {Manuel {Mazo Jr.} and Ming Cao},
year  = {2011},
date = {2011-01-01},
booktitle = {Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on},
pages = {2547--2552},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{araujo2011selfbb,
title = {Self-triggered control over wireless sensor and actuator networks},
author = {José Araújo and Adolfo Anta and Manuel {Mazo Jr.} and Joao Faria and Aitor Hernandez and Paulo Tabuada and Karl H Johansson},
year  = {2011},
date = {2011-01-01},
booktitle = {Distributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on},
pages = {1--9},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{MAZO20101310,
title = {An ISS self-triggered implementation of linear controllers},
author = {Manuel {Mazo Jr.} and Adolfo Anta and Paulo Tabuada},
url = {https://arxiv.org/abs/0906.3588
http://www.sciencedirect.com/science/article/pii/S0005109810002153
},
doi = {https://doi.org/10.1016/j.automatica.2010.05.009},
issn = {0005-1098},
year  = {2010},
date = {2010-08-02},
journal = {Automatica},
volume = {46},
number = {8},
pages = {1310 - 1314},
abstract = {Nowadays control systems are mostly implemented on digital platforms and, increasingly, over shared communication networks. Reducing resources (processor utilization, network bandwidth, etc.) in such implementations increases the potential to run more applications on the same hardware. We present a self-triggered implementation of linear controllers that reduces the amount of controller updates necessary to retain stability of the closed-loop system. Furthermore, we show that the proposed self-triggered implementation is robust against additive disturbances and provide explicit guarantees of performance. The proposed technique exhibits an inherent trade-off between computation and potential savings on actuation.},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@phdthesis{espinosa2010contributionsb,
title = {Contributions to the Control of Networked Cyber-physical Systems},
author = {Manuel {Mazo Jr.}},
year  = {2010},
date = {2010-01-01},
school = {University of California Los Angeles},
keywords = {NCS},
pubstate = {published},
tppubtype = {phdthesis}
}
@inproceedings{mazo2010approximateb,
title = {Approximate time-optimal control via approximate alternating simulations},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2010},
date = {2010-01-01},
booktitle = {Proceedings of the 2010 American Control Conference},
pages = {1009--1014},
organization = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2010pessoac,
title = {Pessoa: A tool for embedded controller synthesis},
author = {Manuel {Mazo Jr.} and Anna Davitian and Paulo Tabuada},
year  = {2010},
date = {2010-01-01},
booktitle = {Computer Aided Verification},
pages = {566--569},
organization = {Springer},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2010pessoabb,
title = {PESSOA: towards the automatic synthesis of correct-by-design control software},
author = {Manuel {Mazo Jr.} and Anna Davitian and Paulo Tabuada},
year  = {2010},
date = {2010-01-01},
booktitle = {Work-in-Progress HSCC 2010},
journal = {Work-in-progress HSCC},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2010towardsb,
title = {Towards decentralized event-triggered implementations of centralized control laws},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2010},
date = {2010-01-01},
booktitle = {Proceedings of International Workshop on Networks of Cooperating Objects. Stockholm, Sweden},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@online{creutz2009superstabilityb,
title = {Superstability and finite time extinction for c_0-semigroups},
author = {Darren Creutz and Manuel {Mazo Jr.} and Ciprian Preda},
url = {https://arxiv.org/abs/0907.4812},
year  = {2009},
date = {2009-01-01},
journal = {arXiv preprint arXiv:0907.4812},
organization = {https://arxiv.org/abs/0907.4812},
keywords = {},
pubstate = {published},
tppubtype = {online}
}
@inproceedings{mazo2009selfb,
title = {On self-triggered control for linear systems: Guarantees and complexity},
author = {Manuel {Mazo Jr.} and Adolfo Anta and Paulo Tabuada},
year  = {2009},
date = {2009-01-01},
booktitle = {2009 European Control Conference (ECC)},
pages = {3767--3772},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2009inputb,
title = {Input-to-state stability of self-triggered control systems},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2009},
date = {2009-01-01},
booktitle = {Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on},
pages = {928--933},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2008eventb,
title = {On event-triggered and self-triggered control over sensor/actuator networks},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2008},
date = {2008-01-01},
booktitle = {Decision and Control, 2008. 47th IEEE Conference on},
pages = {435--440},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@techreport{mazo2007distributedb,
title = {Distributed Kalman Filtering with Embedded Consensus Filters},
author = {Manuel {Mazo Jr.} and Amir Emadzadeh and Sepehr Vakil},
year  = {2007},
date = {2007-01-01},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
@inproceedings{espinosa2007reductionb,
title = {Reduction of lateral and longitudinal oscillations of vehicle’s platooning by means of decentralized overlapping control},
author = {Felipe Espinosa and AbdelBaset MH Awawdeh and Manuel {Mazo Jr.} and Jose M Rodiguez and Antonio Bocos and Mario Manzano},
year  = {2007},
date = {2007-01-01},
booktitle = {2007 46th IEEE Conference on Decision and Control},
pages = {690--695},
organization = {IEEE},
keywords = {Robotics},
pubstate = {published},
tppubtype = {inproceedings}
}
@techreport{mazo2005stateb,
title = {State of the art on hybrid systems identification},
author = {Manuel {Mazo Jr.}},
year  = {2005},
date = {2005-01-01},
journal = {Centre for Complex Dynamic Systems and Control Internal Report},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
@inproceedings{espinosaintegratedb,
title = {Integrated development environment for underactuated non-linear control systems},
author = {Felipe Espinosa and Francisco J. Castillo and Manuel {Mazo Jr.}},
year  = {2004},
date = {2004-10-15},
booktitle = {SAAEI/EPF 2004},
keywords = {Other},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2004multib,
title = {Multi-robot tracking of a moving object using directional sensors},
author = {Manuel {Mazo Jr.} and Alberto Speranzon and Karl H Johansson and Xiaoming Hu},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/icra04.pdf
https://ieeexplore.ieee.org/document/1307972},
doi = {10.1109/ROBOT.2004.1307972},
issn = {1050-4729},
year  = {2004},
date = {2004-04-26},
booktitle = {Proceedings of the 2004 IEEE International Conference on Robotics and Automation.  ICRA'04. },
volume = {2},
pages = {1103--1108},
organization = {IEEE},
keywords = {Robotics},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2004robustb,
title = {Robust area coverage using hybrid control},
author = {Manuel {Mazo Jr.} and Karl H Johansson},
year  = {2004},
date = {2004-01-01},
booktitle = {TELEC, Santiago de Cuba, Cuba},
pages = {1--8},
keywords = {Robotics},
pubstate = {published},
tppubtype = {inproceedings}
}