set SLOT := 0 1 2 ;

# Defining set "UNIT" and the UnitLen parameter
param :UNIT:	UnitLen :=
	0	17.140
	1	16.165
	2	16.165
	3	16.165 ;

# Defining set "CNTNR" and parameters len, val, sav, RptDeadline, prTimely, and prDetect
param :CNTNR:   len     sav     RptDeadline     prTimely        prDetect        FlsAlrm :=
	1	6.1	22700	0.25		0.900		0.800		5.00E-3
	2	6.1	29200	1.00		0.890		0.810		5.00E-3
	3	12.2	8700	0.50		0.875		0.830		5.00E-3
	4	12.2	24300	1.00		0.900		0.840		5.00E-3
	5	12.2	21600	0.50		0.880		0.880		5.00E-3
	6	13.7	82700	0.50		0.910		0.890		5.00E-3
	7	13.7	101600	0.33		0.900		0.890		5.00E-3 ;

# Defining set "COMMDEV" and parameters FA, PD, rho, lambda, and prTau
param :COMMDEV: lambda :=
	1	9.00E-2
	2	9.00E-2
	3	9.00E-2
	4	9.00E-2
	5	9.00E-2
	6	9.00E-2
	7	9.00E-2 ;

# Defining container locations. Column headings=slots. Rows names=containers
# param y {CNTNR, SLOT, UNIT}
param y  default 0 :=
	5  0  1 1	7  1  1 1	4  0  2 1	6  1  1 1
	1  0  3 1	2  2  3 1	3  1  3 1 ;

param cAlph     := 20000;
param cCell     := 5E-5;
param cInSnsr   := 1;
param cRptr     := 500;
param cTrackRptr := 1000;
param cTrackCell := 1000;
param cBackCell := 500;
param trips     := 0.923;
param ReaderPasses := 14 ;
param LTcell    := 104;
param LTreader  := 104;
param msgLen    := 690;
param EvtRate   := 0.2;
param RTT       := 1.078E-3;            # 3.88 sec
param TripLen   := 1984;
param FixedCost := 0.0;
param FP2	:= 9.000;		# Cost multiplier for prob. of detection
param FP3	:= 11.250;		# Cost multiplier for prob. of successful comms
param FP4	:= 9.009;		# Cost multiplier for prob. of false alarm
param FP5	:= 200;			# Cost multiplier for sensor tx range
param FP6	:= 0.0025;		# Cost multiplier for inverse of sensor read time
param minDedln	:= 0.0833;		# Sample value to initialize model. This is 5 mins.
param DotX	:= 45.0;
param MaxSpeed	:= 240;