More Like this

1. A generic neural network model to estimate populational neural activity for robust neural decoding

   https://doi.org/10.1016/j.compbiomed.2022.105359  

   Roy, Rinku ; Xu, Feng ; Kamper, Derek G. ; Hu, Xiaogang ( May 2022 , Computers in Biology and Medicine)
2. 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
3. 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))
4. 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
5. 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)