Dynamic controllability of temporal networks with instantaneous reaction

This publication has 27 references indexed in Scilit:

• Access Controlled Temporal Networks
  2017
• Dynamic controllability via Timed Game Automata
  Acta Informatica, 2016
• A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks
  2015
• Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways
  IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014
• UPPAAL-Tiga: Time for Playing Games!
  2007
• Handling contingency in temporal constraint networks: from consistency to controllabilities
  Journal of Experimental & Theoretical Artificial Intelligence, 1999
• On the synthesis of discrete controllers for timed systems
  1995
• A theory of timed automata
  Theoretical Computer Science, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Temporal constraint networks
  Artificial Intelligence, 1991