Controller synthesis & Ordinal Automata
Thierry Cachat
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.
Create a lesson
Related papers
A 1/2-Approximation for Pandora's Problem with Deadlines
Shenyu Qin, Chihao Zhang, Yuhao Zhang et al.
Asymmetric Information in Dynamic Lending Games
Kristijan Atanasov, Frederik Mallmann-Trenn, Carmine Ventre
The Distortion of Threshold Approval Multiwinner Voting
Mohamad Latifian, Marzieh Nilipour, Alexandros A. Voudouris
Complexity of Autobidding Equilibria in GSP Sponsored Shopping
Kristoffer Arnsfelt Hansen, Yuhao Li, Xinhao Nie
Limit-sure Winning in Team Games without Shared Randomness
Léonard Brice, Thomas A. Henzinger, Alipasha Montaseri et al.
Network Topology Shapes AI Intervention Effectiveness on Deception: Truth-Telling vs. Investigative Agents
Zhao Song, Stefan Sarkadi, The Anh Han