Control using nondeterministic supervisors for partially observed discrete event systems. - Ratnesh Kumar 001; Shengbing Jiang; Changyan Zhou; Wenbin Qiu (ACC, 2004)

Prioritized synchronization under mask for interaction/control of partially observed discrete event systems. - Changyan Zhou; Ratnesh Kumar 001 (ACC, 2005)

Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems. - Changyan Zhou; Ratnesh Kumar 001 (CDC/ECC, 2005)

Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control. - Ratnesh Kumar 001; Shengbing Jiang; Changyan Zhou; Wenbin Qiu (IEEE Trans. Autom. Control., 2005)

Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. - Ratnesh Kumar 001; Changyan Zhou; Samik Basu 001 (ACC, 2006)

Control of nondeterministic discrete-event systems for bisimulation equivalence. - Changyan Zhou; Ratnesh Kumar 001; Shengbing Jiang (IEEE Trans. Autom. Control., 2006)

Decentralized modular control of concurrent discrete event systems. - Changyan Zhou; Ratnesh Kumar 001; Ramavarapu S. Sreenivas (CDC, 2007)

A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. - Changyan Zhou; Ratnesh Kumar 001; Devesh Bhatt; Kirk Schloegel; Darren D. Cofer (SEKE, 2007)

Bisimilarity Control of Partially Observed Deterministic Systems. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2007)

Control of Nondeterministic Discrete Event Systems for Simulation Equivalence. - Ratnesh Kumar 001; Changyan Zhou (IEEE Trans Autom. Sci. Eng., 2007)

A Small Model Theorem for Bisimilarity Control Under Partial Observation. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2007)

Keynote: Hierarchical Fault Detection in Embedded Control Software. - Changyan Zhou; Ratnesh Kumar 001; Shengbing Jiang (COMPSAC, 2008)

Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2008)

On identification of input/output extended automata with finite bisimilar quotients. - Changyan Zhou; Ratnesh Kumar 001 (ACC, 2009)

Modeling Simulink Diagrams Using Input/Output Extended Finite Automata. - Changyan Zhou; Ratnesh Kumar 001 (COMPSAC (2), 2009)

Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2009)

Analysis of runtime data-log for software fault localization. - Changyan Zhou; Ratnesh Kumar 001; Shengbing Jiang (ACC, 2011)

Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2011)

Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. - Changyan Zhou; Ratnesh Kumar 001 (Discret. Event Dyn. Syst., 2012)

Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2013)

Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788]. - Ratnesh Kumar 001; Shengbing Jiang; Changyan Zhou (Autom., 2014)

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)