selected publications

• academic article

  • Increasing Reliability of Intelligent Manufacturing Systems by Adaptive Optimization and Safety Supervision.  IFAC Proceedings Volumes.  42:1533-1538. 2009
  • An Open Software Architecture for the Verification of Industrial Controllers.  Zenodo (CERN European Organization for Nuclear Research).  2001
  • An open tool architecture for the formal verification of logic controllers in processing systems.  IFAC Proceedings Volumes.  32:4828-4833. 1999

• chapter

  • Controller Architecture for Safe Cognitive Technical Systems.  Springer eBooks. 518-531. 2007