1. Science
  2. Publications
  3. Information Processing Systems
  4. 4(26)'2003
  5. The models of fail-safe structures of digital checking and control systems

The models of fail-safe structures of digital checking and control systems

V.S. Kharchenko, V.V. Sklyar, V.I. Tokarev
Annotations languages:

The class of models of checking and control systems that permit to take into account multiversion fail-safe systems properties is developed. The models base on combined using of mathematical tools of transition graphs and combinatorial event models.
Reference:
Kharchenko, V.S., Skliar, V.V. and Tokarev, V.Y. (2003), "Modely otkazobezopasnыkh struktur tsyfrovыkh system kontrolia y upravlenyia" , Information Processing Systems, Vol. 4(26), pp. 200-206.