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

Leila Zouaghi, Achim Wagner, Essam Badreddin. Hybrid, recursive, nested monitoring of control systems using Petri nets and particle filters. In IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28 - July 1, 2010. pages 73-79, IEEE, 2010. [doi]

Abstract

Abstract is missing.