E. Rutten

Available identifiers

zbMath Open rutten.ericMaRDI QIDQ1041295

List of research outcomes

Publication	Date of Publication	Type
Sustaining performance while reducing energy consumption: a control theory approach	2022-03-31	Paper
Synthesizing structural and behavioral control for reconfigurations in component-based systems	2016-05-12	Paper
Integrating discrete controller synthesis into a reactive programming language compiler	2013-11-12	Paper
Automating the addition of fault tolerance with discrete controller synthesis	2009-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4417893	2003-07-30	Paper
Formal verification of programs specified with signal: Application to a power transformer station controller	2001-10-14	Paper

Research outcomes over time

This page was built for person: E. Rutten