Changyan Zhou

According to our database, Changyan Zhou authored at least 22 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

The Validation of Soil Moisture from Various Sources and Its Influence Factors in the Tibetan Plateau.

Na Li, Changyan Zhou, Ping Zhao

Remote. Sens., 2022

2014

Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788].

Ratnesh Kumar, Shengbing Jiang, Changyan Zhou

Autom., 2014

2013

Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables.

Changyan Zhou, Ratnesh Kumar

IEEE Trans Autom. Sci. Eng., 2013

2012

Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata.

Changyan Zhou, Ratnesh Kumar

Discret. Event Dyn. Syst., 2012

2011

Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control.

Changyan Zhou, Ratnesh Kumar

IEEE Trans. Autom. Control., 2011

Analysis of runtime data-log for software fault localization.

Changyan Zhou, Ratnesh Kumar, Shengbing Jiang

Proceedings of the American Control Conference, 2011

2009

Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults.

Changyan Zhou, Ratnesh Kumar

IEEE Trans. Autom. Control., 2009

Modeling Simulink Diagrams Using Input/Output Extended Finite Automata.

Changyan Zhou, Ratnesh Kumar

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

On identification of input/output extended automata with finite bisimilar quotients.

Changyan Zhou, Ratnesh Kumar

Proceedings of the American Control Conference, 2009

2008

Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems.

Changyan Zhou, Ratnesh Kumar

IEEE Trans Autom. Sci. Eng., 2008

Keynote: Hierarchical Fault Detection in Embedded Control Software.

Changyan Zhou, Ratnesh Kumar, Shengbing Jiang

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A Small Model Theorem for Bisimilarity Control Under Partial Observation.

Changyan Zhou, Ratnesh Kumar

IEEE Trans Autom. Sci. Eng., 2007

Control of Nondeterministic Discrete Event Systems for Simulation Equivalence.

Ratnesh Kumar, Changyan Zhou

IEEE Trans Autom. Sci. Eng., 2007

Bisimilarity Control of Partially Observed Deterministic Systems.

Changyan Zhou, Ratnesh Kumar

IEEE Trans. Autom. Control., 2007

A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules.

Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Decentralized modular control of concurrent discrete event systems.

Changyan Zhou, Ratnesh Kumar, Ramavarapu S. Sreenivas

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006

Control of nondeterministic discrete-event systems for bisimulation equivalence.

Changyan Zhou, Ratnesh Kumar, Shengbing Jiang

IEEE Trans. Autom. Control., 2006

Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables.

Ratnesh Kumar, Changyan Zhou, Samik Basu

Proceedings of the American Control Conference, 2006

2005

Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control.

Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu

IEEE Trans. Autom. Control., 2005

Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems.

Changyan Zhou, Ratnesh Kumar

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Prioritized synchronization under mask for interaction/control of partially observed discrete event systems.

Changyan Zhou, Ratnesh Kumar

Proceedings of the American Control Conference, 2005

2004

Control using nondeterministic supervisors for partially observed discrete event systems.

Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu

Proceedings of the 2004 American Control Conference, 2004