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

Kuize Zhang

Xi'an Jiaotong University

20H指数
125论文数
1.5K被引数
收录论文 29
发表时间
logo
Verification and enforcement of strong state-based opacity for discrete-event systems基于离散事件系统的强状态不透明性的验证与执行
errAutomatica
IF5.9
err2026-08-01
err0
PREAI
errHan, Xiaoguang; Zhang, Kuize; Li, Zhiwu
err分享
err收藏
A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata统一方法高效验证离散时间自动机的不可见性
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errKlein, Julian; Zhang, Kuize; Glesner, Sabine
err分享
err收藏
Interval-constraint multiagent systems: Global attractivity and structural stability of equilibria区间约束多智能体系统：均衡的全局吸引性和结构稳定性
errAutomatica
IF5.9
err2025-09-02
err0
PREAI
errFengqiu Liu; Kuize Zhang; Yuhu Wu; Xiaoping Xue
err分享
err收藏
Fundamental structures of invariant dual subspaces with respect to a Boolean network关于布尔网络的关于不变对偶子空间的基本结构
errAUTOMATICA
IF5.9
err2025-07-01
err0
PREAI
errBi, Dongyao; Zhang, Lijun; Zhang, Kuize; Zhang, Shenggui
err分享
err收藏
Human-Simulated Intelligent Walking Control for Biped Robots
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2025-01-01
err0
PREAI
errLiu, Xingyang; Rong, Haina; Neri, Ferrante; Zhang, Kuize; Yang, Qiang; Yu, Zhangguo; Zhang, Gexiang
err分享
err收藏
On the verification of detectability for timed discrete event systems
errAUTOMATICA
IF5.9
err2024-06-01
err0
PREAI
errDong, Weijie; Zhang, Kuize; Li, Shaoyuan; Yin, Xiang
err分享
err收藏
Strong current-state and initial-state opacity of discrete-event systems离散事件系统的强当前状态和初始状态不透明度
errAUTOMATICA
IF5.9
err2023-02-01
err10
errOAAI
errHan, Xiaoguang; Zhang, Kuize; Zhang, Jiahui; Li, Zhiwu; Chen, Zengqiang
err分享
err收藏
Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-01-01
err6
PREAI
errZhang, Kuize
err分享
err收藏
A New Framework for Discrete-Event Systems
errFOUNDATIONS AND TRENDS IN SYSTEMS AND CONTROL
IF0.7
err2023-01-01
err2
PREAI
errZhang, Kuize
err分享
err收藏
A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems
errANNUAL REVIEWS IN CONTROL
IF10.7
err2023-01-01
err3
PREAI
errZhang, Kuize
err分享
err收藏
Ex-Ante Agent Transformation of Bayesian Games
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-11-01
err33
PREAI
errWu, Yuhu; Le, Shuting; Zhang, Kuize; Sun, Xi-Ming
err分享
err收藏
Synthesis for observability of logical control networks
errAUTOMATICA
IF5.9
err2022-10-01
err10
errOAAI
errZhang, Kuize
err分享
err收藏
Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-12-01
err63
PREAI
errZhang, Kuize; Johansson, Karl Henrik
err分享
err收藏
Dynamics and control of evolutionary congestion games
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2020-04-15
err2
PREAI
errGao, Xiaoye; Wang, Jinhuan; Zhang, Kuize
err分享
err收藏
Basis for the quotient space of matrices under equivalence
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2020-03-11
err1
PREAI
errZhang, Kuize
err分享
err收藏
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2019-12-01
err41
errOAAI
errZhang, Kuize; Yin, Xiang; Zamani, Majid
err分享
err收藏
Observability of Finite Labeled Transition Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2018-06-01
err17
PREAI
errZhang, Kuize; Liu, Ting; Cheng, Daizhan
err分享
err收藏
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
errAUTOMATICA
IF5.9
err2017-07-01
err36
PREAI
errZhang, Kuize
err分享
err收藏
An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2017-01-01
err9
PREAI
errZhang, Kuize; Zhang, Lijun; Mou, Shaoshuai
err分享
err收藏
On Decomposed Subspaces of Finite Games
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2016-11-01
err53
PREAI
errCheng, Daizhan; Liu, Ting; Zhang, Kuize; Qi, Hongsheng
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Lihua Xie
H 指数: 117 · 论文数: 1.6K
K
Karl Henrik Johansson
H 指数: 95 · 论文数: 1.6K
Z
Zhiwu Li
H 指数: 78 · 论文数: 933
陈
陈增强 (Zengqiang Chen)
H 指数: 58 · 论文数: 898
D
Daizhan Cheng
H 指数: 58 · 论文数: 459
查看更多