Observabilities and reachabilities of nonlinear DEDS and coloring graphs

From nonlinear discrete event dynamic systems with the applicable background of a large-scale digital integrated circuit, a new conception of coloring graphs on the system is advanced, the necessary and sufficient condition of upper-level observability is given, and the necessary and sufficient condition of respective reachability is simplified and improved.