selected publications

• conference paper

  • Implementation of agent-based reconfigurable embedded control systems.  . 2009
  • A formal approach to check and schedule reconfigurable embedded control systems.  . 2008
  • Systematic Design and Implementation of Distributed Controllers in Industrial Automation.  . 2006