Changyan Zhou

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