Abstract

A state-based approach for detection of changes in systems modelled as Timed Event Graph and Time Stream Event Graph is presented. We assume that the net in its nominal behavior is known and transitions are partitioned as observable and unobservable transitions. Considered faults are (possibly small) variations of dynamical models by respect to this nominal behavior. Using the algebra of dioids, the approach follows the same principle as the observers used in continuous systems.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call