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
2026
Authors
Beijloos, T.G.M.

Extended Liveness Capabilities for Synthesis in CIF - A Rijkswaterstaat case study

Synthesis based engineering (SBE) is an approach in which supervisor synthesis is utilized to automatically generate a correct-by-construction supervisor for a cyber-physical system. The Eclipse Supervisory Control Engineering Toolkit (ESCET—) project develops a state-of-the-art toolkit supporting the entire SBE workflow mainly through the CIF language and tools.
Year
2026
Authors
Bacau, C.

Proving the power of Synthesis Based Engineering on the TNO-ESI Demo system

This project investigates the application of Synthesis-Based Engineering (SBE) to the TNO Embedded Systems Innovation (TNO-ESI) demo system, a modular cyber-physical training factory. The objective is to demonstrate the power of SBE in the development of industrial control software by automatically synthesizing correct-by-construction supervisory controllers from formal specifications.
Year
2026
Authors
Marincic, J.; Vasenev, A.N.; Leeuw, S.J. van der; Goosen, P.

Systems architecting for sustainability in high-tech industry : Canvas 2024 project report

For industry, including high-tech manufacturing industry and OEMs, it is foreseeable that new regulations will be stricter on environmental sustainability and circularity indicators. The cus-tomers (who are businesses themselves) will face the same regulations and will therefore increasingly push their suppliers to comply.