Changyan Zhou

Orcid: 0000-0003-2873-9109

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

2013
Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables.
IEEE Trans Autom. Sci. Eng., 2013

2012
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata.
Discret. Event Dyn. Syst., 2012

2011
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control.
IEEE Trans. Autom. Control., 2011

Analysis of runtime data-log for software fault localization.
Proceedings of the American Control Conference, 2011

2009
Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults.
IEEE Trans. Autom. Control., 2009

Modeling Simulink Diagrams Using Input/Output Extended Finite Automata.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

On identification of input/output extended automata with finite bisimilar quotients.
Proceedings of the American Control Conference, 2009

2008
Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems.
IEEE Trans Autom. Sci. Eng., 2008

Keynote: Hierarchical Fault Detection in Embedded Control Software.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
A Small Model Theorem for Bisimilarity Control Under Partial Observation.
IEEE Trans Autom. Sci. Eng., 2007

Control of Nondeterministic Discrete Event Systems for Simulation Equivalence.
IEEE Trans Autom. Sci. Eng., 2007

Bisimilarity Control of Partially Observed Deterministic Systems.
IEEE Trans. Autom. Control., 2007

A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Decentralized modular control of concurrent discrete event systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
Control of nondeterministic discrete-event systems for bisimulation equivalence.
IEEE Trans. Autom. Control., 2006

Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables.
Proceedings of the American Control Conference, 2006

2005
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control.
IEEE Trans. Autom. Control., 2005

Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems.
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.
Proceedings of the American Control Conference, 2005

2004
Control using nondeterministic supervisors for partially observed discrete event systems.
Proceedings of the 2004 American Control Conference, 2004


  Loading...