systemstructure.eps

由matlab开发的hybrid系统的描述语言

gs 1 -1 sc (logic) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6525 35325 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 35775 m
gs 1 -1 sc (char *rh_name: name of variable on the right hand side) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
900 9225 m
gs 1 -1 sc (structure aff: affexp  linear mustaff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1125 10980 m
gs 1 -1 sc (struct aff *next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1125 10747 m
gs 1 -1 sc (double coeff: coefficient of the variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1112 10443 m
gs 1 -1 sc (char *name:name of variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1125 10215 m
gs 1 -1 sc (int nr: number of variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1162 16162 m
gs 1 -1 sc (structure da_eq: da elseifs elseif) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 16487 m
gs 1 -1 sc (int nr_z: number of z-variable\(Real aux\)) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 16982 m
gs 1 -1 sc (int nr_log: number of logic variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 17252 m
gs 1 -1 sc (int kind_log: kind of logic variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 17522 m
gs 1 -1 sc (char *name_log: name of logic variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 17792 m
gs 1 -1 sc (int neg_log: 1 if logic variable is inverted) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 16712 m
gs 1 -1 sc (char *name_z: name of  z-variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 18062 m
gs 1 -1 sc (double max:) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 18332 m
gs 1 -1 sc (double min:) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 18602 m
gs 1 -1 sc (logic *log: pointer to logic epxression) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 18872 m
gs 1 -1 sc (aff *aff: pointer to affine function) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 19142 m
gs 1 -1 sc (minmax *mm: pointer to minmax) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1337 19374 m
gs 1 -1 sc (struct da_eq *next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7200 17550 m
gs 1 -1 sc (z<=aff + max*\(1-log.var\)) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7200 17775 m
gs 1 -1 sc (z>=aff + min*\(1-log.var\)) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1275 22290 m
gs 1 -1 sc (int nr: number of delta) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1275 22523 m
gs 1 -1 sc (char *name: name of delta) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1223 22785 m
gs 1 -1 sc (aff *af: pointer to affine function) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1222 23250 m
gs 1 -1 sc (struct ad_eq *next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1268 23017 m
gs 1 -1 sc (minmax *mm) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5987 22895 m
gs 1 -1 sc (aff>=e+\(m-e\)delta) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5987 22625 m
gs 1 -1 sc (aff<= M\(1-delta\)) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5837 23187 m
gs 1 -1 sc (where M,m,e are in *mm) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1395 36540 m
gs 1 -1 sc (int rh_nr: number of right hand variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1537 39487 m
gs 1 -1 sc (structure da_list:  Da das) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5625 44325 m
gs 1 -1 sc (aff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5512 45412 m
gs 1 -1 sc (minmax) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7237 44250 m
gs 1 -1 sc (aff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6450 44063 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
8062 44026 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1935 46170 m
gs 1 -1 sc (structure logic : logicexp, logic, mustlogic) col0 sh gr
/Times-Roman-iso ff 240.00 scf sf
5738 49800 m
gs 1 -1 sc (\(a+b+c\)*\(a+c+e\)*\( ...\)*.....*\(....\)) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4522 50395 m
gs 1 -1 sc (several logic structure are multiplied an  form a logic epxression) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4522 50665 m
gs 1 -1 sc (as a product of sums) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4522 50125 m
gs 1 -1 sc (structure logic contains a sum of logic variables) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4522 51025 m
gs 1 -1 sc (logic->sum = 0 means "TRUE") col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4522 51295 m
gs 1 -1 sc (logic = 0 means "FALSE" if logic is not the last pointer in a list of logic structure) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2047 52838 m
gs 1 -1 sc (char *name: name of variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2047 53108 m
gs 1 -1 sc (int type: Real | Bool) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2047 53378 m
gs 1 -1 sc (int kind: state|input  aux) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2047 53648 m
gs 1 -1 sc (int nr: number of variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2047 53918 m
gs 1 -1 sc (int neg: 1 if inverted else 0) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2047 54188 m
gs 1 -1 sc (struct sumlist *next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6997 52973 m
gs 1 -1 sc (sumlist ) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4972 53423 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
9022 53423 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1822 52373 m
gs 1 -1 sc (structure sumlist:  ) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
3344 52398 m
gs 1 -1 sc (not used in bison as an semantic value) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2097 55367 m
gs 1 -1 sc (structure symrec:ident_s   idents_s  ident_i idents_i  ident_o idents_o  ident_p idents_p  ident_a idents_a ) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2097 55637 m
gs 1 -1 sc (interface state input output parameter aux) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 56250 m
gs 1 -1 sc (char *name: name of symbol) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 56520 m
gs 1 -1 sc (int kind: location of declaration) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 56790 m
gs 1 -1 sc (int type: Real or Bool) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 57060 m
gs 1 -1 sc (int count: number of symbol) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 57330 m
gs 1 -1 sc (union{double val:value of a Real variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 57600 m
gs 1 -1 sc (        int log: value of a Bool variable}) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 57870 m
gs 1 -1 sc (struct symrec *next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7425 56700 m
gs 1 -1 sc (symrec) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
9000 56700 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6300 56700 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2475 58725 m
gs 1 -1 sc (the symbol table consists of a linked list of symrec) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 60075 m
gs 1 -1 sc (structure logic_struct: Logic logics) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 60615 m
gs 1 -1 sc (logic *log:pointer to logic expression ) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 60885 m
gs 1 -1 sc (struct logic_struct *next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5850 60750 m
gs 1 -1 sc (log) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7650 60750 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
9450 60525 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6525 60750 m
gs 1 -1 sc (logic) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
8550 60750 m
gs 1 -1 sc (logic) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
3150 62325 m
gs 1 -1 sc (logic_struct) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2475 63450 m
gs 1 -1 sc (structure linear_list:Linear linears) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2475 63990 m
gs 1 -1 sc (aff *af:pointer to affine function) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2475 64260 m
gs 1 -1 sc (struct linear_list *next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6300 64125 m
gs 1 -1 sc (aff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7200 64125 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5625 64125 m
gs 1 -1 sc (af) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
3825 65025 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
3825 61650 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
3150 65700 m
gs 1 -1 sc (linear_list) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
3825 66375 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5625 65430 m
gs 1 -1 sc (af) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2475 67725 m
gs 1 -1 sc (structure loglist:  not used as a bison semantic value) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2475 68535 m
gs 1 -1 sc (struct loglist *next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2475 68265 m
gs 1 -1 sc (double *row: pointer to a row of the matrices [ E2 E3 E1 E4  E5]) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4500 69975 m
gs 1 -1 sc (loglist) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
8325 68175 m
gs 1 -1 sc (row) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6300 69750 m
gs 1 -1 sc (row) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4950 69300 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4950 70875 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7650 46710 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
9180 46665 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
10800 46710 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
10800 48465 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
9180 48465 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7605 48420 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1575 2925 m
gs 1 -1 sc  90.0 rot (update_c) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2475 2925 m
gs 1 -1 sc  90.0 rot (auto) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
3375 2925 m
gs 1 -1 sc  90.0 rot (ad_eq) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4275 2925 m
gs 1 -1 sc  90.0 rot (da_eq) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
450 1575 m
gs 1 -1 sc (ptr_update_c) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1620 1575 m
gs 1 -1 sc (ptr_autom) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2790 1620 m
gs 1 -1 sc (ptr_ad) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1350 225 m
gs 1 -1 sc (structure impl: implementation, system) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
900 5535 m
gs 1 -1 sc (struct update_c *next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
900 5265 m
gs 1 -1 sc (aff *ptr_aff: pointer to  aff.function) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
675 4050 m
gs 1 -1 sc (structure update_c: ) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2475 4050 m
gs 1 -1 sc (Continuous) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
3600 4050 m
gs 1 -1 sc (mcontinuous) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4950 4050 m
gs 1 -1 sc (continuous) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2925 6075 m
gs 1 -1 sc (next) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5175 4725 m
gs 1 -1 sc (aff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6975 4725 m
gs 1 -1 sc (aff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
8775 4725 m
gs 1 -1 sc (aff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5175 6750 m
gs 1 -1 sc (aff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6975 6750 m
gs 1 -1 sc (aff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
8775 6750 m
gs 1 -1 sc (aff) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
900 4725 m
gs 1 -1 sc (int nr: number of update-variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
900 4995 m
gs 1 -1 sc (char *name: name of update-variable) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
1575 8325 m
gs 1 -1 sc (x1\(t+1\)) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
4050 8325 m
gs 1 -1 sc (=) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5175 8325 m
gs 1 -1 sc (3*x1) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6975 8325 m
gs 1 -1 sc (-2*x2) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
9000 8325 m
gs 1 -1 sc (+1*u1) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
2250 6525 m
gs 1 -1 sc (update_c) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5850 2925 m
gs 1 -1 sc  90.0 rot (out) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6750 2925 m
gs 1 -1 sc  90.0 rot (must) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7650 2925 m
gs 1 -1 sc  90.0 rot (logic) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
8550 2925 m
gs 1 -1 sc  90.0 rot (linear) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
8100 1575 m
gs 1 -1 sc (ptr_Linear) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
7200 1800 m
gs 1 -1 sc (ptr_logic) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
6300 1575 m
gs 1 -1 sc (ptr_musts) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
5400 1800 m
gs 1 -1 sc (ptr_output) col0 sh gr
/Times-Roman-iso ff 210.00 scf sf
3825 1575 m
gs 1 -1 sc (ptr_da) col0 sh gr
$F2psEnd
rs