Changyan Zhou

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 1

Top Topics

Influence Factors

Finite Automata

Top Venues

IEEE Trans Autom. Sci. Eng.

Publications

Na Li, Changyan Zhou, Ping Zhao
The Validation of Soil Moisture from Various Sources and Its Influence Factors in the Tibetan Plateau. Remote. Sens. 14 (16) (2022)
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou
Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788]. Autom. 50 (1) (2014)
Changyan Zhou, Ratnesh Kumar
Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables. IEEE Trans Autom. Sci. Eng. 10 (1) (2013)
Changyan Zhou, Ratnesh Kumar
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. Discret. Event Dyn. Syst. 22 (2) (2012)
Changyan Zhou, Ratnesh Kumar
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control. IEEE Trans. Autom. Control. 56 (12) (2011)
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
Analysis of runtime data-log for software fault localization. ACC (2011)
Changyan Zhou, Ratnesh Kumar
Modeling Simulink Diagrams Using Input/Output Extended Finite Automata. COMPSAC (2) (2009)
Changyan Zhou, Ratnesh Kumar
Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults. IEEE Trans. Autom. Control. 54 (7) (2009)
Changyan Zhou, Ratnesh Kumar
On identification of input/output extended automata with finite bisimilar quotients. ACC (2009)
Changyan Zhou, Ratnesh Kumar
Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems. IEEE Trans Autom. Sci. Eng. 5 (1) (2008)
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
Keynote: Hierarchical Fault Detection in Embedded Control Software. COMPSAC (2008)
Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. SEKE (2007)
Changyan Zhou, Ratnesh Kumar
Bisimilarity Control of Partially Observed Deterministic Systems. IEEE Trans. Autom. Control. 52 (9) (2007)
Changyan Zhou, Ratnesh Kumar
A Small Model Theorem for Bisimilarity Control Under Partial Observation. IEEE Trans Autom. Sci. Eng. 4 (1) (2007)
Changyan Zhou, Ratnesh Kumar, Ramavarapu S. Sreenivas
Decentralized modular control of concurrent discrete event systems. CDC (2007)
Ratnesh Kumar, Changyan Zhou
Control of Nondeterministic Discrete Event Systems for Simulation Equivalence. IEEE Trans Autom. Sci. Eng. 4 (3) (2007)
Ratnesh Kumar, Changyan Zhou, Samik Basu
Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. ACC (2006)
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
Control of nondeterministic discrete-event systems for bisimulation equivalence. IEEE Trans. Autom. Control. 51 (5) (2006)
Changyan Zhou, Ratnesh Kumar
Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems. CDC/ECC (2005)
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control. IEEE Trans. Autom. Control. 50 (4) (2005)
Changyan Zhou, Ratnesh Kumar
Computation of Diagnosable Fault-Occurrence Indices for Systems with Repeatable-Faults. CDC/ECC (2005)
Changyan Zhou, Ratnesh Kumar
A small model theorem for bisimilarity control under partial observation. ACC (2005)
Changyan Zhou, Ratnesh Kumar
Prioritized synchronization under mask for interaction/control of partially observed discrete event systems. ACC (2005)
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu
Control using nondeterministic supervisors for partially observed discrete event systems. ACC (2004)
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
Control of nondeterministic discrete event systems for bisimulation equivalence. ACC (2004)