Behavior composition in the presence of failure

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 640-650

  Sardina, Sebastian ^a   Patrizi, Fabio ^b   De Giacomo, Giuseppe ^b  

^a RMIT UNIVERSITY   (Australia)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATIVE SYNTHESIS; BEHAVIOR COMPOSITION; CONTROLLABLE BEHAVIORS; FINITE-STATE TRANSITION SYSTEMS; ON THE FLIES; POTENTIAL FAILURES; ROBUST BEHAVIOR;

KNOWLEDGE REPRESENTATION;

EID: 84860524762     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Alura, R.; Henzinger, T. A.; and Kupferman, O. 2002. Alternating-time temporal logic. Journal of the ACM 49(5):672-713.
2. Asarin, E.; Maler, O.; Pnueli, A.; and Sifakis, J. 1998. Controller synthesis for timed automata. In Proceedings of the IFAC Conference on System Structure and Control, 469-474.
3. Berardi, D.; Calvanese, D.; De Giacomo, G.; Hull, R.; and Mecella, M. 2005. Automatic composition of transitionbased semantic web services with messaging. In Proceedings of the International Conference on Very Large Data Bases (VLDB), 613-624.
4. Berardi, D.; Cheikh, F.; De Giacomo, G.; and Patrizi, F. 2008. Automatic service composition via simulation. International Journal of Foundations of Computer Science 19(2):429-452.
5. Clarke, E. M.; Grumberg, O.; and Peled, D. A. 1999. Model checking. Cambridge, MA, USA: The MIT Press.
6. De Giacomo, G., and Sardina, S. 2007. Automatic synthesis of new behaviors from a library of available behaviors. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1866-1871.
7. Gentilini, R.; Piazza, C.; and Policriti, A. 2003. From bisimulation to simulation: Coarsest partition problems. Journal of Automed Reasoning 31(1):73-103.
8. Georgeff, M. P., and Lansky, A. L. 1987. Reactive reasoning and planning. In Proceedings of the National Conference on Artificial Intelligence (AAAI), 677-682.
9. Ghallab, M.; Nau, D.; and Traverso, P. 2004. Automated Planning: Theory and Practice. Morgan Kaufmann.
10. Grosz, B. J., and Kraus, S. 1996. Collaborative plans for complex group action. Artificial Intelligence Journal 86(2):269-357.
11. Harel, D.; Kozen, D.; and Tiuryn, J. 2000. Dynamic Logic. The MIT Press.
12. Henzinger, M. R.; Henzinger, T. A.; and Kopke, P. W. 1995. Computing simulations on finite and infinite graphs. In Procedings of the 36th Annual Symposium on Foundations of Computer Science (FOCS), 453-462.
13. Katz, M. J., and Rosenschein, J. S. 1993. The generation and execution of plans for multiple agents. Computers and Artificial Intelligence 12(1):5-35.
14. Kupferman, O., and Vardi, M. Y. 1996. Module checking. In Proceedings of the 8th International Conference on Computer Aided Verification (CAV), 75-86. London, UK: Springer-Verlag.
15. Marin, O.; Bertier, M.; and Sens, P. 2003. Darx - A framework for the fault tolerant support of agent software. In Proceedings of the 14th IEEE International Symposium on Software Reliability Engineering (ISSRE).
16. McIlraith, S., and Son, T. C. 2002. Adapting Golog for programming the semantic web. In Principles of Knowledge Representation and Reasoning (KR), 482-493.
17. Milner, R. 1971. An algebraic definition of simulation between programs. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 481-489.
18. Muscholl, A., andWalukiewicz, I. 2007. A lower bound on web services composition. In Proceedings of the 10th Int. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS), volume 4423 of Lecture Notes in Computer Science (LNCS). Springer.
19. Pettersson, O. 2005. Execution monitoring in robotics: A survey. Robotics and Autonomous Systems 53(2):73-88.
20. Piterman, N.; Pnueli, A.; and Sa'ar, Y. 2006. Synthesis of reactive(1) designs. In Emerson, E. A., and Namjoshi, K. S., eds., Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), volume 3855 of Lecture Notes in Computer Science (LNCS), 364-380. Charleston, SC, USA: Springer.
21. Pnueli, A., and Rosner, R. 1989. On the synthesis of a reactive module. In Proceedings of the ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 179-190.
22. Sardina, S.; Patrizi, F.; and De Giacomo, G. 2007. Automatic synthesis of a global behavior from multiple distributed behaviors. In Proceedings of the National Conference on Artificial Intelligence (AAAI), 1063-1069.
23. Tan, L., and Cleaveland, R. 2001. Simulation revisited. In In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2031 of LNCS, 480-495.
24. Tripathi, A., and Miller, R. 2001. Exception handling in agent-oriented systems. In Exception Handling, volume 2022 of Lecture Notes in Computer Science (LNCS), 128- 146. Springer-Verlag.
25. Vardi, M., and Fisler, K. 1999. Bisimulation and model checking. In Proceedings of the Conference on Correct Hardware Design and Verification Methods (CHARME), 338-341. 650.