SENTIENT Project

@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}

}

@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}

}