Sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2014, Pages 27-36

  Cimatti, Alessandro ^a   Hunsberger, Luke ^b   Micheli, Andrea ^a   Posenato, Roberto ^c   Roveri, Marco ^a  

^a FONDAZIONE BRUNO KESSLER   (Italy)

^b VASSAR COLLEGE   (United States)

^c UNIVERSITY OF VERONA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION;

DISJUNCTIVE CONSTRAINTS; DYNAMIC CONTROLLABILITY; EXECUTION STRATEGIES; POLYNOMIAL ALGORITHM; SIMPLE TEMPORAL NETWORKS; SOUND AND COMPLETE; TEMPORAL CONSTRAINTS; TIMED GAME AUTOMATA;

CONTROLLABILITY;

EID: 84909587466     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2014.21     Document Type: Conference Paper

References (28)

1. R. Dechter, I. Meiri, and J. Pearl, "Temporal constraint networks," Artificial Intelligence, vol. 49, pp. 61-95, 1991
2. T. Vidal and H. Fargier, "Handling contingency in temporal constraint networks: from consistency to controllabilities," Journal of Experimental and Theoretical Artificial Intelligence, vol. 11, no. 1, pp. 23-45, 1999
3. P. H. Morris and N. Muscettola, "Temporal dynamic controllability revisited," in Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005), M. M. Veloso and S. Kambhampati, Eds. The MIT Press, 2005, pp. 1193-1198
4. P. Morris, "A structural characterization of temporal dynamic controllability," in Principles and Practice of Constraint Programming (CP-2006), ser. Lecture Notes in Computer Science. Springer, 2006, vol. 4204, pp. 375-389
5. L. Hunsberger, "A faster algorithm for checking the dynamic controllability of simple temporal networks with uncertainty," in Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART-2014), 2014
6. P. Morris, "Dynamic controllability and dispatchability relationships," in Integration of AI and OR Techniques in Constraint Programming-11th International Conference (CPAIOR-2014), ser. Lecture Notes in Computer Science, H. Simonis, Ed., vol. 8451. Springer, 2014, pp. 464-479
7. L. Hunsberger, "A fast incremental algorithm for managing the execution of dynamically controllable temporal networks," in Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME-2010). Los Alamitos, CA, USA: IEEE Computer Society, 2010, pp. 121-128
8. "A faster execution algorithm for dynamically controllable stnus," in Proceedings of the 20th International Symposium on Temporal Representation and Reasoning (TIME-2013), C. Sanchez, K. B. Venable, and E. Zimanyi, Eds. IEEE, 2013, pp. 26-33
9. C. Combi, M. Gambini, S. Migliorini, and R. Posenato, "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, 2014 Online]. Available: http://dx.doi.org/10.1109/TSMC.2014.2300055
10. L. Hunsberger, R. Posenato, and C. Combi, "The Dynamic Controllability of Conditional STNs with Uncertainty," in Proceedings of the Workshop on Planning and Plan Execution for Real-World Systems: Principles and Practices (PlanEx) at ICAPS-2012, 2012, pp. 1-8
11. C. Combi, L. Hunsberger, and R. Posenato, "An algorithm for checking the dynamic controllability of a conditional simple temporal network with uncertainty," in Proceedings of the 5th International Conference on Agents and Artificial Intelligence (ICAART-2013), J. Filipe and A. L. N. Fred, Eds. SciTePress, 2013, pp. 144-156
12. K. B. Venable, M. Volpato, B. Peintner, and N. Yorke-Smith, "Weak and dynamic controllability of temporal problems with disjunctions and uncertainty," in Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS-2010) in ICAPS-2010, 2010, pp. 50-59
13. B. Peintner, K. B. Venable, and N. Yorke-Smith, "Strong controllability of disjunctive temporal problems with uncertainty," in Principles and Practice of Constraint Programming (CP-2007), 2007, pp. 856-863
14. A. Cimatti, A. Micheli, and M. Roveri, "Solving temporal problems using SMT: strong controllability," in Principles and Practice of Constraint Programming (CP-2012), 2012, pp. 248-264
15. A. Cimatti, L. Hunsberger, A. Micheli, and M. Roveri, "Using timed game automata to synthesize execution strategies for simple temporal networks with uncertainty," in Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI-2014), 2014
16. O. Maler, A. Pnueli, and J. Sifakis, "On the synthesis of discrete controllers for timed systems," in Proceedings of the 12th Symposium on Theoretical Aspects of Computer Science (STACS-1995), 1995, pp. 229-242
17. G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen, and D. Lime, "Uppaal-Tiga: Time for playing games!" in Proceedings of the 19th Conference on Computer Aided Verification (CAV-2007), ser. Lecture Notes in Computer Science, W. Damm and H. Hermanns, Eds. Springer Berlin Heidelberg, 2007, vol. 4590, pp. 121-125
18. D. Hollingsworth, "The workflow reference model," http://www.wfmc.org/standards/model.htm, 1995
19. J. Eder, E. Panagos, and M. Rabinovich, "Time constraints in workflow systems," in Advanced Information Systems Engineering, ser. LNCS, M. Jarke and A. Oberweis, Eds. Springer Berlin Heidelberg, 1999, vol. 1626, pp. 286-300
20. C. Combi and G. Pozzi, "Architectures for a temporal workflow management system," in Proceedings of the 2004 ACM Symposium on Applied Computing (SAC-2004). New York, NY, USA: ACM, 2004, pp. 659-666
21. C. Combi, M. Gozzi, R. Posenato, and G. Pozzi, "Conceptual modeling of flexible temporal workflows," ACM Transactions on Autonomous and Adaptive Systems, vol. 7, no. 2, pp. 19:1-19:29, 2012
22. C. Combi and R. Posenato, "Controllability in temporal conceptual workflow schemata," in Business Process Management, ser. LNCS, U. Dayal, J. Eder, J. Koehler, and H. Reijers, Eds. Springer Berlin Heidelberg, 2009, vol. 5701, pp. 64-79
23. P. Morris, N. Muscettola, and T. Vidal, "Dynamic control of plans with temporal uncertainty," in Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-2001), B. Nebel, Ed. Morgan Kaufmann, 2001, pp. 494-499
24. I. Tsamardinos, T. Vidal, and M. Pollack, "Ctp: A new constraint-based formalism for conditional, temporal planning," Constraints, vol. 8, no. 4, pp. 365-388, 2003
25. K. B. Venable and N. Yorke-Smith, "Disjunctive temporal planning with uncertainty," in Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), 2005, pp. 1721-1722
26. I. Tsamardinos and M. E. Pollack, "Efficient solution techniques for disjunctive temporal reasoning problems," Artificial Intelligence, vol. 151, pp. 43-89, 2003
27. F. Cassez, "Efficient on-the-fly algorithms for partially observable timed games," in Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-2007), 2007, pp. 5-24
28. R. Alur and D. L. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, no. 2, pp. 183-235, 1994.