NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks

被引：4
|
作者：
Goyal, Manish [1 ]
Duggirala, Parasara Sridhar [1 ]
机构：
[1] Univ N Carolina, Dept Comp Sci, Chapel Hill, NC 27515 USA
来源：
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020) | 2020年 / 12302卷
基金：
美国国家科学基金会;
关键词：
State space exploration; Sensitivity; Inverse Sensitivity; Neural Networks; Testing; Approximation; Falsification; VERIFICATION;
D O I：
10.1007/978-3-030-59152-6_4
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we propose a framework for performing state space exploration of closed loop control systems. Our approach involves approximating sensitivity and a newly introduced notion of inverse sensitivity by a neural network. We show how the approximation of sensitivity and inverse sensitivity can be used for computing estimates of the reachable set. We then outline algorithms for performing state space exploration by generating trajectories that reach a neighborhood. We demonstrate the effectiveness of our approach by applying it not only to standard linear and nonlinear dynamical systems, but also to nonlinear hybrid systems and also neural network based feedback control systems.
引用
收藏
页码：75 / 91
页数：17
相关论文
共 50 条
  • [1] NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks
    Goyal, Manish
    Duggirala, Parasara Sridhar
    LEARNING FOR DYNAMICS AND CONTROL, VOL 120, 2020, 120 : 697 - 697
  • [2] Closed loop NOx control and optimisation using neural networks.
    Gabor, J
    Pakulski, D
    Swirski, K
    Domanski, PD
    POWER PLANTS AND POWER SYSTEMS CONTROL 2000, 2000, : 141 - 146
  • [3] Closed loop predictive control of adaptive optics systems with convolutional neural networks
    Swanson, Robin
    Lamb, Masen
    Correia, Carlos M.
    Sivanandam, Suresh
    Kutulakos, Kiriakos
    MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, 2021, 503 (02) : 2944 - 2954
  • [4] Speed Estimator in Closed-Loop Scalar Control Using Neural Networks
    Santos, T. H.
    Goedtel, A.
    Silva, S. A. O.
    Suetake, M.
    2014 INTERNATIONAL CONFERENCE ON ELECTRICAL MACHINES (ICEM), 2014, : 2570 - 2576
  • [5] Artificial Neural Networks for Stochastic Control of Nonliner State Space Systems
    Gorji, Ali A.
    Menhaj, Mohammad B.
    2008 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-8, 2008, : 147 - 154
  • [6] Identification and control for discrete dynamics systems using space state recurrent fuzzy neural networks
    Mendez Monroy, Paul Erick
    Benitez Perez, Hector
    CERMA 2007: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE, PROCEEDINGS, 2007, : 112 - +
  • [7] Using Artificial Neural Networks for Closed Loop Control of a Hydraulic Prosthesis for a Human Elbow
    Bevilacqua, Vitoantonio
    Dotoli, Mariagrazia
    Foglia, Mario Massimo
    Acciani, Francesco
    Tattoli, Giacomo
    Valori, Marcello
    EMERGING INTELLIGENT COMPUTING TECHNOLOGY AND APPLICATIONS, 2012, 304 : 475 - +
  • [8] Closed Loop State Space Analysis and Simulation for Cognitive Systems
    Oberheid, Hendrik
    Gamrad, Dennis
    Soeffker, Dirk
    2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 39 - +
  • [9] Using Exploration to Alleviate Closed Loop Effects in Recommender Systems
    Jadidinejad, Amir H.
    Macdonald, Craig
    Ounis, Iadh
    PROCEEDINGS OF THE 43RD INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR '20), 2020, : 2025 - 2028
  • [10] NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation
    Goyal, Manish
    Dewaskar, Miheer
    Duggirala, Parasara Sridhar
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (11) : 4265 - 4276
12345