Concepedia

Renyuan Zhang

RZ

Statistics

Publications

8

Citations

242

H-Index

8

Active since

2008

Affiliations

University of Toronto(Current)

Northwestern Polytechnical University

Osaka City University

Xi'an Jiaotong University

Renyuan Zhang is an author at University of Toronto specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringAutomated ReasoningFormal VerificationVerificationAutomationProbabilityProcess Control

Publications per year

2008–2017

8

Publications

8

Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages

Kai Cai, Renyuan Zhang, W.M. Wonham · IEEE Transactions on Automatic Control · 2014 · 101 citations

Relative Observability, Reachability Analysis, Engineering +13

All-derivable points in the algebra of all upper triangular matrices

Jun Zhu, Changping Xiong, Renyuan Zhang · Linear Algebra and its Applications · 2008 · 30 citations

Universal Algebra, Upper Triangular Matrices

Supervision localization of timed discrete-event systems

Renyuan Zhang, Kai Cai, Yongmei Gan et al. · Automatica · 2013 · 30 citations · Full text

Engineering, Discrete Event System, Automated Reasoning +8

Relative Observability and Coobservability of Timed Discrete-Event Systems

Kai Cai, Renyuan Zhang, W.M. Wonham · IEEE Transactions on Automatic Control · 2015 · 21 citations · Full text

Relative Observability, Engineering, Discrete Event System +13

Supervisor localization of discrete-event systems under partial observation

Renyuan Zhang, Kai Cai, W.M. Wonham · Automatica · 2017 · 18 citations · Full text

Mathematical Programming, Engineering, Supervisor Localization +9

1–5 of 8