More Like this

1. Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction

   https://doi.org/10.1109/CDC51059.2022.9992984  

   Xiang, Weiming ; Shao, Zhongzhu ( December 2022 , 2022 IEEE 61st Conference on Decision and Control (CDC))

   This paper aims to enhance the computational efficiency of safety verification of neural network control systems by developing a guaranteed neural network model reduction method. First, a concept of model reduction precision is proposed to describe the guaranteed distance between the outputs of a neural network and its reduced-size version. A reachability-based algorithm is proposed to accurately compute the model reduction precision. Then, by substituting a reduced-size neural network controller into the closed-loop system, an algorithm to compute the reachable set of the original system is developed, which is able to support much more computationally efficient safety verification processes. Finally, the developed methods are applied to a case study of the Adaptive Cruise Control system with a neural network controller, which is shown to significantly reduce the computational time of safety verification and thus validate the effectiveness of the method. 

   more » « less
2. Exploring High-Level Neural Networks Architectures for Efficient Spiking Neural Networks Implementation

   https://doi.org/10.1109/ICREST57604.2023.10070080  

   Islam, Riadul ; Majurski, Patrick ; Kwon, Jun ; Tummala, Sri Ranga ( January 2023 , International Conference on Robotics, Electrical and Signal Processing Techniques (ICREST))
3. Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression

   https://doi.org/10.23919/ACC53348.2022.9867845  

   Xiang, Weiming ; Shao, Zhongzhu ( June 2022 , 2022 American Control Conference (ACC))

   In this paper, we propose a concept of approximate bisimulation relation for feedforward neural networks. In the framework of approximate bisimulation relation, a novel neural network merging method is developed to compute the approximate bisimulation error between two neural networks based on reachability analysis of neural networks. The developed method is able to quantitatively measure the distance between the outputs of two neural networks with the same inputs. Then, we apply the approximate bisimulation relation results to perform neural networks model reduction and compute the compression precision, i.e., assured neural networks compression. At last, using the assured neural network compression, we accelerate the verification processes of ACAS Xu neural networks to illustrate the effectiveness and advantages of our proposed approximate bisimulation approach. 

   more » « less
4. Genetic Neural Networks: an artificial neural network architecture for capturing gene expression relationships

   https://doi.org/10.1093/bioinformatics/bty945  

   Eetemadi, Ameen ; Tagkopoulos, Ilias ; Berger, Bonnie ( November 2018 , Bioinformatics)
5. Neural Network DPD via Backpropagation through a Neural Network Model of the PA

   https://doi.org/10.1109/IEEECONF44664.2019.9048910  

   Tarver, Chance ; Jiang, Liwen ; Sefidi, Aryan ; Cavallaro, Joseph R. ( November 2019 , 2019 IEEE 53rd Asilomar Conference on Signals, Systems and Computers)

   null (Ed.)

   We demonstrate digital predistortion (DPD) using a novel, neural-network (NN) method to combat the nonlinearities in power amplifiers (PAs), which limit the power efficiency of mobile devices, increase the error vector magnitude, and cause inadequate spectral containment. DPD is commonly done with polynomial-based methods that use an indirect-learning architecture (ILA) which can be computationally intensive, especially for mobile devices, and overly sensitive to noise. Our approach using NNs avoids the problems associated with ILAs by first training a NN to model the PA then training a predistorter by backpropagating through the PA NN model. The NN DPD effectively learns the unique PA distortions, which may not easily fit a polynomial-based model, and hence may offer a favorable tradeoff between computation overhead and DPD performance. We demonstrate the performance of our NN method using two different power amplifier systems and investigate the complexity tradeoffs. 

   more » « less