Safe inputs approximation for black-box systems

Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Given a family of independent and identically distributed samples extracted from the input region and their corresponding outputs, in this paper we propose a method to under-approximate the set of safe inputs that lead the black-box system to respect a given safety specification. Our method falls within the framework of probably approximately correct (PAC) learning. The computed under-approximation comes with statistical soundness provided by the underlying PAC learning process. Such a set, which we call a PAC under-approximation, is obtained by computing a PAC model of the black-box system with respect to the specified safety specification. In our method, the PAC model is computed based on the scenario approach, which encodes as a linear program. The linear program is constructed based on the given family of input samples and their corresponding outputs. The size of the linear program does not depend on the dimensions of the state space of the black-box system, thus providing scalability. Moreover, the linear program does not depend on the internal mechanism of the black-box system, thus being applicable to systems that existing methods are not capable of dealing with. Some case studies demonstrate these properties, general performance and usefulness of our approach.

Original languageEnglish
Title of host publicationProceedings - 2019 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages180-189
Number of pages10
ISBN (Electronic)9781728146461
DOIs
Publication statusPublished - Nov 2019
Event24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019 - Guangzhou, China
Duration: Nov 10 2019Nov 13 2019

Publication series

NameProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Volume2019-November

Conference

Conference24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019
CountryChina
CityGuangzhou
Period11/10/1911/13/19

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Safe inputs approximation for black-box systems'. Together they form a unique fingerprint.

  • Cite this

    Xue, B., Liu, Y., Ma, L., Zhang, X., Sun, M., & Xie, X. (2019). Safe inputs approximation for black-box systems. In Proceedings - 2019 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019 (pp. 180-189). [8882768] (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; Vol. 2019-November). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICECCS.2019.00027