Showing results (1-10 of 14,710) with videos related to

Sort By:
Pageof 1,471
Neural Networks : the Official Journal of the International Neural Network Society|February 25, 2025
Neural transition system abstraction for neural network dynamical system models and its application to Computational Tree Logic verificationYejiang Yang, Tao Wang, Weiming Xiang
IEEE Transactions on Neural Networks and Learning Systems|June 28, 2024
A Distributed Neural Hybrid System Learning Framework in Modeling Complex Dynamical SystemsYejiang Yang, Tao Wang, Weiming Xiang
Neural Networks : the Official Journal of the International Neural Network Society|April 8, 2022
Guaranteed approximation error estimation of neural networks and model modificationYejiang Yang, Tao Wang, Jefferson P Woolard, et al.
ISA Transactions|February 8, 2025
Data-driven controller design of discrete-time switched systems using virtual clock approachYapeng Li, Tao Wang, Weiming Xiang
IEEE Transactions on Cybernetics|March 17, 2021
Runtime Safety Monitoring of Neural-Network-Enabled Dynamical SystemsWeiming Xiang
IEEE Transactions on Neural Networks and Learning Systems|July 12, 2018
Output Reachable Set Estimation and Verification for Multilayer Neural NetworksWeiming Xiang, Hoang-Dung Tran, Taylor T Johnson
IEEE Transactions on Neural Networks and Learning Systems|May 27, 2020
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided ApproachWeiming Xiang, Hoang-Dung Tran, Xiaodong Yang, et al.
Pageof 1,471