The Reachability Problem for Neural-Network Control Systems

Autor:	Schilling, Christian, Zimmermann, Martin
Rok vydání:	2024
Předmět:	Computer Science - Machine Learning Computer Science - Computational Complexity Computer Science - Logic in Computer Science Electrical Engineering and Systems Science - Systems and Control
Zdroj:	AISoLA 2023
Druh dokumentu:	Working Paper
DOI:	10.1007/978-3-031-73741-1_27
Popis:	A control system consists of a plant component and a controller which periodically computes a control input for the plant. We consider systems where the controller is implemented by a feedforward neural network with ReLU activations. The reachability problem asks, given a set of initial states, whether a set of target states can be reached. We show that this problem is undecidable even for trivial plants and fixed-depth neural networks with three inputs and outputs. We also show that the problem becomes semi-decidable when the plant as well as the input and target sets are given by automata over infinite words.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2407.04988 Zobrazit plný text záznamu View this record from Arxiv