Abstract: The present disclosure aims to provide a technique for monitoring the behavior of a control system accurately. One aspect of the present invention relates to a monitoring device having: an acquiring part configured to acquire observed values of a variable that is sampled with respect to a behavior of a control system while the control system is running; and a determining part configured to determine a range of possible observed values that the variable possibly reaches upon a temporal change thereof, based on the acquired observed values, and determine whether a variation range of the acquired observed values satisfies a specification, based on an overlap between the range of the possible observed values and a range not satisfying the specification.

Abstract: An information processing apparatus according to an aspect of the present invention includes an information processing circuit configured to generate a finite state machine based on a predetermined matching condition with respect to sequence data of an event that is input to the information processing apparatus; to process the sequence data so as to substantially remove data that does not match the matching condition from the sequence data; and to output the processed sequence data.

Abstract: An information processing apparatus according to an aspect of the present invention includes an information processing circuit configured to generate a finite state machine based on a predetermined matching condition with respect to sequence data of an event that is input to the information processing apparatus; to process the sequence data so as to substantially remove data that does not match the matching condition from the sequence data; and to output the processed sequence data.