selected publications

• conference paper

  • An integrated distributed monitoring for mission-based systems: On the example of an autonomous unmanned helicopter.  . 2012
  • Generic system architecture for dependable interactive systems: A flying robot example.  . 2010
  • Hybrid, recursive, nested monitoring of control systems using Petri nets and particle filters.  . 2010
  • OCCLUSION-ROBUST, LOW-LATENCY OPTICAL TRACKING USING A MODULAR SCALABLE SYSTEM ARCHITECTURE.  . 2004