Adaptability checking in complex systems

Download PDF
Open Webpage

Emanuela Merelli, Nicola Paoletti, Luca Tesei

Published: 2016, Last Modified: 27 Jan 2025Sci. Comput. Program. 2016EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•Hierarchical model for multi-level adaptive systems.•Relational characterisation of strong and weak adaptability.•Adaptability checking is reduced to a CTL model checking problem.•Application to the case study of ATVs motion control.