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.

Published in
Mechatronica & Machinebouw, 3, pp. 16-18.
Published in
Mechatronica & Machinebouw, 2, pp. 22-25.
Year
2022
Authors
Arocho, C.

Streamlining troubleshooting in the field

Published in
Bits & Chips(5), pp. 42-44.
Published in
Bits & Chips(4), pp. 26-28.
Year
2022
Authors
Roos, N.

Clearing the critical software path

Published in
Bits & Chips(3), pp. 26-28.
Published in
Bits & Chips(2), pp. 20-24.
Year
2022
Authors
Hooimeijer, B.; Geilen, M.; Groote, J.; Hendriks, D.; Schiffelers, R.

Constructive Model Inference: Model Learning for Component-based Software Architectures

Model learning, learning a state machine from software, can be an effective model-based engineering technique, especially to understand legacy software. However, so far the applicability is limited as models that can be learned are quite small, often insufficient to represent the software behavior of large industrial systems.
Year
2022
Authors
Hilbrands, B.J.; Bera, D.; Akesson, B.

Partial Specifications of Component-based Systems using Petri Nets

Component-based architectures are commonly used in industry to manage the increasing complexity of systems. In such architectures, components interact with each other to achieve the desired functionality. They do so by providing and consuming services to and from each other over their defined interfaces.
Year
2022
Authors
Laveaux, M.; Wesselink, W.; Willemse, T.A.C.

On-The-Fly Solving for Symbolic Parity Games

Published in
IEEE Access
Vehicle platooning is an enabler technology for increasing road capacity, improving safety and reducing fuel consumption. Platoon control is a two-layered system where each layer runs under a different communication standard and rate - (i) the upper-layer operates under a specific V2V communication standard such as IEEE 802.