Skip to main content
SpringerLink
Log in

The Controllability of Extended Finite State Machines

  • Chapter
  • First Online:
Recent Advances in Computer Science and Information Engineering

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 129))

Abstract

The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years. However, the problem of state explosion in the existing theories obstructs its widespread application. To alleviate the problem, extended finite state machines (EFSMs) are considered to model discrete event systems. In the theories of supervisory control of discrete event systems, controllability is very important. So the controllability of EFSM is vital to study the supervisory control problem of discrete event systems modeled as EFSMs. This paper focuses on the controllability of EFSMs. Firstly, the controllability of EFSM is proposed. Secondly, based on the definition of non-cyclic path and EFSM of deleting-configurations, the necessary and sufficient condition for controllability and an algorithm for deciding controllability are presented.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cai, K.Y., Cangussu, J.W., DeCarlo, R.A., et al.: An overview of software cybernetics. In: Proceedings of the 11th Annual International Workshop on Software Technology and Engineering Practice, pp. 77–86 (2003)

    Google Scholar 

  2. Petrenko, A., Boroday, S., Groz, R., et al.: Confirming configurations in EFSM testing. IEEE Transactions on Software Engineering 30(1), 29–42 (2004)

    Article  Google Scholar 

  3. Wang, P., Cai, K.Y.: Representing extended finite state machines for SDL by a novel control model of discrete event systems. In: Proceedings of the 6th International Conference on Quality Software, pp. 159–166 (2006)

    Google Scholar 

  4. Wang, X.Y., Ma, X.R.: An equivalence relation on extended finite state machines. In: International Conference on Computational Intelligence and Software Engineering, pp. 11–13 (2009)

    Google Scholar 

  5. Wang, X.Y., Zhang, W., Li, Y.C., et al.: A polynomial dynamic system approach to software design for attractivity requirement. Information Science 177(13), 2712–2725 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  6. Wang, X.Y., Zhao, L., Cai, K.Y.: Design approach for EFSM based on supervisory control theory. Computer Engineering and Applications 45(6), 20–24 (2009) (in Chinese)

    Google Scholar 

  7. Wonham, W.M.: Notes on control of discrete-event systems. ECE 1636F/1637S, Department of electrical and computer engineering, University of Toronto (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Computer and Information Engineering, Tianjin Normal University, Tianjin, 300387, China

    Xiang-Yun Wang

  2. Department of Automatic Control, Beihang University, Beijing, 100191, China

    Kai-Yuan Cai

Authors
  1. Xiang-Yun Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kai-Yuan Cai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xiang-Yun Wang .

Editor information

Editors and Affiliations

  1. , College of Communication Engineering, Jilin University, Room 313, Building No.1, Changchun, Nanhu Avenue 5372, Jilin, 130012, China, People's Republic

    Zhihong Qian

  2. , Department of Electrical Engineering, The University of Mississippi, Anderson Hall 314, Mississippi, 38677, Mississippi, USA

    Lei Cao

  3. , Department of Electrical and Computer En, Naval Postgraduate School, Rm. 452 Spanagel Bldg. 232, Dyer Road 833, Monterey, 93943-5121, California, USA

    Weilian Su

  4. , Faculty of Computing, London Metropolitan University, Holloway Road 166-220, London, N7 8DB, United Kingdom

    Tingkai Wang

  5. , College of Software, Changchun University of Science and Tech, Changchun, Jilin, 130022, China, People's Republic

    Huamin Yang

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag GmbH Berlin Heidelberg

About this chapter

Cite this chapter

Wang, XY., Cai, KY. (2012). The Controllability of Extended Finite State Machines. In: Qian, Z., Cao, L., Su, W., Wang, T., Yang, H. (eds) Recent Advances in Computer Science and Information Engineering. Lecture Notes in Electrical Engineering, vol 129. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25778-0_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25778-0_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25777-3

  • Online ISBN: 978-3-642-25778-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation