logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
W

Weiming Xiang

university system of georgia

31H指数
172论文数
3.8K被引数
收录论文 42
发表时间
logo
EqBaB: Efficient equivalence verification for compressed DNNs with bound propagationEqBaB: 具有绑定传播的压缩dnn的高效等价性验证
errNeurocomputing
IF6.5
err2026-01-24
err0
PREAI
errZihao Mo; Weiming Xiang
err分享
err收藏
Model-free stabilization for discrete-time large-scale systems with time-delays无模型镇定方法用于离散时间大系统的时间延迟问题
errAutomatica
IF5.9
err2025-06-19
err0
PREAI
errShuaizheng Lu; Weiming Xiang
err分享
err收藏
Neural transition system abstraction for neural network dynamical system models and its application to Computational Tree Logic verification神经网络动力系统模型的神经转移系统抽象及其在计算树逻辑验证中的应用
errNEURAL NETWORKS
IF6.3
err2025-06-01
err0
PREAI
errYang, Yejiang; Wang, Tao; Xiang, Weiming
err分享
err收藏
A Distributed Neural Hybrid System Learning Framework in Modeling Complex Dynamical Systems
errIEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS
IF8.9
err2024-01-01
err0
PREAI
errYang, Yejiang; Wang, Tao; Xiang, Weiming
err分享
err收藏
Computationally efficient neural hybrid automaton framework for learning complex dynamics
errNEUROCOMPUTING
IF6.5
err2023-12-01
err2
errOAAI
errWang, Tao; Yang, Yejiang; Xiang, Weiming
err分享
err收藏
Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems
errIEEE TRANSACTIONS ON CYBERNETICS
IF10.5
err2022-09-01
err3
errOAAI
errXiang, Weiming
err分享
err收藏
Guaranteed approximation error estimation of neural networks and model modification
errNEURAL NETWORKS
IF6.3
err2022-07-01
err15
errOAAI
errYang, Yejiang; Wang, Tao; Woolard, Jefferson P.; Xiang, Weiming
err分享
err收藏
Design of interval observer for continuous linear large-scale systems with disturbance attenuation
errJOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS
IF3.7
err2022-05-01
err5
errOAAI
errWang, Tao; Li, Yapeng; Xiang, Weiming
err分享
err收藏
New Stability Conditions for Switched Linear Systems: A Reverse-Timer-Dependent Multiple Discontinuous Lyapunov Function Approach
errieee transactions on cybernetics
IF8.7
err2021-10-01
err14
PREAI
errLi, Yang; Xiang, Weiming; Zhang, Hongbin; Xia, Jianwei; Zheng, Qunxian
err分享
err收藏
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
errIEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS
IF8.9
err2021-05-01
err59
errOAAI
errXiang, Weiming; Tran, Hoang-Dung; Yang, Xiaodong; Johnson, Taylor T.
err分享
err收藏
Reachable set estimation and decentralized control synthesis of large-scale switched systems under mixed switching
errINTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL
IF3.2
err2020-08-26
err8
PREAI
errWang, Tao; Wang, Xuehai; Xiang, Weiming
err分享
err收藏
Reachable set estimation and decentralized control synthesis for a class of large-scale switched systems
errISA TRANSACTIONS
IF6.5
err2020-08-01
err8
PREAI
errWang, Tao; Wang, Xuehai; Xiang, Weiming
err分享
err收藏
Stabilization for continuous -time switched linear systems: A mixed switching scheme
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2020-05-01
err18
PREAI
errXiang, Weiming
err分享
err收藏
Necessary and sufficient conditions to stability of discrete-time delay systems
errJOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS
IF3.7
err2019-11-01
err4
PREAI
errWang, Tao; Xiang, Weiming
err分享
err收藏
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2019-08-01
err26
errOAAI
errXiang, Weiming; Hoang-Dung Tran; Johnson, Taylor T.
err分享
err收藏
Output Reachable Set Estimation and Verification for Multilayer Neural Networks
errIEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS
IF8.9
err2018-11-01
err185
errOAAI
errXiang, Weiming; Hoang-Dung Tran; Johnson, Taylor T.
err分享
err收藏
On stability and H∞ control of switched systems with random switching signals
errAUTOMATICA
IF5.9
err2018-09-01
err59
PREAI
errXiang, Weiming; Lam, James; Li, Panshuo
err分享
err收藏
Reachable set estimation for switched linear systems with dwell-time switching具有停留时间切换的线性切换系统的可达集估计
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2018-08-01
err34
errOAAI
errBaldi, Simone; Xiang, Weiming
err分享
err收藏
Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching任意切换下离散切换系统的鲁棒指数稳定性和扰动衰减
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2018-05-01
err54
errOAAI
errXiang, Weiming; Hoang-Dung Tran; Johnson, Taylor T.
err分享
err收藏
Parameter-memorized Lyapunov functions for discrete-time systems with time-varying parametric uncertainties具有时变参数不确定性的离散时间系统的参数记忆Lyapunov函数
errAUTOMATICA
IF5.9
err2018-01-01
err15
PREAI
errXiang, Weiming
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
J
James Lam
H 指数: 112 · 论文数: 881
L
Lixian Zhang
H 指数: 71 · 论文数: 352
J
Jianwei Xia
H 指数: 53 · 论文数: 457
M
Magdi S. Mahmoud
H 指数: 53 · 论文数: 733
S
Simone Baldi
H 指数: 49 · 论文数: 302
查看更多