A hierarchical approach for modelling the adaptability features of complex systems is introduced. It is based on a structural level S, describing the adaptation dynamics of the system, and a behavioural level B accounting for the description of the admissible dynamics of the system. Moreover, a unified system, called S[B]S[B], is defined by coupling S and B. The adaptation semantics is such that the S level imposes structural constraints on the B level, which has to adapt whenever it no longer can satisfy them. In this context, we introduce weak and strong adaptability, i.e. the ability of a system to adapt for some evolution paths or for all possible evolutions, respectively. We provide a relational characterisation for these two notions and we show that adaptability checking, i.e. deciding if a system is weakly or strongly adaptable, can be reduced to a CTL model checking problem. We apply the model and the theoretical results to the case study of a motion controller of autonomous transport vehicles.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Adaptability checking in complex systems



    Erscheinungsdatum :

    01.01.2016



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    DDC:    629



    Knowledge Emergence and Complex Adaptability in Swarm Intelligence

    He, X.-x. / Zhu, Y.-l. / Wang, M. | British Library Online Contents | 2005


    American adaptability

    Engineering Index Backfile | 1935


    Adaptability in Engineered Resilient Systems (ERS)

    Rodriguez, Yvette / Madni, Azad | AIAA | 2012


    High-adaptability automobile pedal

    HONG YAOHUA | Europäisches Patentamt | 2025

    Freier Zugriff

    High-adaptability automobile pedal

    ZHENG NAN / YAO JUN / GUO XIAOJUAN et al. | Europäisches Patentamt | 2024

    Freier Zugriff