Systems Engineering Wiki (http://seweb.se.wtb.tue.nl)

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, interactive simulation-based validation and visualization, supervisory control synthesis, verification, and real-time controller code-generation for 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:

• Development of CIF 3, with tools for supervisory control synthesis, verification, interactive simulation and visualization, model transformation, and (real-time) code generation.
  • CIF 3 is the successor of CIF 2. Its syntax and semantics have been much simplified with respect to CIF 2.
  • Compilation and execution speed have improved dramatically, and the language now natively incorporates event-based supervisory control synthesis support.
  • CIF 3 is also the intended successor of our complete existing supervisory control synthesis tool chain, including state-based supervisory control synthesis.
• Development of methods, techniques and tools for model-driven supervisory control in industrial applications.

• HYCON2 network of excellence, September 2010 - September 2014.
• Development of the hybrid Chi formalism and simulator.
• 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.
• 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 ITEA 05004 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.

• IPA research school Spring Days on Cyber-Physical Systems 2013: Simulation, visualization and real-time control of cyber physical systems using CIF.
• 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
• 4C650 Analysis of hybrid systems

• 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 2013EOOLT 2011 EOOLT 2010 EOOLT 2008 EOOLT 2007
• ESM: European Simulation and Modelling Conference:
  • ESM 2013,2012,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