Control_and_Discovery_of_Reactive_System_Environments.pdf (367.04 kB)
Download file

Control and Discovery of Reactive System Environments

Download (367.04 kB)
journal contribution
posted on 16.12.2020, 16:07 by Nir Piterman, Maureen Keegan, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel
An important ability of self-adaptive systems is to be able to autonomously understand the environment in which they operate and use this knowledge to control the environment behaviour in such a way that system goals are achieved. How can this be achieved when the environment is unknown? Two phase solutions that require a full discovery of environment behaviour before computing a strategy that can guarantee the goals or report the non-existence of such a strategy (i.e., unrealisability) are impractical as the environment may exhibit adversarial behaviour to avoid full discovery. In this paper we formalise a control and discovery problem for reactive system environments. In our approach a strategy must be produced that will, for every environment, guarantee that unrealisablity will be correctly concluded or system goals will be achieved by controlling the environment behaviour. We present a solution applicable to environments characterisable as labeled transition systems (LTS). We use modal transition systems (MTS) to represent partial knowledge of environment behaviour, and rely on MTS controller synthesis to make exploration decisions. Each decision either contributes more knowledge about the environment's behaviour or contributes to achieving the system goals. We present an implementation restricted to GR(1) goals and show its viability.

Funding

This work is supported by the following grants: the ERC Consolidator grant D-SynMA (No. 772459), the Marie Skodowska-Curie BeHAPI (No. 778233), thegrants ANPCYT PICT 2018-3835, ANPCYT PICT 2015-1718, CONICETPIP 2014/16 N11220130100688CO, 2015/2017 N11220150100931CO andUBACYT 20020170100419 BA

History

Author affiliation

Department of Informatics

Version

AM (Accepted Manuscript)

Published in

IEEE Transactions on Software Engineering

Publisher

Institute of Electrical and Electronics Engineers

issn

0098-5589

Acceptance date

30/11/2020

Copyright date

2020

Available date

14/12/2020

Language

en