Scientific publications

We present a method to identify the parameters of a state space model for a maxplus linear system based on the data from input-output sequences. This method is based on modeling the system as a mixed-integer program. We show that this method is computationally more efficient compared to existing methods, given the assumption that the system and data are not corrupted by noise.

Configuring, instead of re-engineering, complex high-tech solutions increases development efficiency, reduces errors and saves money. For this, constructing a stable link between configurable modules and customer-facing variantions is paramount. Vanderlande and TNO's ESI have developed an approach to overcome this configurability challenge.

We present our vision for creating an industrial legacy software rejuvenation toolchain. The goal is to semi automatically remove code smells from stateful software used in Cyber Physical Systems (CPS). Compared to existing tools that remove code smells, our toolchain can remove more than one type of code smell.

This deliverable describes two pilots performed by TNO-ESI together with Cordis and Additive Industries, for enhancing computer-aided design for low-code development, by applying synthesis. Specifying low-code (Cordis SUITE) models in a way to guarantee necessary safety/user requirements is difficult.

Large, complex systems are often divided into components. As these systems and their software inevitably evolve, engineers must understand the (communication) behavior of the software to properly change it, and understand the impact of their changes to prevent costly regressions and reduce risks. Creating an overview of the software behavior is challenging, time-consuming and error-prone, even with the available code, tests and documentation.

Supervisor synthesis is a means to algorithmically derive a supervisory controller from a discrete-event model of a system and a requirements specification. For large systems, synthesis suffers from state space explosion. To mitigate this, synthesis can be applied to a symbolic representation of the models by using Binary Decision Diagrams (BDDs).

Development of high-tech systems is a complex task done by diverse specialists distributed across the globe. Reference architectures including a clear functional breakdowns can support them and support their decisions. This presentation proposes an approach to improve the development of advanced electron microscopes by using Capella as an authoritative source of information.

In today’s digital society, diverse computing de-vices-from edge devices to data centers-support various applications, each with specific performance and energy characteristics. Analyzing application energy consumption is crucial for improving energy efficiency, optimizing resources, and reducing environmental impact.