ETCetera: beyond Event-Triggered Control

DOI10.1145/3501710.3519523arXiv2203.01623OpenAlexW4224997316MaRDI QIDQ6120716

Manuel jun. Mazo, Unnamed Author, Gabriel de Albuquerque Gleizer, Giannis Delimpaltadakis

Publication date: 21 February 2024

Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

schedulingabstractionnetworked control systemsevent-triggered control

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• An ISS self-triggered implementation of linear controllers
• Positional strategies for mean payoff games
• A characterization of the minimum cycle mean in a digraph
• A theory of timed automata
• A state dependent sampling for linear state feedback
• A note on finding minimum mean cycle
• Computing the average inter-sample time of event-triggered control using quantitative automata
• CVXPY: A Python-Embedded Modeling Language for Convex Optimization
• Quantitative languages
• Verification and Control of Hybrid Systems
• Formal Traffic Characterization of LTI Event-Triggered Control Systems
• 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
• Discrete and Intersample Analysis of Systems With Aperiodic Sampling
• Periodic Event-Triggered Control for Linear Systems
• Abstracting the Traffic of Nonlinear Event-Triggered Control Systems

This page was built for publication: ETCetera: beyond Event-Triggered Control