Realizing multiple autonomous agents through scheduling of shared devices

ICAPS 2008 - Proceedings of the 18th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2008, Pages 304-312

  Sardina, Sebastian ^a   De Giacomo, Giuseppe ^b  

^a RMIT UNIVERSITY   (Australia)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; CLEANING; COMPUTATIONAL COMPLEXITY; FUZZY CLUSTERING; SCHEDULING; SPECIFICATIONS;

BEHAVIOR SPECIFICATIONS; CLEANING AGENTS; REACTIVE SYSTEMS; ROBOTIC ARM; TRANSITION SYSTEMS;

AUTONOMOUS AGENTS;

EID: 58849103582     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Alur, R.; Henzinger, T. A.; Mang, F. Y. C.; Qadeer, S.; Rajamani, S. K.; and Tasiran, S. 1998. MOCHA: Modularity in model checking. In Proc. of the 10th International Conference on Computer Aided Verification (CAV), 521-525.
2. Alura, R.; Henzinger, T. A.; and Kupferman, O. 2002. Alternating-time temporal logic. Journal of the ACM 49:672-713.
3. Berardi, D.; Calvanese, D.; De Giacomo, G.; Hull, R.; and Mecella, M. 2005. Automatic composition of transition-based semantic web services with messaging. In Proc. of the International Conference on Very Large Data Bases (VLDB), 613-624.
4. Bordignon, M.; Rashid, J.; Broxvall, M.; and Saffiotti, A. 2007. Seamless integration of robots and tiny embedded devices in a
5. PEIS-ecology. In Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 3101-3106. Clarke, E. M.; Grumberg, O.; and Peled, D. A. 1999. Model checking. Cambridge, MA, USA: MIT Press.
6. De Giacomo, G., and Sardina, S. 2007. Automatic synthesis of new behaviors from a library of available behaviors. In Proc. of the International Joint Conference on Artificial Intelligence (IJ-CAI), 1866-1871.
7. Demolombe, R., and Otermin Fernandez, A. M. 2006. Intention recognition in the situation calculus and probability theory frameworks. In Proc. of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), volume 3900 of LNCS, 358-372.
8. Kim, J.; Kim, Y.; and Lee, K. 2004. The third generation of robotics: Ubiquitous robot. In Proc. of the IEEE International Conference on Robotics and Automation (ICRA), 1-7.
9. Lawler, E.; Lenstra, L.; Rinnooy Kan, A.; and Shmoys, D. 1993. Sequencing and Scheduling: Algorithms and Complexity, volume 4 of Logistics of Production and Inventory, Handbooks in Operations Research and Management Science. North-Holland. chapter 9, 445-522.
10. Lee, J., and Hashimoto, H. 2002. Intelligent space: Concept and contents. Advanced Robotics 16(3):265-280.
11. Lundh, R.; Karlsson, L.; and Saffiotti, A. 2007. Plan-based configuration of an ecology of robots. In Proc. of the IEEE International Conference on Robotics and Automation (ICRA), 64-70.
12. Lundh, R.; Karlsson, L.; and Saffiotti, A. 2008. Automatic configuration of multi-robot systems: Planning for multiple steps. In Proc. of the European Conference in Artificial Intelligence (ECAI).
13. Mcllraith, S., and Son, T. C. 2002. Adapting Golog for programming the semantic web. In Proc. of Principles of Knowledge Representation and Reasoning (KR), 482-493.
14. Muscholl, A., and Walukiewicz, I. 2007. A lower bound on web services composition. In Proc. of the International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 4423 of LNCS, 274-286.
15. Parr, R., and Russell, S. 1998. Reinforcement learning with hierarchies of machines. Advances in Neural Information Processing Systems 10:1043-1049.
16. Piterman, N.; Pnueli, A.; and Sa'ar, Y. 2006. Synthesis of reactive(1) designs. In Proc. of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), volume 3855 of LNCS, 364-380.
17. Pnueli, A., and Rosner, R. 1989. On the synthesis of a reactive module. In Proc. of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 179-190.
18. Ramadge, P. J., and Wonham, W. M. 1993. The control of discrete event systems. Proc. of the IEEE 77(1):81-98.
19. Saffiotti, A., and Broxvall, M. 2005. PEIS ecologies: Ambient intelligence meets autonomous robotics. In Proc. of the International Conference on Smart Objects and Ambient Intelligence, 275-280.
20. Sardina, S.; Patrizi, F; and De Giacomo, G. 2007. Automatic synthesis of a global behavior from multiple distributed behaviors. In Proc. of the National Conference on Artificial Intelligence (AAAI), 1063-1069.
21. Vardi, M. Y. 1996. An automata-theoretic approach to linear temporal logic. In Logics for Concurrency: Structure versus Automata, volume 1043 of LNCS. Springer. 238-266.