% $Name:  $
%
% file: distribution for Smodels 
% 6/25/01
% updated: 12/06/01

%%%%%%%%%%%%%%%%%%%%%%%% RCS System %%%%%%%%%%%%%%%%%%%%%%%%%%%


This distribution contains the following files:

1.   rcs1          - Fluid Control System (high level) representation
2.   rcs2          - Valve Control System (low level) representation
3.   circuit       - Theory of Electrical Circuits representation
4-9. fhca, fhcb, fmc1, fmc2, fmc3, fmc4  -  RCS circuits representations
10.  plan          - Plan Generator Module
11.  heuristics    - Heuristics Module
12.  problem-base  - Problem Module: Initial Situation (Common Part)
13.  instance_XXX  - Problem Module: Initial Situation (Faults and Maneuver)
                     (located in the instances directories)
14.  hides         - Display Formatting Module


Examples
--------
There are several examples included. They are named instance_* and
located in the instances directories.

The automatically generated examples were randomly generated and involve 
from 3 to 8 mechanical faults and from 0 to 2 electrical faults. They are
located in instances/instances-auto/.

There are two difficult examples that were manually generated. They
involve a larger number of faults and longer plans. They are
located in instances/instances-manual/.


Testing the RCS
---------------

The RCS can be tested on two levels of detail. In both cases,
the number of steps N of the plan is part of the call to Smodels (see below).

1. The high level representation does not involve electrical faults.
Therefore it is not necessary to include files: rcs2, circuit, fhca, fhcb,
fmc1,...,fmc4, when calling Smodels. 

a. For planning use:

% lparse -c lasttime=N -d none rcs1 plan heuristics problem-base instance_XXX 
  hides | smodels


b. For checking a plan, modify the instance_XXX file by adding the plan to be
checked in the form of constraints, and use same call as above.


2. If the problem involves both electrical and mechanical faults, use the
low level representation files. To improve effciency, include in the Smodels 
call only the representation files of the faulty circuits.

a. When planning use:

% lparse -c lasttime=N -d none rcs1 rcs2 circuit fhca fmc3 plan heuristics
  problem-base instance_XXX hides | smodels


b. For checking a plan, add the plan to file instance_XXX in the form of
constraints, and use same call as above.




Disclaimer
----------

This system is part of on-going research work and should not be considered 
a finished product. Comments, suggestions, critics are very welcome.



Contact us
----------
The e-mail address for RCS related questions is: rcs@krlab.cs.ttu.edu