Synthesizing structural and behavioral control for reconfigurations in component-based systems

DOI10.1007/S00165-015-0346-YzbMath1338.93189OpenAlexW2254399064MaRDI QIDQ282089

Narges Khakpour, Farhad Arbab, Éric Rutten

Publication date: 12 May 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/25139

zbMATH Keywords

synthesisadaptive systemscontrol theorycorrect-by-constructiondynamic reconfiguration

Mathematics Subject Classification ID

Adaptive control/observation systems (93C40)

Uses Software

• Unnamed Item

Cites Work

• Integrating discrete controller synthesis into a reactive programming language compiler
• Assurance of dynamic adaptation in distributed systems
• Supervisory Control of a Class of Discrete Event Processes
• Synchronous and Bidirectional Component Interfaces

This page was built for publication: Synthesizing structural and behavioral control for reconfigurations in component-based systems