Changyan Zhou

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control IEEE Transactions on Automatic Control	2017-08-25	Paper
Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults IEEE Transactions on Automatic Control	2017-08-08	Paper
Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence IEEE Transactions on Automatic Control	2017-07-27	Paper
Bisimilarity Control of Partially Observed Deterministic Systems IEEE Transactions on Automatic Control	2017-07-27	Paper
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control IEEE Transactions on Automatic 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] Automatica	2014-10-17	Paper
Semantic translation of Simulink diagrams to input/output extended finite automata Discrete Event Dynamic Systems	2012-07-10	Paper

Research outcomes over time

This page was built for person: Changyan Zhou