Changyan Zhou

Available identifiers

zbMath Open zhou.changyanMaRDI QIDQ434478

List of research outcomes

Publication	Date of Publication	Type
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control	2017-08-25	Paper
Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults	2017-08-08	Paper
Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence	2017-07-27	Paper
Bisimilarity Control of Partially Observed Deterministic Systems	2017-07-27	Paper
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control	2017-07-12	Paper
Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]	2014-10-17	Paper
Semantic translation of Simulink diagrams to input/output extended finite automata	2012-07-10	Paper

Research outcomes over time

This page was built for person: Changyan Zhou