Synthesis of memory-efficient "real-time" controllers for safety objectives

  title={Synthesis of memory-efficient "real-time" controllers for safety objectives},
  author={K. Chatterjee and V. Prabhu},
  booktitle={HSCC '11},
We study synthesis of controllers for real-time systems, where the objective is to stay in a given safe set. The problem is solved by obtaining winning strategies in the setting of concurrent two-player timed automaton games with safety objectives. To prevent a player from winning by blocking time, we restrict each player to strategies that ensure that the player cannot be responsible for causing a zeno run. We construct winning strategies for the controller which require access only to (1) the… Expand
6 Citations
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata
  • T. Wang, J. Sun, +5 authors X. Li
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 2015
  • 6
  • PDF
Language Inclusion Checking of Timed Automata with Non-Zenoness
  • PDF
PyEcdar: Towards Open Source Implementation for Timed Systems
  • 9
  • Highly Influenced
  • PDF


A Theory of Timed Automata
  • 6,991
  • Highly Influential
  • PDF
The Element of Surprise in Timed Games
  • 160
  • Highly Influential
  • PDF
Synthesis of memory-efficient real-time controllers for safety objectives
  • CoRR, abs/1101.5842,
  • 2011