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

DOI10.1016/j.nahs.2022.101290OpenAlexW3202895269MaRDI QIDQ2677100

Manuel jun. Mazo, Gabriel de Albuquerque Gleizer

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

hybrid systemsevent-triggered controlabstractions

Mathematics Subject Classification ID

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

Related Items (1)

ETCetera: beyond Event-Triggered Control

Uses Software

• z3
• dReal

Cites Work

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

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