Controller synthesis & Ordinal Automata
Thierry Cachat (LIAFA)

TL;DR
This paper addresses a control problem for ordinal automata modeling Zeno behavior in physical systems, introducing novel techniques to handle partial observability and synchronization challenges.
Contribution
It provides a solution to an open control problem for ordinal automata with partial observability and synchronization, advancing the theory of automata-based control.
Findings
Solved a control problem for ordinal automata with partial observability
Developed new automata and game techniques for synchronization
Extended the theoretical framework for modeling Zeno behavior
Abstract
Ordinal automata are used to model physical systems with Zeno behavior. Using automata and games techniques we solve a control problem formulated and left open by Demri and Nowak in 2005. It involves partial observability and a new synchronization between the controller and the environment.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Logic, programming, and type systems · Petri Nets in System Modeling
