Observability of Nondeterministic Finite-Transition Systems

  • Kuize ZhangEmail author
  • Lijun Zhang
  • Lihua Xie
Part of the Communications and Control Engineering book series (CCE)


In Chap.  4, we investigated four notions of observability for Boolean control networks (BCNs), i.e., multiple-experiment observability (Definition  4.1), strong multiple-experiment observability (Definition  4.2), single-experiment observability (Definition  4.3), and arbitrary-experiment observability (Definition  4.4), how to use these notions to determine the initial state of a BCN, how to verify these notions, etc.


  1. Baier C, Katoen JP (2008) Principles of model checking. The MIT Press, CambridgezbMATHGoogle Scholar
  2. Belta C, Yordanov B, Gol EA (2017) Formal Methods for Discrete-Time Dynamical Systems. Springer International Publishing AG, ChamCrossRefGoogle Scholar
  3. Jungnickel D (2013) Graphs, networks and algorithms, 4th edn. Springer Publishing Company, Incorporated, BerlinCrossRefGoogle Scholar
  4. Kozen D (1977) Lower bounds for natural proof systems. In: Proceedings of the 18th annual symposium on foundations of computer science. SFCS ’77. IEEE Computer Society, Washington, pp 254–266Google Scholar
  5. Lee D, Yannakakis M (1994) Testing finite-state machines: state identification and verification. IEEE Trans Comput 43(3):306–320MathSciNetCrossRefGoogle Scholar
  6. Lin H (2014) Mission accomplished: an introduction to formal methods in mobile robot motion planning and control. Unmanned Syst 02(02):201–216CrossRefGoogle Scholar
  7. Lin H, Antsaklis PJ (2014) Hybrid dynamical systems: an introduction to control and verification. Found Trends Syst Control 1(1):1–172Google Scholar
  8. Meng M, Feng J (2015) Optimal control problem of singular Boolean control networks. Int J Control Autom Syst 13(2):266–273CrossRefGoogle Scholar
  9. Moore EF (1956) Gedanken-experiments on sequential machines. Autom Stud Ann Math Stud 34:129–153MathSciNetGoogle Scholar
  10. Tabuada P (2009) Verification and control of hybrid systems: a symbolic approach, 1st edn. Springer Publishing Company, Incorporated, USCrossRefGoogle Scholar
  11. Zhang K, Liu T, Cheng D (2018) Observability of finite labeled transition systems. IEEE Trans Autom Control 63(6):1501–1512MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.School of Electrical Engineering and Computer ScienceKTH Royal Institute of TechnologyStockholmSweden
  2. 2.School of Marine Science and TechnologyNorthwestern Polytechnical UniversityXi’anChina
  3. 3.School of Electrical and Electronic EngineeringNanyang Technological UniversitySingaporeSingapore

Personalised recommendations