I am employed as assistant professor (Universitair Docent) in the Systems Engineering Group of the Eindhoven University of Technology (Dept. of Mechanical Engineering, since 1986) in The Netherlands.

My current research is oriented towards modeling, simulation, supervisory control, and verification of hybrid industrial systems (for publications see the left sidebar frame). My PhD thesis was on exception handling in concurrent control systems.

I am member of the IFAC Technical Committee on Discrete Event and Hybrid Systems (TC 1.3), and member of some program committees (see below).

I currently participate in the following projects:

• HYCON2 network of excellence, September 2010 - September 2014.
• Two EU ICT FP7 European projects on networked embedded and control systems - control of large-scale complex distributed systems:
  • C4C, May 2008 - September 2011.
  • Multiform, September 2008 - June 2012.
• Development of the CIF (Compositional Interchange Format for hybrid systems): language, semantics, simulation and transformation tools.
• Development of the hybrid Chi formalism and simulator.

• Participation in the Darwin project, the aim of which was to improve system evolvability. It was a consortium of industrial and academic partners with Philips Medical Systems (MRI scanner division) as carrying industrial partner.
• Participation in the Twins project, part of the European EUREKA cluster program ITEA 2, that addresses co-design problems of product development consisting of integrated hard- and software development.
• Associate editor of SIMULATION: Transactions of the SCS 2001 - 2008.
• Member of the executive committee of the HYCON network of excellence
• Participation in HYCON, work package 3: Tool Integration.

• EU Concertations on Control, Brussels 2011: C4C Project - Research Highlights.
• Workshop on Model Integrated Mechatronics (MIM 2011), Saarbrucken 2011: The Compositional Interchange Format for model transformation.
• Software Technologies Concertation on Formal Methods for Components and Objects (FMCO 2010), Graz: The Compositional Interchange Format: Concepts, Semantics and Applications.
• 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010): Overview and Industrial Applications of State Based Supervisory Control Synthesis
• Industry Day at Formal methods week 2009: Supervisory Control Synthesis
• Embedded systems workshop at Formal Methods week 2009: The Compositional Interchange Format: concepts, formal basis, and applications
• IPA research school Fall days 2009: The Compositional Interchange Format: Introduction
• FP7 DISC consortium meeting Gent 2009: The Compositional Interchange Format concepts, developments, tools, applications
• Final Workshop of HYCON NoE 2008 Brussels: The Compositional Interchange Format, results in HYCON and ongoing work in FP7 projects: Multiform
• 2nd HYCON PhD school on Hybrid Systems 2007: Simulation of hybrid systems
• Keynote at ISC2007: Simulation and Verification of Timed and Hybrid Dynamical Systems
• CDC Panel Discussion 2004: Challenges and Solution Techniques for Hybrid Simulation
• IPA research school Spring days 2004: Overview of the Chi formalism

• 4C390 Performance analysis of embedded systems additional course info
• 4C650 Analysis of hybrid systems: Lecture notes, additional course info

• ADHS: 3-yearly IFAC conference Analysis and Design of Hybrid Systems (formerly 2-yearly conference ADPM):
  • ADHS 2012 ADHS 2009 ADHS 2006 Cagliari, ADHS 2003, ADPM 2000, ADPM 1998.
• EOOLT: Workshop on Equation-Based Object-Oriented Languages and Tools
  • EOOLT 2011 EOOLT 2010 EOOLT 2008 EOOLT 2007
• ESM: European Simulation and Modelling Conference:
  • ESM 2011,2010,2009,2008,2007,2006,2005: ESM conferences
• MOSIM: International Conference on Modeling, Optimization & SIMulation
  • MOSIM 2012
• EUROCAST: International Conference on Computer Aided Systems Theory
  • EUROCAST 2011
• CACSD: IEEE International Symposium on Computer-Aided Control Systems Design
  • CACSD 2006