系统解析装置、设计不当解析装置、故障模式解析装置、故障树解析装置、自主动作装置及自主动作控制系统

摘要

本发明的目的在于提供一种可对动态地确定输入输出关系的系统进行恰当的解析的系统解析装置。本发明以内部状态因输入而变化、且对应于输入的输出根据所述内部状态的变化而变化的系统为对象，且包括：状态转移模型构建单元，其根据所述系统的状态转移规则来构建状态转移模型，所述状态转移模型包含所述系统可取的多个状态值和各状态值间的转移路径；初始状态值设定单元，其从所述多个状态值中设定满足规定的开始时条件的初始状态值；最终状态值设定单元，其从所述多个状态值中设定满足规定的结束时条件的最终状态值；以及状态转移路径有无判定单元，其判定在所述状态转移模型中是否存在从所述最终状态值到达至所述初始状态值的状态转移路径。