摘要 |
The invention relates to a method for automatically generating a detector of specified feared behaviours in a metrical linear time logic with delimited memory, which can operate online during an arbitrarily long period. The method uses a time window for making an online calculation of the validity intervals of the formula that specifies the feared behaviour and also removes online the behaviours that have become irrelevant for detecting said behaviour. The method can be used for debugging models or as a component of a monitoring-control system. |