Controller synthesis and ordinal automata

  • Authors:
  • Thierry Cachat

  • Affiliations:
  • LIAFA/CNRS UMR 7089 & Université Paris 7, France

  • Venue:
  • ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.