Making an autonomous robot plan temporally constrained maintenance operations

  • S. Badaloni
  • E. Pagello
  • L. Stocchiero
  • A. Zanardi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 728)


We present a system that can determine temporal scheduling of actions of an autonomous mobile robot by constructing a plan taking into account temporal constraints. Both qualitative and metric temporal information are represented in a constraint based network. Planning tasks are performed on the basis of the knowledge derived by this temporal knowledge representation system. Ordering temporally qualified actions falls out from maintaining temporal consistency. We applied it to plan under temporal constraints the actions of a manipulator mounted on a mobile platform in the case of the maintenance intervention over a hydraulic circuit.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J.F. Allen: Maintaining knowledge about temporal intervals. CACM 26, 11, pg. 832–843, 1983.Google Scholar
  2. 2.
    J.F. Allen: Toward a general theory of action and time. Artificial Intelligence vol. 23, pg. 123–154, 1984.Google Scholar
  3. 3.
    J.F. Allen, H.A. Kautz, R.N. Pelavin, J.D. Tenenberg: Reasoning about plans. Morgan Kaufmann, San Mateo, Calif., 1991.Google Scholar
  4. 4.
    M. Aspes, L. Bortoli, L. Orsenigo, L. Maini & M. Maini.: Multisensory Autonomous Robotic Inspection and Manipulation in an Unstructured Environment. Robotics and Automation IEEE Newsletter, Vol. 6, No. 4, pp. 22, 32, 1992.Google Scholar
  5. 5.
    S. Badaloni, E. Pagello & C. Sossai: An Autonomous Mobile Robot in a Temporally Rich Domain: Some Considerations from the Standpoint of A.I. In T. Kanade, F.C.A. Groen and L.O. Hertzberger (Eds.), Proc. of IAS-2, Amsterdam, pp. 672–682, 1989.Google Scholar
  6. 6.
    P. Bison, C.Mirolo, E. Pagello & L. Stocchiero: Grasp Planning for a Three-fingered Hand. Chapter 16.6 of the book on “Integration of Robots into CIM”, R. Bernhardt, R. Dillman, K. Hörmann, K. Tierney (Eds.), Chapman & Hall 1992, pp. 155–164Google Scholar
  7. 7.
    G. Chemello, E. Pagello, C. Sossai, L. Stocchiero: Reasoning and planning on sensor data: an application of a many-valued logic. In Proc. of the ISIR '92 Workshop, Barcellona, pp. 61–66, 1992.Google Scholar
  8. 8.
    P.E. Fikes, N.J. Nilsson: STRIPS: A new approach of theorem proving to problem solving. Artificial Intelligence 2, pg. 189–208, 1971.Google Scholar
  9. 9.
    C. Freksa: Temporal Reasoning based on Semi-Intervals. Artificial Intelligence vol. 54, pg. 199–227, 1992.Google Scholar
  10. 10.
    J.Jaffar, S.Michaylov: Methodology and implementation of a CLP system. Proc. of the 4th Int. Conf. on Logic Programming, Melbourne, pg.196–218, 1987.Google Scholar
  11. 11.
    H.A.Kautz, P.B.Ladkin: Integrating metric and qualitative temporal reasoning. Working Notes AAAI Spring Symposium Series, 1991.Google Scholar
  12. 12.
    I. Meiri: Combining Qualitative and Quantitative Constraints in Temporal Reasoning. Working Notes on AAAI Spring Symphosium Series, 1991.Google Scholar
  13. 13.
    C. Mirolo & E. Pagello: A Solid Modelling System for Robot Action Planning. IEEE C.G. & A., Vol. 9, No.1, pp. 29–34, 1989.Google Scholar
  14. 14.
    C. Mirolo & E. Pagello: Local Geometric Issues for Spatial Reasoning in Robot Motion Planning. In Proc. of IROS '91, Osaka. pp. 569–574, 1991.Google Scholar
  15. 15.
    E. Modolo & E. Pagello: Collision Avoidance Detection in Space and Time Planning for Autonomous Robots. Proc. of the Intelligent Autonomous Systems (IAS-3), Pittsburgh Feb. 15–18, 1993, F.C.A. Groen, S. Hirose, C. C. Thorpe Eds., IOS Press, pp. 216–227, 1993.Google Scholar
  16. 16.
    E.Pagello: Planning Manipulation Task in a Unstructured Environment (in italian). Proc. of the 2nd Meeting of PFR,U. Cugini Ed. May 1991 Milano, Italy, pp. 159–175Google Scholar
  17. 17.
    S. Vere: “Planning in time: windows and durations for activities and goals”, IEEE Trans. P.A.M.I. 5 (3), pg. 246–267, 1983.Google Scholar
  18. 18.
    M.Vilain, H.Kautz, P.vanBeek: Constraint Propagation Algorithms for Temporal Reasoning: a revised report, in D.S.Weld, J.DeKleer: Readings in Qualitative Reasoning about Physical Systems, Morgan-Kaufmann ed., pg.373–381, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • S. Badaloni
    • 1
  • E. Pagello
    • 1
    • 2
  • L. Stocchiero
    • 2
  • A. Zanardi
    • 2
  1. 1.Dipartimento di Elettronica e InformaticaPadovaItaly
  2. 2.LADSEB-CNRPadovaItaly

Personalised recommendations