Affordable Access

Symbolic controller synthesis for timed systems: robustness and optimality

Authors
  • Busatto-Gaston, Damien
Publication Date
Dec 03, 2019
Source
Kaleidoscope Open Archive
Keywords
Language
English
License
Unknown
External links

Abstract

The field of reactive synthesis studies ways to obtain, starting from a specification, a system that is correct by construction.A classical approach models this setting as a zero-sum game played by two players on a transition system, and asks whether player controller canensure an objective against any competing player environment.We focus on real-time specifications, modelled as timed automata with reachability or Büchi acceptance conditions, and present symbolic ways to synthesise strategies for the controller.We consider two problems, either restricting controller to robust strategies or aiming for optimal strategies in a weighted game setting.

Report this publication

Statistics

Seen <100 times