Hybrid, recursive, nested monitoring of control systems using Petri nets and particle filters.

Leila Zouaghi, Achim Wagner, Essam Badreddin

Browse the full DSN paper archive.