From the 1 of 13 linked papers with an AI index.
70 citations · 98 across the 10 of their papers we have counts for
13 papers
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression
Weiming Xiang, Zhongzhu Shao
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 netw…
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Yejiang Yang, Weiming Xiang
In this paper, a robust optimization framework is developed to train shallow neural networks based on reachability analysis of neural networks. To characterize noises of input data…
Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems with Ranged Dwell Time
Weiming Xiang
This paper deals with the stability analysis problem of discrete-time switched linear systems with ranged dwell time. A novel concept called L-switching-cycle is proposed, which co…
A Data-Driven Modeling Framework of Time-Dependent Switched Dynamical Systems via Extreme Learning Machine
Weiming Xiang
In this work, a data-driven modeling framework of switched dynamical systems under time-dependent switching is proposed. The learning technique utilized to model system dynamics is…
Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems
Weiming Xiang
Complex dynamical systems rely on the correct deployment and operation of numerous components, with state-of-the-art methods relying on learning-enabled components in various stage…
Verification of Deep Convolutional Neural Networks Using ImageStars
Hoang-Dung Tran, Stanley Bak, Weiming Xiang +1
Convolutional Neural Networks (CNN) have redefined the state-of-the-art in many real-world applications, such as facial recognition, image classification, human pose estimation, an…