Institution profile

Framatome GmbH

Industry researcheurope · de
Official website
Research library2linked papers
Opportunities0open roles
Selected work

Representative Papers

Structured Representation Learning for Behavior Cloning: How can we learn to safely control a nuclear power plant?

Oct 05, 2026

This study addresses the challenge of ensuring safety when embedding industrial control models into deployed systems, particularly regarding safety constraints in pressurized water reactor (PWR) load-following operations. To this end, a physics-decomposition-based structured representation learning method is proposed. This approach constructs a multi-timescale separation embedding architecture that maps variables across different timescales into independent latent spaces to emulate expert policies. It further enables hybrid deployment by integrating behavioral cloning with nonlinear model predictive control (NMPC). Experimental results demonstrate that the proposed method significantly improves the accuracy and feasibility of long-horizon trajectories, achieving fully feasible solutions with near-optimal costs while reducing computation time by approximately 15% compared to the expert controller.

0 citationsRead paper

Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform

Sep 24, 2026Electronic Proceedings in Theoretical Computer Science

This study addresses the insufficient trustworthiness of the compilation process and suboptimal performance of generated code in nuclear safety instrumentation and control (I&C) systems. By introducing the CompCert verified compiler into the TELEPERM XS platform, this work leverages formal methods to eliminate compiler defects and reduce the trusted computing base. Furthermore, the toolchain verification workflow is optimized, and the runtime performance of specific code patterns is improved. The core contribution lies in elevating the safety argumentation from mere maintenance to active enhancement, thereby establishing a more rigorous safety case for nuclear I&C software. Ultimately, this approach significantly improves both the safety assurance and development efficiency of safety-critical software production within the nuclear power domain.

0 citationsRead paper
Recent publications

Latest Papers

Structured Representation Learning for Behavior Cloning: How can we learn to safely control a nuclear power plant?

Oct 05, 2026

This study addresses the challenge of ensuring safety when embedding industrial control models into deployed systems, particularly regarding safety constraints in pressurized water reactor (PWR) load-following operations. To this end, a physics-decomposition-based structured representation learning method is proposed. This approach constructs a multi-timescale separation embedding architecture that maps variables across different timescales into independent latent spaces to emulate expert policies. It further enables hybrid deployment by integrating behavioral cloning with nonlinear model predictive control (NMPC). Experimental results demonstrate that the proposed method significantly improves the accuracy and feasibility of long-horizon trajectories, achieving fully feasible solutions with near-optimal costs while reducing computation time by approximately 15% compared to the expert controller.

0 citationsRead paper

Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform

Sep 24, 2026Electronic Proceedings in Theoretical Computer Science

This study addresses the insufficient trustworthiness of the compilation process and suboptimal performance of generated code in nuclear safety instrumentation and control (I&C) systems. By introducing the CompCert verified compiler into the TELEPERM XS platform, this work leverages formal methods to eliminate compiler defects and reduce the trusted computing base. Furthermore, the toolchain verification workflow is optimized, and the runtime performance of specific code patterns is improved. The core contribution lies in elevating the safety argumentation from mere maintenance to active enhancement, thereby establishing a more rigorous safety case for nuclear I&C software. Ultimately, this approach significantly improves both the safety assurance and development efficiency of safety-critical software production within the nuclear power domain.

0 citationsRead paper