公开(公告)号：EP0917032A2

公开(公告)日：1999-05-19

申请号：EP99100408.6

申请日：1994-10-28

申请人： MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD.

发明人： Kanno, Yuji

IPC分类号： G05B19/045 ,  G06F7/00 ,  G06F17/50 ,  G06K9/68 ,  G06F17/30

CPC分类号： G05B19/042 ,  G05B19/0426 ,  G05B19/045 ,  G05B2219/23289 ,  G05B2219/31451 ,  G05B2219/32165 ,  G05B2219/32166 ,  G05B2219/32353 ,  G06F7/00 ,  G06F17/504 ,  G06K9/68 ,  Y02P90/26 ,  Y10S707/99943

摘要： A constructing method of a finite state machine with failure transitions FFM is disclosed. The machine FFM is constructed from a nondeterministic finite-state machine and a string of external inputs. States in the machine FFM is formed of a state set q included in the nondeterministic finite-state machine and a set p defined as a subset of the state set q, and the number of states is finite. Also, an external input c takes the machine FFM from a current state s to a next state g(s,c) and an output µ(s) is output from the next state g(s,c) in cases where a value g(s,c) of a success function g is defined, and an external input c takes the machine FFM from the current state s to a state g(f(f···f(s)···)) determined by repeatedly calculating a value f(s) of a failure function f until a value g(f(f···f(s)···)) defined is found out in cases where the value g(s,c) of the success function g is not defined. Because all of transitions from the current state s for all external inputs c are not defined by the success function g, a storage capacity for storing the machine FFM is considerably reduced.

摘要翻译： 有限状态机的失败的一个构造方法转变FFM是游离缺失盘。 机器FFM从非确定性有限状态机和外部输入的字符串构成。 国在机器FFM形成包括在非确定性有限状态机中的状态设定q和定义为状态集合Q的一个子集的一组p和是有限状态的数量的。 所以，外部输入的C需要从当前状态s机器FFM到下一状态克（S，C），并输出μ（s）为从下一状态克（S，C）的情况下的值G输出 （S，C）的一个成功函数g定义，以及外部输入的C需要从当前状态s机器FFM通过反复开采的状态下对g（f（F ... F（S）...））的确定性 计算失败函数f的值F（S），直至一个值克（F（F ... F（S）...））中所定义的情况下被发现在那里将数值克（S，C）的成功的 函数g没有定义。 因为所有从当前状态s为c的不被成功函数g定义的所有外部输入转变的，用于存储机器FFM的存储容量显着减少。

公开(公告)号：EP0917030A2

公开(公告)日：1999-05-19

申请号：EP99100406.0

申请日：1994-10-28

申请人： MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD.

发明人： Kanno, Yuji

IPC分类号： G05B19/045 ,  G06F7/00 ,  G06F17/50 ,  G06K9/68 ,  G06F17/30

CPC分类号： G05B19/042 ,  G05B19/0426 ,  G05B19/045 ,  G05B2219/23289 ,  G05B2219/31451 ,  G05B2219/32165 ,  G05B2219/32166 ,  G05B2219/32353 ,  G06F7/00 ,  G06F17/504 ,  G06K9/68 ,  Y02P90/26 ,  Y10S707/99943

摘要： A constructing method of a finite state machine with failure transitions FFM is disclosed. The machine FFM is constructed from a nondeterministic finite-state machine and a string of external inputs. States in the machine FFM is formed of a state set q included in the nondeterministic finite-state machine and a set p defined as a subset of the state set q, and the number of states is finite. Also, an external input c takes the machine FFM from a current state s to a next state g(s,c) and an output µ(s) is output from the next state g(s,c) in cases where a value g(s,c) of a success function g is defined, and an external input c takes the machine FFM from the current state s to a state g(f(f···f(s)···)) determined by repeatedly calculating a value f(s) of a failure function f until a value g(f(f···f(s)···)) defined is found out in cases where the value g(s,c) of the success function g is not defined. Because all of transitions from the current state s for all external inputs c are not defined by the success function g, a storage capacity for storing the machine FFM is considerably reduced.

摘要翻译： 有限状态机的失败的一个构造方法转变FFM是游离缺失盘。 机器FFM从非确定性有限状态机和外部输入的字符串构成。 国在机器FFM形成包括在非确定性有限状态自动机的状态集q和定义为状态集合Q的一个子集的一组p和状态数的是 有限。 所以，外部输入的C需要从当前状态s机器FFM到下一状态克（S，C），并输出μ（s）为从下一状态克（S，C）的情况下的值G输出 （S，C）的一个成功函数g定义，以及外部输入的C需要从当前状态s机器FFM通过反复开采的状态下对g（f（F ... F（S）...））的确定性 计算失败函数f的值F（S），直至一个值克（F（F ... F（S）...））中所定义的情况下被发现在那里将数值克（S，C）的成功的 函数g没有定义。 因为所有从当前状态s为c的不被成功函数g定义的所有外部输入转变的，用于存储机器FFM的存储容量显着减少。

公开(公告)号：EP0918267A3

公开(公告)日：2007-09-19

申请号：EP99200172.7

申请日：1994-10-28

申请人： MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD

发明人： Kanno, Yuji

IPC分类号： G05B19/045 ,  G06F7/00 ,  G06F17/50 ,  G06K9/68 ,  G06F17/30

CPC分类号： G05B19/042 ,  G05B19/0426 ,  G05B19/045 ,  G05B2219/23289 ,  G05B2219/31451 ,  G05B2219/32165 ,  G05B2219/32166 ,  G05B2219/32353 ,  G06F7/00 ,  G06F17/504 ,  G06K9/68 ,  Y02P90/26 ,  Y10S707/99943

摘要： A constructing method of a finite state machine with failure transitions FFM is disclosed. The machine FFM is constructed from a nondeterministic finite-state machine and a string of external inputs. States 〈p,q〉 in the machine FFM is formed of a state set q included in the nondeterministic finite-state machine and a set p defined as a subset of the state set q, and the number of states 〈p,q〉 is finite. Also, an external input c takes the machine FFM from a current state s to a next state g(s,c) and an output µ(s) is output from the next state g(s,c) in cases where a value g(s,c) of a success function g is defined, and an external input c takes the machine FFM from the current state s to a state g(f(f···f(s)···)) determined by repeatedly calculating a value f(s) of a failure function f until a value g(f(f···f(s)···)) defined is found out in cases where the value g(s,c) of the success function g is not defined. Because all of transitions from the current state s for all external inputs c are not defined by the success function g, a storage capacity for storing the machine FFM is considerably reduced.

摘要翻译： 公开了一种具有故障转变FFM的有限状态机的构造方法。 机器FFM由非确定性有限状态机和一串外部输入构成。 机器FFM中的状态由包含在非确定性有限状态机中的状态集合q和定义为状态集合q的子集的集合p组成，并且状态数量为 有限。 而且，在外部输入c使得机器FFM从当前状态s到下一个状态g（s，c）并且输出μ（s）从下一个状态g（s，c） （s，c），并且外部输入c使机器FFM从当前状态s到重复确定的状态g（f（f ... f（s）...）） 计算失败函数f的值f（s），直到在成功的值g（s，c）的情况下找到定义的值g（f（f ... f（s）...）） 函数g没有定义。 因为所有外部输入c的当前状态的所有转换不由成功功能g定义，所以用于存储机器FFM的存储容量大大减少。

公开(公告)号：EP0651304B1

公开(公告)日：1999-12-29

申请号：EP94307964.0

申请日：1994-10-28

申请人： MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD.

发明人： Kanno, Yuji

IPC分类号： G05B19/045 ,  G06F7/00 ,  G06F17/50

CPC分类号： G05B19/042 ,  G05B19/0426 ,  G05B19/045 ,  G05B2219/23289 ,  G05B2219/31451 ,  G05B2219/32165 ,  G05B2219/32166 ,  G05B2219/32353 ,  G06F7/00 ,  G06F17/504 ,  G06K9/68 ,  Y02P90/26 ,  Y10S707/99943

公开(公告)号：EP0918267A2

公开(公告)日：1999-05-26

申请号：EP99200172.7

申请日：1994-10-28

申请人： MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD.

发明人： Kanno, Yuji

IPC分类号： G05B19/045 ,  G06F7/00 ,  G06F17/50 ,  G06K9/68 ,  G06F17/30

CPC分类号： G05B19/042 ,  G05B19/0426 ,  G05B19/045 ,  G05B2219/23289 ,  G05B2219/31451 ,  G05B2219/32165 ,  G05B2219/32166 ,  G05B2219/32353 ,  G06F7/00 ,  G06F17/504 ,  G06K9/68 ,  Y02P90/26 ,  Y10S707/99943

摘要： A constructing method of a finite state machine with failure transitions FFM is disclosed. The machine FFM is constructed from a nondeterministic finite-state machine and a string of external inputs. States 〈p,q〉 in the machine FFM is formed of a state set q included in the nondeterministic finite-state machine and a set p defined as a subset of the state set q, and the number of states 〈p,q〉 is finite. Also, an external input c takes the machine FFM from a current state s to a next state g(s,c) and an output µ(s) is output from the next state g(s,c) in cases where a value g(s,c) of a success function g is defined, and an external input c takes the machine FFM from the current state s to a state g(f(f···f(s)···)) determined by repeatedly calculating a value f(s) of a failure function f until a value g(f(f···f(s)···)) defined is found out in cases where the value g(s,c) of the success function g is not defined. Because all of transitions from the current state s for all external inputs c are not defined by the success function g, a storage capacity for storing the machine FFM is considerably reduced.

摘要翻译： 有限状态机的失败的一个构造方法转变FFM是游离缺失盘。 机器FFM从非确定性有限状态机和外部输入的字符串构成。 国AP，qŒª在机器FFM形成包括在非确定性有限状态机中的状态设定q和定义为状态集合Q的一个子集的一组p和状态数AP，qŒª是有限的。 所以，外部输入的C需要从当前状态s机器FFM到下一状态克（S，C），并输出μ（s）为从下一状态克（S，C）的情况下的值G输出 （S，C）的一个成功函数g定义，以及外部输入的C需要从当前状态s机器FFM通过反复开采的状态下对g（f（F ... F（S）...））的确定性 计算失败函数f的值F（S），直至一个值克（F（F ... F（S）...））中所定义的情况下被发现在那里将数值克（S，C）的成功的 函数g没有定义。 因为所有从当前状态s为c的不被成功函数g定义的所有外部输入转变的，用于存储机器FFM的存储容量显着减少。

公开(公告)号：EP0917031A2

公开(公告)日：1999-05-19

申请号：EP99100407.8

申请日：1994-10-28

申请人： MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD.

发明人： Kanno, Yuji

IPC分类号： G05B19/045 ,  G06F7/00 ,  G06F17/50 ,  G06K9/68 ,  G06F17/30

CPC分类号： G05B19/042 ,  G05B19/0426 ,  G05B19/045 ,  G05B2219/23289 ,  G05B2219/31451 ,  G05B2219/32165 ,  G05B2219/32166 ,  G05B2219/32353 ,  G06F7/00 ,  G06F17/504 ,  G06K9/68 ,  Y02P90/26 ,  Y10S707/99943

摘要： A constructing method of a finite state machine with failure transitions FFM is disclosed. The machine FFM is constructed from a nondeterministic finite-state machine and a string of external inputs. States in the machine FFM is formed of a state set q included in the nondeterministic finite-state machine and a set p defined as a subset of the state set q, and the number of states is finite. Also, an external input c takes the machine FFM from a current state s to a next state g(s,c) and an output µ(s) is output from the next state g(s,c) in cases where a value g(s,c) of a success function g is defined, and an external input c takes the machine FFM from the current state s to a state g(f(f···f(s)···)) determined by repeatedly calculating a value f(s) of a failure function f until a value g(f(f···f(s)···)) defined is found out in cases where the value g(s,c) of the success function g is not defined. Because all of transitions from the current state s for all external inputs c are not defined by the success function g, a storage capacity for storing the machine FFM is considerably reduced.

摘要翻译： 有限状态机的失败的一个构造方法转变FFM是游离缺失盘。 机器FFM从非确定性有限状态机和外部输入的字符串构成。 国在机器FFM形成包括在非确定性有限状态自动机的状态集q和定义为状态集合Q的一个子集的一组p和是有限状态的数量的。 所以，外部输入的C需要从当前状态s机器FFM到下一状态克（S，C），并输出μ（s）为从下一状态克（S，C）的情况下的值G输出 （S，C）的一个成功函数g定义，以及外部输入的C需要从当前状态s机器FFM通过反复开采的状态下对g（f（F ... F（S）...））的确定性 计算失败函数f的值F（S），直至一个值克（F（F ... F（S）...））中所定义的情况下被发现在那里将数值克（S，C）的成功的 函数g没有定义。 因为所有从当前状态s为c的不被成功函数g定义的所有外部输入转变的，用于存储机器FFM的存储容量显着减少。

公开(公告)号：EP0917029A2

公开(公告)日：1999-05-19

申请号：EP99100405.2

申请日：1994-10-28

申请人： MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD.

发明人： Kanno, Yuji

IPC分类号： G05B19/045 ,  G06F7/00 ,  G06F17/50 ,  G06K9/68 ,  G06F17/30

CPC分类号： G05B19/042 ,  G05B19/0426 ,  G05B19/045 ,  G05B2219/23289 ,  G05B2219/31451 ,  G05B2219/32165 ,  G05B2219/32166 ,  G05B2219/32353 ,  G06F7/00 ,  G06F17/504 ,  G06K9/68 ,  Y02P90/26 ,  Y10S707/99943

摘要： A constructing method of a finite state machine with failure transitions FFM is disclosed. The machine FFM is constructed from a nondeterministic finite-state machine and a string of external inputs. States in the machine FFM is formed of a state set q included in the nondeterministic finite-state machine and a set p defined as a subset of the state set q, and the number of states is finite. Also, an external input c takes the machine FFM from a current state s to a next state g(s,c) and an output µ(s) is output from the next state g(s,c) in cases where a value g(s,c) of a success function g is defined, and an external input c takes the machine FFM from the current state s to a state g(f(f···f(s)···)) determined by repeatedly calculating a value f(s) of a failure function f until a value g(f(f···f(s)···)) defined is found out in cases where the value g(s,c) of the success function g is not defined. Because all of transitions from the current state s for all external inputs c are not defined by the success function g, a storage capacity for storing the machine FFM is considerably reduced.

摘要翻译： 有限状态机的失败的一个构造方法转变FFM是游离缺失盘。 机器FFM从非确定性有限状态机和外部输入的字符串构成。 国在机器FFM形成包括在非确定性有限状态自动机的状态集q和定义为状态集合Q的一个子集的一组p和状态数的是 有限。 所以，外部输入的C需要从当前状态s机器FFM到下一状态克（S，C），并输出μ（s）为从下一状态克（S，C）的情况下的值G输出 （S，C）的一个成功函数g定义，以及外部输入的C需要从当前状态s机器FFM通过反复开采的状态下对g（f（F ... F（S）...））的确定性 计算失败函数f的值F（S），直至一个值克（F（F ... F（S）...））中所定义的情况下被发现在那里将数值克（S，C）的成功的 函数g没有定义。 因为所有从当前状态s为c的不被成功函数g定义的所有外部输入转变的，用于存储机器FFM的存储容量显着减少。

公开(公告)号：EP0651304A3

公开(公告)日：1996-04-10

申请号：EP94307964.0

申请日：1994-10-28

申请人： MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD.

发明人： Kanno, Yuji

IPC分类号： G05B19/045 ,  G06F7/00 ,  G06F17/50

CPC分类号： G05B19/042 ,  G05B19/0426 ,  G05B19/045 ,  G05B2219/23289 ,  G05B2219/31451 ,  G05B2219/32165 ,  G05B2219/32166 ,  G05B2219/32353 ,  G06F7/00 ,  G06F17/504 ,  G06K9/68 ,  Y02P90/26 ,  Y10S707/99943

摘要： A constructing method of a finite state machine with failure transitions FFM is disclosed. The machine FFM is constructed from a nondeterministic finite-state machine and a string of external inputs. States in the machine FFM is formed of a state set q included in the nondeterministic finite-state machine and a set p defined as a subset of the state set q, and the number of states is finite. Also, an external input c takes the machine FFM from a current state s to a next state g(s,c) and an output µ(s) is output from the next state g(s,c) in cases where a value g(s,c) of a success function g is defined, and an external input c takes the machine FFM from the current state s to a state g(f(f···f(s)···)) determined by repeatedly calculating a value f(s) of a failure function f until a value g(f(f···f(s)···)) defined is found out in cases where the value g(s,c) of the success function g is not defined. Because all of transitions from the current state s for all external inputs c are not defined by the success function g, a storage capacity for storing the machine FFM is considerably reduced.

公开(公告)号：EP2137583B1

公开(公告)日：2011-03-16

申请号：EP08742878.5

申请日：2008-04-14

申请人： Siemens Corporation

发明人： ZHAO, Peng ,  JAFARI, Mohsen ,  LU, Yan

IPC分类号： G05B19/418 ,  G05B23/02

CPC分类号： G05B23/0248 ,  G05B19/4184 ,  G05B23/0289 ,  G05B2219/31451 ,  G05B2219/32373 ,  Y02P90/14 ,  Y02P90/26

摘要： An on-line fault detection and avoidance method is provided for industrial control systems that include multiple interacting process controllers. The method addresses the problem that not all faults can be determined and removed at the time of system design and testing. When a fault translates into a time-out condition in one or more controllers, symptoms are identified, persistence is measured, other involved controllers are identified, the fault condition is identified and control laws are reconfigured to avoid the fault condition in the future

公开(公告)号：EP0917031A3

公开(公告)日：2007-09-19

申请号：EP99100407.8

申请日：1994-10-28

申请人： MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD

发明人： Kanno, Yuji

IPC分类号： G05B19/045 ,  G06F7/00 ,  G06F17/50 ,  G06K9/68 ,  G06F17/30

CPC分类号： G05B19/042 ,  G05B19/0426 ,  G05B19/045 ,  G05B2219/23289 ,  G05B2219/31451 ,  G05B2219/32165 ,  G05B2219/32166 ,  G05B2219/32353 ,  G06F7/00 ,  G06F17/504 ,  G06K9/68 ,  Y02P90/26 ,  Y10S707/99943

摘要： A constructing method of a finite state machine with failure transitions FFM is disclosed. The machine FFM is constructed from a nondeterministic finite-state machine and a string of external inputs. States in the machine FFM is formed of a state set q included in the nondeterministic finite-state machine and a set p defined as a subset of the state set q, and the number of states is finite. Also, an external input c takes the machine FFM from a current state s to a next state g(s,c) and an output µ(s) is output from the next state g(s,c) in cases where a value g(s,c) of a success function g is defined, and an external input c takes the machine FFM from the current state s to a state g(f(f···f(s)···)) determined by repeatedly calculating a value f(s) of a failure function f until a value g(f(f···f(s)···)) defined is found out in cases where the value g(s,c) of the success function g is not defined. Because all of transitions from the current state s for all external inputs c are not defined by the success function g, a storage capacity for storing the machine FFM is considerably reduced.

摘要翻译： 公开了一种具有故障转变FFM的有限状态机的构造方法。 机器FFM由非确定性有限状态机和一串外部输入构成。 机器FFM中的状态由包含在非确定性有限状态机中的状态集q和定义为状态集q的子集的集合p组成，并且状态数是有限的。 而且，在外部输入c使得机器FFM从当前状态s到下一个状态g（s，c）并且输出μ（s）从下一个状态g（s，c） （s，c），并且外部输入c使机器FFM从当前状态s到重复确定的状态g（f（f ... f（s）...）） 计算失败函数f的值f（s），直到在成功的值g（s，c）的情况下找到定义的值g（f（f ... f（s）...）） 函数g没有定义。 因为所有外部输入c的当前状态的所有转换不由成功功能g定义，所以用于存储机器FFM的存储容量大大减少。