Computing the average inter-sample time of event-triggered control using quantitative automata

DOI10.1016/J.NAHS.2022.101290MaRDI QIDQ2677100zbMATH OpenOpenAlexFDO

Authors Gabriel de Albuquerque Gleizer, M. jun. Mazo

Publication date 13 January 2023

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2109.14391

zbMATH Keywords

abstractionsevent-triggered controlhybrid systems

Mathematics Subject Classification ID

Computer science (68-XX) Systems theory; control (93-XX)

Recommendations

• Traffic models of periodic event-triggered quantized control systems
• Event‐triggered robust model predictive control for linear discrete‐time systems with a guaranteed average inter‐execution time
• Networked event-triggered control: an introduction and research trends
• Model-based periodic event-triggered control for linear systems
• Event-triggered mechanism with parameterized adaptive feedback controller for network resource-aware system

Cites work

• A characterization of the minimum cycle mean in a digraph
• A note on finding minimum mean cycle
• dReal: an SMT solver for nonlinear theories over the reals
• Dynamic Triggering Mechanisms for Event-Triggered Control
• Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
• Isochronous Partitions for Region-Based Self-Triggered Control
• On the combinatorial and algebraic complexity of quantifier elimination
• Paradigms and puzzles in the theory of dynamical systems
• Periodic Event-Triggered Control for Linear Systems
• Quantitative languages
• Supervisory control of hybrid systems within a behavioural framework
• Verification and Control of Hybrid Systems

Cited in

(3)

• ETCetera: beyond Event-Triggered Control
• Asymptotic behavior of inter-event times in planar systems under event-triggered control
• Current trends and future directions in event-based control

Describes a project that uses

Uses Software

• dReal
• z3

This page was built for publication: Computing the average inter-sample time of event-triggered control using quantitative automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2677100)