Scientific publications


Explore the publications from TNO‑ESI, showcasing our research findings and expertise. This includes peer-reviewed articles, conference papers, and research reports, as well as more accessible publications that share insights from our collaborations with industry partners. You can easily search the publications by keyword to find what is most relevant to you.

Year
2020
Authors
Catthoor, F.; Basten, T.; Zompakis, N.; Geilen, M.C.W.; Kjeldsberg, P.G.

System-scenario-based design principles and applications

Year
2019
Authors
Catthoor, F.; Basten, T.; Zompakis, N.; Geilen, M.C.W.; Kjeldsberg, P.G.

Introduction and organization of book material

The focus of this book is on the principles and the use of the system scenario approach. This concept effectively supports the efficient realization of systems in the presence of strong dynamic behavior. The efficiency can be obtained in a multi-dimensional cost space. Realizations can involve the mapping of applications on some type of implementation platforms, but the approach is not limited to this, as the demonstrators in this book illustrate.
Year
2019
Authors
Nagele, T.; Broenink, T.; Hooman, J.; Broenink, J.

Early analysis of cyber-physical systems using co-simulation and multi-level modelling

The multi-disciplinary nature of the design of cyber-physical systems makes it hard to gain insight in the system behaviour early in the design process. Our aim is to allow the designers to analyse the integration of system components as well as the behaviour of the complete system in an early stage. This is achieved by creating abstract component models and refining them throughout the design process.
Year
2019
Authors
Awan, M.A.; Souto, P.F.; Akesson, B.; Bletsas, K.; Tovar, E.

Uneven memory regulation for scheduling IMA applications on multi-core platforms

Published in
Real-Time Systems, 55(2), pp. 248-292.
Year
2019
Authors
Tavakoli, R.; Nabi, M.; Basten, T.; Goossens, K.

Topology Management and TSCH Scheduling for Low-Latency Convergecast in In-Vehicle WSNs

Published in
IEEE Transactions on Industrial Informatics, 15(2), pp. 1082-1093.
Wireless sensor networks (WSNs) are considered as a promising solution in intravehicle networking to reduce wiring and production costs. This application requires reliable and real-time data delivery, while the network is very dense. The time-slotted channel hopping (TSCH) mode of the IEEE 802.15.4 standard provides a reliable solution for low-power networks through guaranteed medium access and channel diversity.
Year
2021
Authors
Ibrahim, A.; Goswami, D.; Li, H.; Soroa, I.M.; Basten, T.

Multi-layer multi-rate model predictive control for vehicle platooning under IEEE 802.11p

Published in
Transportation Research Part C: Emerging Technologies, 124
Vehicle platooning has gained attention for its potential to increase road capacity and safety, and higher fuel efficiency. Platoon controls are implemented over Vehicle-to-Vehicle (V2V) wireless communication, in-vehicle networks and Electronic Control Units (ECUs). V2V communication has a low message rate imposed by the V2V standard compared to the rate of modern in-vehicle networks and ECUs.
In the past several years, autonomous driving turned out tobe a target for many technical players. Automated driving requires newand advanced mechanisms to provide safe functionality and the increased communication makes automated vehicles more vulnerable to attacks. Security is already well-established in some domains, such as the IT sector, and now spills over to Automotive.
Year
2020
Authors
Behrouzian, A.R.B.; Goswami, D.; Basten, T.; Geilen, M.; Alizadeh Ara, H.; Hendriks, M.

Firmness Analysis of Real-Time Tasks

Published in
ACM Transactions on Embedded Computing Systems, 19(4)
(m, k)-firm real-time tasks require meeting the deadline of at least m jobs out of any k consecutive jobs. When compared to hard real-time tasks, (m, k)-firm tasks open up the possibility of tighter resource-dimensioning in implementations. Firmness analysis verifies the satisfaction of (m, k)-firmness conditions.
Year
2020
Authors
Putten, B.J.C. van; Sanden, B. van der; Reniers, M.; Voeten, J.; Schiffelers, R

Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems

Published in
Discrete Event Dynamic Systems: Theory and Applications
One of the challenges in the design of supervisors with optimal throughput for manufacturing systems is the presence of behavior outside the control of the supervisor. Uncontrollable behavior is typically encountered in the presence of (user) inputs, external disturbances, and exceptional behavior. This paper introduces an approach for the modeling and synthesis of a throughput-optimal supervisor for manufacturing systems with partially-controllable behavior on two abstraction levels.
Year
2020
Authors
Berg, F. vanden; Camra, V.; Hendriks, M.; Geilen, M.; Hnetynka, P.; Manteca, F.; Sanchez, P.; Bures, T.; Basten, T.

QRML: A Component Language and Toolset for Quality and Resource Management

Published in
Forum on Specification and Design Languages, 2020
Cyber-physical systems (CPS) are complex, heterogeneous, and dynamic systems, spanning hardware and software components ranging from edge devices to cloud platforms. CPS need to satisfy many rigorous constraints, e.g., with respect to deadlines, safety, and quality, yielding a large configuration space where only a limited number of configurations meet the constraints and only a fraction are optimal regarding certain qualities.