Acta Informatica

, Volume 53, Issue 6, pp 681–722

Dynamic controllability via Timed Game Automata

  • Alessandro Cimatti
  • Luke Hunsberger
  • Andrea Micheli
  • Roberto Posenato
  • Marco Roveri
Original Article

DOI: 10.1007/s00236-016-0257-2

Cite this article as:
Cimatti, A., Hunsberger, L., Micheli, A. et al. Acta Informatica (2016) 53: 681. doi:10.1007/s00236-016-0257-2
  • 206 Downloads

Abstract

Temporal networks are data structures for representing and reasoning about temporal constraints on activities. Many kinds of temporal networks have been defined in the literature, differing in their expressiveness. The simplest kinds of networks have polynomial algorithms for determining their temporal consistency or different levels of controllability, but corresponding algorithms for more expressive networks (e.g., those that include observation nodes or disjunctive constraints) have so far been unavailable. This paper introduces a new approach to determine the dynamic controllability of a very expressive class of temporal networks that accommodates observation nodes and disjunctive constraints. The approach is based on encoding the dynamic controllability problem into a reachability game for Timed Game Automata (TGAs). This is the first sound and complete approach for determining the dynamic controllability of such networks. The encoding also highlights the theoretical relationships between various kinds of temporal networks and TGAs. The new algorithms have immediate applications in the design and analysis of workflow models being developed to automate business processes, including workflows in the health-care domain.

Keywords

Dynamic controllability Temporal networks Timed Game Automata 

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Alessandro Cimatti
    • 1
  • Luke Hunsberger
    • 2
  • Andrea Micheli
    • 1
  • Roberto Posenato
    • 3
  • Marco Roveri
    • 1
  1. 1.Fondazione Bruno KesslerTrentoItaly
  2. 2.Vassar CollegePoughkeepsieUSA
  3. 3.University of VeronaVeronaItaly

Personalised recommendations