Correction to: ``Transformational supervisor synthesis for evolving systems

DOI10.1007/S10626-023-00384-WMaRDI QIDQ6201391

Michel Reniers, Sander Thuijsman

Publication date: 25 March 2024

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

zbMATH Keywords

supervisor synthesisdiscrete event systemssoftware evolutionsupervisory control theorydelta modelingsoftware product line engineering

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

Cites Work

• Transformational supervisor synthesis for evolving systems

This page was built for publication: Correction to: ``Transformational supervisor synthesis for evolving systems