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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesizing structural and behavioral control for reconfigurations in component-based systems
scientific article

    Statements

    Synthesizing structural and behavioral control for reconfigurations in component-based systems (English)
    0 references
    0 references
    0 references
    0 references
    12 May 2016
    0 references
    dynamic reconfiguration
    0 references
    synthesis
    0 references
    control theory
    0 references
    adaptive systems
    0 references
    correct-by-construction
    0 references

    Identifiers