luafaudes

Tutorials

luafaudes Tutorial: diag_1_event.lua

To run the below Lua script, cd to the tutorial section of the respective plugin and enter ./luafaudes diag_1_event.lua at the command prompt. The script will read input data from ./tutorial/data/.

--  Diognoser synthesis example

-- Report
print('diagnosis: lua tutorial 1')
print('diagnosis: event diagnosis example')

-- Read nominal plant behaviour
nomdyn = faudes.System('data/diag_system_3.gen')
print('diagnosis: nominal plant dynamics from file')
nomdyn:Write()

-- Read failure partition and report
fmap = faudes.FailureTypeMap('data/diag_failure_typemap_3.txt')
print('diagnosis: failure type map from file')
fmap:Write()

-- Compute diagnoser
print('diagnosis: diagnoser synthesis')
diag=faudes.Diagnoser()
faudes.ComputeEventDiagnoser(nomdyn,fmap,diag)

-- Report result
print('diagnosis: result') 
diag:Write() 
diag:GraphWrite('tmp_diagnoser_1_lua.svg')
print('diagnosis: statistics (expect 5 states)') 
diag:SWrite()

-- Record test case
FAUDES_TEST_DUMP("diagnoser",diag)

libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"