selected publications

• conference paper

  • An integrated distributed monitoring for mission-based systems: On the example of an autonomous unmanned helicopter.  . 2012
  • Hybrid, recursive, nested monitoring of control systems using Petri nets and particle filters.  . 2010