This program is tentative and subject to change.

Fri 10 Oct 2025 15:15 - 15:30 at DCIH 102 - Session 8: Runtime Models and Automation

Model-driven engineering problems often require complex model transformations (MTs), i.e., MTs that are chained in extensive sequences. Pertinent examples of such problems include model synchronization, automated model repair, and design space exploration. Manually developing complex MTs is an error-prone and often infeasible process. Reinforcement learning (RL) is an apt way to alleviate these issues. In RL, an autonomous agent explores the state space through trial and error to identify beneficial sequences of actions, such as MTs. However, RL methods exhibit performance issues in complex problems. In these situations, human guidance can be of high utility. In this paper, we present an approach and technical framework for developing complex MT sequences through RL, guided by potentially uncertain human advice. Our framework allows user-defined MTs to be mapped onto RL primitives, and executes them as RL programs to find optimal MT sequences. Our evaluation shows that human guidance, even if uncertain, substantially improves RL performance, and results in more efficient development of complex MTs. Through a sensible trade-off between the certainty and timeliness of human advice, our method takes a firm step towards machine learning-driven human-in-the-loop engineering methods.

This program is tentative and subject to change.

Fri 10 Oct

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Session 8: Runtime Models and AutomationNew Ideas and Emerging Results (NIER) / Research Papers / Journal-First at DCIH 102

Hybrid

14:00
15m
Talk
Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin webIn Person
Journal-First
DOI
14:15
15m
Talk
Ambient Advisory Models: Augmenting Runtime Models into Distributed Reasoning AgentsIn Person
New Ideas and Emerging Results (NIER)
Demetrius Hernandez The University of Notre Dame, Jane Cleland-Huang University of Notre Dame
14:30
15m
Talk
Run-time threat models for systematic and continuous risk assessmentRemote
Journal-First
Stef Verreydt DistriNet-KU Leuven, Dimitri Van Landuyt KU Leuven, Belgium, Wouter Joosen imec-DistriNet, KU Leuven
DOI
14:45
15m
Talk
Jidoka: Automation with a Human TouchRemote
Journal-First
DOI
15:00
15m
Talk
An Ecosystem of DSMLs for Building CommissioningPT@Remote
Research Papers
Philipp Zech University of Innsbruck, Austria, Emanuele Goldin University of Innsbruck, Christoph Zallinger University of Innsbruck, Sascha Hammes University of Innsbruck - Unit of Energy Efficient Building, Philipp Pobitzer University of Innsbruck, Judith Michael University of Regensburg, Ruth Breu University of Innsbruck
Pre-print
15:15
15m
Talk
Complex Model Transformations by Reinforcement Learning with Uncertain Human Guidance@RemoteFT
Research Papers
Kyanna Dagenais McMaster University, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)