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
2022
Authors
Baun, N.; Bikker, J.W.; Modrakowski, E.; Caglar, F.; Ahmad, I.; Mooij, A.; Doornbos, R.; Moritz, S.

ASIMOV Reference Architecture

This document describes an initial version of the ASIMOV reference architecture, which consists of definitions of terms and multiple architectural views. In addition, this document contains a delimitation of the ASIMOV project tasks in terms of this reference architecture. The description of the reference architecture consists of both a generic architecture and applications to the use cases from the ASIMOV project.
Year
2022
Authors
Ahmad, I.; Antunes, D.G.T.; Armengol, I.; Bikker, J.W.; Baun, N.; Diephuis, M.; Doornbos, R.; Lämsä, V.; Schmidt, L.

Architecture and technical approach for DT-based AI-training: state of the art

This report describes the state of the art in reinforcement learning and digital twin-based learning, and the first ideas on their application in the ASIMOV use cases. It will be the foundation for further work on researching these techniques in the ASIMOV use cases, which will enable expansion of the knowledge in these fields for general application in the high-tech industry.
Year
2022
Authors
Dierkse, J.; Vasenev, A.

Company-wide Architecting Assets to Inform Design Decisions

Year
2022
Authors
Vasenev, A.; Verriet, J.H.; Kanters, K.; Hooman, J.; Dierkse, J.; Rainaut, O.; McCormack, J.

A method for quantitative evaluation of functional chains supported by a Capella add-on

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.
Year
2022
Authors
Voeten, J.; Hegge, J.J.A.

How Eclipse POOSL Enables Early System Validation

Published in
Eclipse Newsletter(Building Community Through Open Source Research Projects)
Year
2022
Authors
Laar, P. van de; Mooij, A.J.

Renaissance-ada: Tools for analysis and transformation of ada code

Published in
Ada User Journal, 43(3), pp. 165-170.
In a constantly changing world, developers need to analyze and transform their code to keep it up-to-date and valuable. Currently, analysis and transformation is a time-consuming and largely manual activity. The Renaissance approach aims to enhance insight by analysis and to reduce complexity by transformation.
Year
2022

Insight : Archimedes initiative

We are pleased to announce the December 2022 INSIGHT issue published cooperatively with John Wiley & Sons as the systems engineering practitioners’ magazine. The INSIGHT mission is to provide informative articles on advancing the practice of systems engineering and to close the gap between practice and the state of the art as advanced by Systems Engineering, the Journal of INCOSE also published by Wiley.
Year
2022
Authors
Detterer, P.; Nabi, M.; Jiao, H.; Basten, T.

Receiver Design With an Adjustable Energy-Signal-Quality Tradeoff for IoT Networks

Published in
IEEE Internet of Things Journal, 9(22), pp. 23086-23096.
The energy efficiency of an Internet of Things (IoT) receiver can be improved by introducing an adjustable tradeoff between signal quality and energy consumption. In good channel conditions, the receiver can be set to consume less energy per bit, without compromising signal quality in bad channel conditions.
Year
2022
Authors
Mooij, A.J.

Static type checking without downcast operator

Published in
Information Processing Letters, 178
In the last couple of years several dynamically-typed, object-oriented programming languages have been equipped with optional static type checkers. This typically requires these languages to be extended with a downcast operator, which is a common operator in statically-typed languages but not in dynamically-typed languages.
Year
2022
Authors
Sanden, B. van der; Geilen, M.; Reniers, M.; Basten, T.

Partial-Order Reduction for Supervisory Controller Synthesis

Published in
IEEE Transactions on Automatic Control, 67(2), pp. 870-885.
A key challenge in the synthesis and subsequent analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction (POR) is a well-established technique that alleviates this issue in the field of model checking.