File Formats

From DESUMA Wiki
File Formats
Jump to: navigation, search
Line 3: Line 3:
 
== Format of Input Files ==
 
== Format of Input Files ==
  
machine.fsm: Data for individual FSM.
+
[[Input File Formats#Individual FSM|machine.fsm]]: Data for individual FSM.
  
machine.stoc: Stochastic data for machine.fsm.
+
[[Input File Formats#Stochastic Information for an FSM|machine.stoc]]: Stochastic data for machine.fsm.
  
glob_sens.map: Global sensor map for sensmap
+
[[Input File Formats#Sensor Data Map (compose)|glob_sens.map]]: Global sensor map for sensmap
  
sensor_datam.map: sensor data map for the system.
+
[[Input File Formats#Global Sensor Map for the System (sensmap)|sensor_datam.map]]: sensor data map for the system.
  
events.if: Events map for the system (I-diagnosability).
+
[[Input File Formats#Events Map for the System (I-Diagnosability)|events.if]]: Events map for the system (I-diagnosability).
  
g.ft: Failure partition for building diagnoser
+
[[Input File Formats#Failure Partition for Building Diagnoser|g.ft]]: Failure partition for building diagnoser
  
 
== Format of Output Files ==
 
== Format of Output Files ==
  
g.fsm: Data for individual FSM (same as input FSM).
+
[[Input File Formats#Individual FSM|g.fsm]]: Data for individual FSM (same as input FSM).
  
g.diag: Diagnoser of FSM.
+
[[Output File Formats#Diagnoser|g.diag]]: Diagnoser of FSM.
  
h_diag.fsm: Diagnoser written in FSM format.
+
[[Output File Formats#Diagnoser FSM|h_diag.fsm]]: Diagnoser written in FSM format.
  
g.idiag: I-diagnoser of FSM.
+
[[Output File Formats#Diagnoser|g.idiag]]: I-diagnoser of FSM.
  
g.sdiag: Diagnoser of FSM in simplified format.
+
[[Output File Formats#Simplified Diagnoser|g.sdiag]]: Diagnoser of FSM in simplified format.
  
h.cycles: Fi-indeterminate cycles in h.diag.
+
[[Output File Formats#Fi-indeterminate Cycles|h.cycles]]: Fi-indeterminate cycles in h.diag.
  
hi.cycles: (Fi,li)-indeterminate cycles in hi.diag.
+
[[Output File Formats#Fi-indeterminate Cycles for Multiple Failure Diagnoser and (Fi,li)-indeterminate Cycles|hi.cycles]]: (Fi,li)-indeterminate cycles in hi.diag.

Revision as of 21:33, July 30, 2013

This page contains file formats for I/0.

Format of Input Files

machine.fsm: Data for individual FSM.

machine.stoc: Stochastic data for machine.fsm.

glob_sens.map: Global sensor map for sensmap

sensor_datam.map: sensor data map for the system.

events.if: Events map for the system (I-diagnosability).

g.ft: Failure partition for building diagnoser

Format of Output Files

g.fsm: Data for individual FSM (same as input FSM).

g.diag: Diagnoser of FSM.

h_diag.fsm: Diagnoser written in FSM format.

g.idiag: I-diagnoser of FSM.

g.sdiag: Diagnoser of FSM in simplified format.

h.cycles: Fi-indeterminate cycles in h.diag.

hi.cycles: (Fi,li)-indeterminate cycles in hi.diag.

Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools