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

DOI10.1007/S00165-015-0346-YzbMATH Open1338.93189OpenAlexW2254399064MaRDI QIDQ282089FDOQ282089

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

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

zbMATH Keywords

synthesiscontrol theoryadaptive systemscorrect-by-constructiondynamic reconfiguration

Mathematics Subject Classification ID

Adaptive control/observation systems (93C40)

Cites Work

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

Cited In (5)

• A contract-based approach to adaptivity
• Assurance of dynamic adaptation in distributed systems
• Structural reconfiguration of systems under behavioral adaptation
• Title not available (Why is that?)
• Reconfigurability of behavioural specifications for manufacturing systems

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)