Banner CPS Week 2018


Duration: half day on April 10, 2018

Abstract: High-throughput  and high-precision are demanded from a wide class of next generation of cyber-physical systems – lithography machines and professional printers are notable examples. Design of such systems requires tight and efficient performance analysis techniques at the system-level, high-precision feedback control systems and supervisory control to ensure correct functional behavior at the system-level. This tutorial presents state-of-the-art methods and results in these directions and illustrates how they glue together to guarantee the desired system-level behaviors. The tentative outline of the tutorial is as follows:

  • Challenges in extreme high-end cyber-physical systems control (Speakers: Jeroen Voeten & Ramon Schiffelers)
  • Timing analysis using data-flow techniques (Speaker: Marc Geilen)
  • Supervisory control synthesis (Speaker: Michel Reniers)
  • Data-intensive feedback control (Speaker: Dip Goswami)
  • Performance and Supervisory control optimization (Speakers: João Bastos & Bram van der Sanden)
  • Multi-processor data-intensive feedback control (Speakers: Róbinson Medina & Sajid Mohamed)


Target Audience: This tutorial is targeted towards an audience with a background in manufacturing systems design and interested in compute-intensive mixed-criticality applications and optimal system design challenges. The level of the tutorial will be from introductory to intermediate. No background in advanced system‐level design techniques and (supervisory) control theory will be assumed. The material to be presented will be useful to researchers from the manufacturing systems, embedded systems and cyber-physical systems domain, doctoral students, and system developers who are interested in various system-, platform- and application-level methods and design questions in similar contexts.


Registration: This tutorial will be held at CPS Week 2018 in Porto, Portugal. You may register for this tutorial with the conference registration — You may update your current registration to include this tutorial. The early registration deadline is March 16!


Contact: Michel Reniers (, Dip Goswami ( and Twan Basten (


Speakers and organizers

  • Michel Reniers is associate professor in model-based engineering of supervisory control at the Department of Mechanical Engineering of Eindhoven University of Technology. His research portfolio ranges from model-based systems engineering and model-based validation and testing to novel approaches for supervisory control synthesis. Applications of this work are mostly in the areas of high tech systems and cyber-physical systems. He is author of a book, over 100 journal and conference papers, and supervisor of 10 PhD students. Currently he is involved in several academic and industrial, national and European projects in the area of the design and engineering of cyber-physical systems (of systems). He is a co-author of a recent research agenda on Cyber-Physical Systems of Systems ( In this project he acted as chair of a working group on Tools for systems of systems engineering and management. Michel Reniers is a senior member of the IEEE.
  • Jeroen Voeten’s professional passion is to improve industrial products and design processes through cutting edge model-based design methodologies, by working on the borders between academic research and industrial innovation and by extensive knowledge sharing. His research expertise is performance engineering, including the areas of (stochastic) performance analysis, design-space exploration, scheduling and predictable synthesis. He has worked actively in the application domains of telecommunication and consumer electronics and in the last decade his focus has been on high-tech industrial products. His long-term ambition is to enable systematic exploration of system-level KPIs including productivity, accuracy and cost. To accomplish his ambitions he works as senior scientist and scientific advisor in the Embedded Systems Innovations group of TNO and as a part-time full professor in the Electronic Systems group of the Eindhoven University of Technology. He has initiated, developed and supervised several research programs, involving (i) academic groups from several departments (Electrical Engineering, Computer Science, Mechanical Engineering), (ii) industrial groups from several disciplines (Electrical Engineering, Mechatronics, Software Engineering) in leading high-tech companies, and (iii) their suppliers.
  • Ramon Schiffelers is a software architect at ASML, world’s leading provider of lithography systems for the semiconductor industry, and assistant professor at the department of Mathematics and Computer Science at the Eindhoven University of Technology. Within ASML, he is leading a research group consisting of (SW) architects, scientific programmers, (academic) researchers, and PhD, PDEng, and MSc students. Together with this group, he combines state-of-the-art methods and techniques from academia with state-of-the-practice in industry into so-called multi-disciplinary system engineering (MDSE) ecosystems. These ecosystems empower their users to develop complex, large-scale, software intensive systems. He has successfully introduced several MDSE ecosystems in the development process and products of ASML.
  • Twan Basten is a professor in the Electrical Engineering department at Eindhoven University of Technology (TU/e), the Netherlands, where he chairs the Electronic Systems group. He is also a senior research fellow of TNO Embedded Systems Innovation in the Netherlands. He holds an MSc (1993) and a PhD (1998) in Computing Science from TU/e. His research interests include embedded, networked and cyber-physical systems, dependable computing and computational models. Twan Basten served in over 60 TPCs. He (co)authored 1 book and over 200 scientific publications, of which five received a best paper award. He (co)supervised 15 PhD degrees. Twan Basten is a senior member of the IEEE and a life member of the ACM.
  • Marc Geilen is an assistant professor in the Department of Electrical Engineering at Eindhoven University of Technology. He holds an MSc in Information Technology and a Ph.D. from the Eindhoven University of Technology. In 2010, he was a McKay Visiting Professor at the University of California, Berkeley. His research interests include modeling, simulation and programming of multimedia systems, formal models-of-computation, model-based design processes, multiprocessor systems-on-chip, networked embedded systems and cyber-physical systems, and multi-objective optimization and trade-off analysis. He has served as member or chair of several technical program committees. He has been involved with several national and international research projects and programs on the above topics with strong industrial connections.
  • Dip Goswami is currently an assistant professor in Electronic Systems (ES) group of Electrical Engineering in Eindhoven University of Technology (TU/e). He obtained his Ph.D. in Electrical and Computer Engineering from the National University of Singapore (NUS) in 2009. During 2010-2012, he was an Alexander von Humboldt Postdoctoral Fellow at TU Munich, Germany. He research interests are in the direction of embedded control systems, cyber-physical systems and robotics. He has served in the program committee of all the major conferences in these areas including DAC, DATE, RTSS, RTAS and EMSOFT. He has been organizer and speaker in a number of tutorials in previous editions of ESWeek and CPSWeek.
  • Bram van der Sanden is a Ph.D. candidate in the Electronic Systems group at Eindhoven University of Technology. His research is focused on model-based system engineering. More specifically, his work examines the automatic generation of supervisory controllers from formal models that satisfy functional requirements and are optimized with respect to performance metrics such as throughput. Due to the multi-disciplinary nature of the project, ideas and techniques are used from various fields including system engineering, supervisory control theory, game theory, data flow, max-plus algebra and formal verification methods.
  • João Bastos received his MSc degree, with a specialization in Real-Time Systems, from the University of Aveiro, Portugal, in 2013.  He is currently a Ph.D. candidate at the Eindhoven University of Technology, The Netherlands, on the topic of specification and optimization of batch-oriented manufacturing systems. His research interests focus on the modelling, specification and scheduling of cyber-physical systems.
  • Róbinson Medina is currently a PhD candidate in Electronic Systems (ES) group of Electrical Engineering in Eindhoven University of Technology (TU/e). He obtained his MSc in Industrial Control Engineering from Ibagué University (Colombia) and Ghent University (Belgium) in 2012. During 2012-2014, he worked as a teaching assistant in Cundinamarca University (Colombia). His research focuses on performance-aware design of pipelined control for data-intensive industrial control systems.
  • Sajid Mohamed is currently a doctoral candidate in the Electronic Systems (ES) group at the Department of Electrical Engineering in Eindhoven University of Technology (TU/e). He is currently an early-stage researcher on the oCPS (Platform-aware Model-driven Optimization of Cyber-Physical Systems) project under the European Union’s Horizon 2020 Framework Programme for Research and Innovation. He received his Bachelor’s degree (B. Tech.) in Electrical and Electronics Engineering from National Institute of Technology (NIT) Calicut, India in 2012 and his Masters’ degree (M. Tech.) in Embedded Controls and Software from Indian Institute of Technology (IIT) Kharagpur in 2014. His masters’ thesis was carried out in collaboration with Institute of Real-time Computer Systems, Technical University Munich, Germany, where he was a DAAD scholar during 09/2013-03/2014. During 2014-2016, he worked as a research assistant in IIT Kharagpur. He is currently working on model-based design and analysis of embedded control systems and cyber-physical systems.

The material presented results from the following two running programs:

  • rCPS – Robust Design of Cyber-Physical Systems, projects “High-performance control for nano-precision control” and “Control based on data intensive sensing”
  • oCPS – Marie Curie Innovative Training Network on the Optimization of Cyber-Physical Systems