File Formats

From DESUMA Wiki
File Formats
Jump to: navigation, search
Line 1: Line 1:
 
This page contains file formats for I/0.  
 
This page contains file formats for I/0.  
  
== Format of Input Files ==
+
== Format of [[Input File Formats|Input Files]] ==
  
 
[[Input File Formats#Individual FSM|machine.fsm]]: Data for individual FSM.
 
[[Input File Formats#Individual FSM|machine.fsm]]: Data for individual FSM.
Line 15: Line 15:
 
[[Input File Formats#Failure Partition for Building Diagnoser|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 File Formats|Output Files]] ==
  
 
[[Input File Formats#Individual FSM|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).

Revision as of 16:48, July 31, 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