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

DOI10.1007/S00165-015-0346-YMaRDI QIDQ282089zbMATH OpenOpenAlexFDO

Authors Narges Khakpour, Farhad Arbab, E. 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

synthesiscontrol theoryadaptive systemscorrect-by-constructiondynamic reconfiguration

Mathematics Subject Classification ID

Adaptive control/observation systems (93C40)

Recommendations

• Structural reconfiguration of systems under behavioral adaptation
• Adaptable transition systems
• A contract-based approach to adaptivity
• When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
• Assurance of dynamic adaptation in distributed systems

Cites work

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

Cited in

(5)

• A contract-based approach to adaptivity
• Assurance of dynamic adaptation in distributed systems
• Reconfigurability of behavioural specifications for manufacturing systems
• Structural reconfiguration of systems under behavioral adaptation
• scientific article; zbMATH DE number 3926736 (Why is no real title available?)

Describes a project that uses

Uses Software

• Graphviz

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q282089)