Modeling for supervisor synthesis–a lock-bridge combination case study

FFH Reijnen, MA Goorden… - Discrete Event Dynamic …, 2020 - Springer
Designing supervisory controllers for high-tech systems is becoming increasingly complex
due to demands for verified safety, higher quality and availability, and extending …

动态数据驱动仿真综述

谢旭, 邱晓刚, 包亦正, 许凯 - 系统仿真学报, 2024 - china-simulation.com
动态数据驱动仿真是一种“模型和数据相结合” 的仿真范式, 它将真实系统的观测(数据)
持续注入仿真(模型), 让数据动态地校正仿真(状态, 参数), 以此来提高基于仿真的估计和预测 …

[HTML][HTML] Supervisory control synthesis for large-scale systems with isomorphisms

L Moormann, JM van de Mortel-Fronczak… - Control Engineering …, 2021 - Elsevier
The complexity of the design of supervisory controllers for today's high-tech systems is ever
increasing with the rise in demands for higher safety and functionality. Supervisory control …

Supervisory controller synthesis and implementation for safety PLCs

FFH Reijnen, TR Erens… - Discrete Event Dynamic …, 2022 - Springer
The development of supervisory controllers for cyber-physical systems is a laborious and
error-prone process. Supervisor synthesis enables control designers to automatically …

Particle filter–based data assimilation in dynamic data-driven simulation: sensitivity analysis of three critical experimental conditions

Y Huang, X Xie, Y Cho, A Verbraeck - Simulation, 2023 - journals.sagepub.com
Data assimilation (DA) is a methodology widely used by different disciplines of science and
engineering. It is typically applied to continuous systems with numerical models. The …

[PDF][PDF] Putting supervisor synthesis to work: controller software generation for infrastructural systems

FFH Reijnen - 2020 - research.tue.nl
In the coming decades, numerous locks and bridges in the Netherlands have to be
renovated or replaced, as they reach their end-of-life or have capacity problems. In the past …

[PDF][PDF] Light at the end of the tunnel: Synthesis-based engineering for road tunnels

L Moormann - 2022 - research.tue.nl
Road tunnels play an important role in the traffic infrastructure in the Netherlands, either to
bypass geological obstacles such as rivers, or to improve traffic flow and quality of life in …

A Web‐Based Architecture to Operationalize Geospatial Simulation Environments

G Wainer, B St‐Aubin - Advanced Theory and Simulations, 2024 - Wiley Online Library
Large scale geospatial simulation projects require multidisciplinary efforts by actors with
highly variable skills and domains of expertise. Subject matter experts, modelers …

100 volumes of SIMULATION—20 years of DEVS research

G Wainer, S Govind - Simulation, 2024 - journals.sagepub.com
The growth of real-time embedded applications has surged in recent years, marked by both
an increase in the number and complexity of tasks performed across various industries …

[PDF][PDF] Имитационные модели в цифровых двойниках железнодорожных узлов

АН Рахмангулов, СН Корнилов… - Вестник Уральского …, 2022 - researchgate.net
Аннотация Развитие информацион! ных технологий и техниче! ских средств
регистрации данных создает условия для наполнения имитаци! онных моделей …