Chungui Zhang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper, we study supervisory control of a nondeterministic systems -- probabilistic discrete event systems. As language equivalence is not an adequate notion of behavioral equivalence for some nondeterministic systems, here we use the finest known notion of equivalence: bisimulation equivalence. The design of a supervisor such that the controlled(More)
It was necessary and significant to explore the low-cost, high-precision and real-time access method of land-use/cover using the MODIS data multi-temporal and multi-spectral for quickly assess regional land use/cover change. Firstly, the study used maximum values compose (MVC) to select the optimal MODIS data in Fujian study area because there were(More)
  • 1