Research

Research

This page contains an overview of the research that is caried out in the ES group related to CPS.

Worst-case temporal analysis of real time applications realized on shared heterogeneous resources

Hadi Alizadeh - ALMARVI

Embedded applications are being realized on multiprocessor systems and share its resources for cost and power reasons. These applications have temporal constraints such as latency or throughput. Sharing resources introduces temporal interference between applications and adds new uncertainties to the temporal behavior of the applications. In this project we introduce analysis techniques to verify that the applications always meet their real time constraints in presence of uncertainties. Verification is done by providing the worst case temporal bounds of the applications.

Design-Space Exploration of High-Performance Manufacturing Systems Logistics

João Bastos - Robust CPS program

In this research we study the design, analysis and synthesis of logistics controllers which guarantee product quality and optimise performance for High-Performance Manufacturing Systems (HPMS). HTMS are complex systems with high performance requirements and a dynamic physical layer. Controllers must interact with different types of resources, which can be shared and can physically move. We focus on timing analysis techniques coupled with formal model-based design frameworks that allows us to explore controllers that are suitable for the complexity and mutlidisciplinarity of HPMS.

Synthesis of mixed-criticality control and streaming applications

Amir Behrouzian - ALMARVI

This project will investigate the modelling and synthesis challenges for multi-domain applications running on many-core platforms. In particular, co-existing streaming applications and feedback control loops will be considered with domain-specific design requirements. Based on appropriate/novel computational models, proposed optimization algorithm would present a static/dynamic order scheduling for execution of control and streaming applications on MPSoC.

Cost-effective implementations of data intensive controllers

Robinson Medina Sanchez - Robust CPS program

Data intensive controllers are control systems which uses a data intensive device as a one of its sensors (e.g a camera). These systems are common in industrial applications, robotics or Advanced driver assistance systems (ADAS). The signal processing algorithm used to extract relevant information from the sensor creates challenges from the control domain such as stability and performance and from the embedded domain such as throughput and latency. In this project, we design resource-efficient implementations of control systems with data-intensive by using not only control design techniques but also analysis tools from the embedded domain

Design-Space Exploration of Supervisory Controllers

Bram van der Sanden - Robust CPS program

In this project we look at design-space exploration for supervisory controllers of cyber-physical systems using model-based specifications. These specifications formally specify the system at hand and serve as a blue-print for implementation. The supervisory controller must be able to deal with exceptional behavior, and guarantee certain properties like absence of deadlock. Supervisory control synthesis is used to automatically derive an optimal set of control rules for the system given the timing constraints that need to be satisfied.

Scheduling Flexible Manufacturing Systems

Joost van Pinxten - Robust CPS program

Flexible Manufacturing Systems are reconfigurable machines that can produce a variety of products. Examples of such machines include litography wafer scanners producing memory or processing chips, and high-production high-quality printing applications. Canon Océ builds such production printers capable of printing hundred thousands of pages per day. Effective utilization of these machines is essential in these markets. The advertised maximal productivity can typically not be guarantueed over all possible input sequences. In high-quality printing, the media size and type can heavily influence the effective productivity. By optimizing these sequences, and reconfiguring the machines at key instances, part of the productivty and thereby utilization can be recovered. This project focuses on multi-objective optimization heuristics in such contexts.

Online scheduling of flowshops with bounded delays, re-entrance and sequence dependent setup times

Umar Waqas - NEST

Co-design of control and streaming applications considering trade-offs between quality-of-control (QoC) and quality-of-service (QoS)

Sajid Mohamed - oCPS

The project aims to develop new analysis and design methods that are capable of taking into account various trade-off possibilities between QoC (control loops) and QoS (streaming applications). This will require novel platform-aware control algorithms that are able to adapt their sampling rate when necessary. In particular, the research will focus on combining the theoretical foundation of multi-rate controllers with synchronous dataflow/synchronous-aware dataflow to address the co-design problem. The applicability will be illustrated considering applications from healthcare (e.g., the interventional x-ray system) and automotive (e.g., advanced driver assistance system).