A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence

DOI10.1145/3501710.3519534arXiv2203.01672OpenAlexW4225370582MaRDI QIDQ6120696

Manuel jun. Mazo, Gabriel de Albuquerque Gleizer, Khushraj Madnani

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.01672

zbMATH Keywords

schedulingminimizationcontroller synthesisevent triggered controlalternating simulation

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
• The algorithmic analysis of hybrid systems
• CCS expressions, finite state processes, and three problems of equivalence
• An efficient simulation algorithm based on abstract interpretation
• Introduction to Discrete Event Systems
• Verification and Control of Hybrid Systems
• Formal Traffic Characterization of LTI Event-Triggered Control Systems
• Faster Algorithms for Alternating Refinement Relations
• Isochronous Partitions for Region-Based Self-Triggered Control
• Simulation-based minimization
• A classification of symbolic transition systems
• Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
• Periodic Event-Triggered Control for Linear Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence