Carnegie Mellon University
OZONE Temporal Constraint Propagator

Ora Lassila
tech. report CMU-RI-TR-96-12, Robotics Institute, Carnegie Mellon University, March, 1996

  • Adobe portable document format (pdf) (944KB)
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

This report describes the temporal constraint propagator of the OZONE framework for planning and scheduling applications. The role of the propagator is to maintain temporal consistency in networks of activities, enforcing temporal constraints and limiting the search needed when generating a schedule. Unlike some other time bound propagators based on various shortest path algorithms, this one is based on the well-known AC-3 arc consistency algorithm by A.K. Mackworth.

In addition to documenting the constraint propagation architecture of OZONE and the functional requirements of the propagator, as well as describing the actual propagation algorithm, this report serves as a programmer's reference to the functional interface to the propagator. It also gives has notes about the internal design of the system and documents the most important internal functions.

Grant ID: DAAE07-90-C-R059, TEC: DACA76-89-C0014
Associated Center(s) / Consortia: Center for Integrated Manfacturing Decision Systems
Associated Lab(s) / Group(s): Intelligent Coordination and Logistics Laboratory
Associated Project(s): OZONE/DITOPS
Number of pages: 30

Text Reference
Ora Lassila, "OZONE Temporal Constraint Propagator," tech. report CMU-RI-TR-96-12, Robotics Institute, Carnegie Mellon University, March, 1996

BibTeX Reference
   author = "Ora Lassila",
   title = "OZONE Temporal Constraint Propagator",
   booktitle = "",
   institution = "Robotics Institute",
   month = "March",
   year = "1996",
   number= "CMU-RI-TR-96-12",
   address= "Pittsburgh, PA",