Graphics enhanced version of this site

OZONE/DITOPS
This project is no longer active.

Head: Stephen Smith

Mailing address:
Carnegie Mellon University
Robotics Institute
5000 Forbes Avenue
Pittsburgh, PA 15213

Associated center: CIMDS
Associated lab/group: Intelligent Coordination and Logistics Laboratory

For more information, see this project's homepage.

We are developing theories, techniques and software architectures that address these problems, enabling both flexible collaborative problem solving between user and system, and flexible reconfiguration of system functionality to accommodate new domains and/or domain requirements. Our approach to mixed-initiative systems properly recognizes scheduling for what it is in most practical domains: an iterative process of "getting the constraints right" in which humans always have strategic, big-picture decision-making expertise and knowledge to contribute but are unable to effectively cope with the complexity of detailed solution development. We are developing a collaborative scheduling framework based on this process viewpoint, where the user visualizes and manipulates solutions from comprehensible, aggregate perspectives, and the system incrementally manages the details of user changes in accordance with communicated goals and expectations. Our approach to scheduling system architecture builds from object technology concepts. We are developing a general "ontology" of scheduling concepts to enable application in different domains and allow integration with other, complementary problem solving and information processing services. Our broader goal is a planning and scheduling "tool box", an application construction environment which couples a system configuration infra-structure with expandable libraries of functional componentry.

Name - Title <Email Address>
• [Home] Marcel Becker - Systems Scientist
• Eric Biefeld - Senior Research Programmer
• Charles Collins - Research Programmer <cwc@cs.cmu.edu>
• [Home] David Hildum - Project Scientist <hildum@cs.cmu.edu>
• Laurence Kramer - Assoc Dir- Intelligent Coord Logistics <lkramer@cs.cmu.edu>
• Ora Lassila - Visiting Scientist
• Dirk Lemmermann - Senior Research Programmer
• [Home] Garrett Pelton - Visiting Resaerch Staff, LTI <gap+@cs.cmu.edu>
• Mark Shieh - Research Programmer
• [Home] Stephen Smith - Research Professor <sfs@cs.cmu.edu>
• Allen Tseng - Research Programmer
• [Home] Qu Zhou - Project Scientist

• AMC Barrelmaster Scheduling - Integrated management of airlift and tanker missions at the USAF Air Mobility Command.
• HSTS Space Observatory Scheduler - HSTS has been developed and applied principally in the context of space-based observatory scheduling problems.
• Scheduling and Visualization - This project is investigating the development of next-generation environments for collaborative analysis and management of large-scale schedules.

Note: This list may not be comprehensive. It contains only those publications in the RI publications database. Entries are listed in reverse chronological order.

• An Ontology for Constructing Scheduling Systems
  S. Smith and M. Becker
  Working Notes of 1997 AAAI Symposium on Ontological Engineering, AAAI Press, March, 1997. [Abstract]
  Download: pdf [147 KB], ps.gz [55 KB] copyrighted

• Configurable, Mixed-Initiative Systems for Planning and Scheduling
  S. Smith, O. Lassila, and M. Becker
  Advanced Planning Technology, A. Tate, ed., AAAI Press, May, 1996. [Abstract]
  Download: pdf [119 KB], ps.gz [45 KB] copyrighted

• Using DITOPS as a Tool for Mixed-Initiative Schedule Improvement
  M. Becker and S. Smith
  May, 1996.
  Download: pdf [1046 KB], ps.gz [1090 KB] copyrighted

• OZONE Distributed Communication Library
  O. Lassila and M. Becker
  tech. report CMU-RI-TR-96-11, Robotics Institute, Carnegie Mellon University, March, 1996. [Abstract]
  Download: pdf [82 KB], ps.gz [33 KB] copyrighted

• OZONE Temporal Constraint Propagator
  O. Lassila
  tech. report CMU-RI-TR-96-12, Robotics Institute, Carnegie Mellon University, March, 1996. [Abstract]
  Download: pdf [944 KB] copyrighted

• An Exploratory Prototype for Air Medical Evacuation Re-Planning
  O. Lassila, M. Becker, and S. Smith
  tech. report CMU-RI-TR-96-03, Robotics Institute, Carnegie Mellon University, February, 1996. [Abstract]
  Download: pdf [566 KB], ps.gz [659 KB] copyrighted

• Flexible Coordination in Resource-Constrained Domains
  S. Smith and K. Sycara
  tech. report CMU-RI-TR-93-17, Robotics Institute, Carnegie Mellon University, December, 1993.
  Download: pdf [1313 KB], ps.gz [140 KB] copyrighted