Skip to main content
SpringerLink
Log in

Intelligent Monitoring of Complex Discrete-Event Systems

  • Conference paper
  • First Online:
Intelligent Decision Technologies 2016 (IDT 2016)

Part of the book series: Smart Innovation, Systems and Technologies ((SIST,volume 56))

Included in the following conference series:

Abstract

A complex active system is a discrete-event system exhibiting both horizontal and vertical interaction between components. By inspiration of biological systems in nature, which are organized in a hierarchy of subsystems, the horizontal interaction between components at a given hierarchical level gives rise to an emergent behavior at a superior level, which is unpredictable from a knowledge of the behavior of the interacting components only. Since real critical-systems, such as power networks and nuclear plants, can be conveniently modeled as complex active systems, monitoring and diagnosis of complex active systems is of paramount importance to the safety of society. This is why an intelligent diagnosis framework for complex active systems is presented in this paper. Intelligence means that diagnosis does not require the naive reconstruction of the system behavior as a whole, which would be exponential with the number of components. Experiments show the effectiveness of the diagnosis technique.

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 EPUB and 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

Notes

  1. 1.

    Matching a regular expression associated with a pattern event requires maintaining the recognition state within a finite automaton, namely the recognizer.

References

  1. Bossomaier, T., Green, D.: Complex Systems. Cambridge University Press (2007)

    Google Scholar 

  2. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  3. Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems, The Kluwer International Series in Discrete Event Dynamic Systems, vol. 11. Kluwer Academic Publishers, Boston (1999)

    MATH  Google Scholar 

  4. Chu, D.: Complexity: against systems. Theor. Biosci. 130(3), 229–245 (2011)

    Article  Google Scholar 

  5. Goles, E., Martinez, S.: Complex Systems. Springer (2014)

    Google Scholar 

  6. Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Prog. 8(3), 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  7. Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.: STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403–414 (1990)

    Article  Google Scholar 

  8. Idghamishi, A., Zad, S.: Fault diagnosis in hierarchical discrete-event systems. In: 43rd IEEE Conference on Decision and Control, pp. 63–68. Paradise Island, Bahamas (2004)

    Google Scholar 

  9. Jéron, T., Marchand, H., Pinchinat, S., Cordier, M.: Supervision patterns in discrete event systems diagnosis. In: Seventeenth International Workshop on Principles of Diagnosis DX’06, pp. 117–124. Peñaranda de Duero, Spain (2006)

    Google Scholar 

  10. Kaneko, K., Tsuda, I.: Complex Systems: Chaos and Beyond: a Constructive Approach with Applications in Life. Springer (2013)

    Google Scholar 

  11. Lamperti, G., Zhao, X.: Diagnosis of higher-order discrete-event systems. In: Cuzzocrea, A., Kittl, C., Simos, D., Weippl, E., Xu, L. (eds.) Availability, Reliability, and Security in Information Systems and HCI, LNCS, vol. 8127, pp. 162–177. Springer, Heidelberg (2013)

    Google Scholar 

  12. Lamperti, G., Zhao, X.: Specification and model-based diagnosis of higher-order discrete-event systems. IEEE Int. Conf. Syst. Man Cybern.—SMC 2013, pp. 2342–2347. Manchester, United Kingdom (2013)

    Google Scholar 

  13. Lamperti, G., Zanella, M.: Diagnosis of Active Systems—Principles and Techniques, The Springer International Series in Engineering and Computer Science, vol. 741. Springer, Dordrecht, Netherlands (2003)

    MATH  Google Scholar 

  14. Lamperti, G., Zanella, M.: Context-sensitive diagnosis of discrete-event systems. In: Walsh, T. (ed.) Twenty-Second International Joint Conference on Artificial Intelligence IJCAI’11, vol. 2, pp. 969–975. AAAI Press, Barcelona, Spain (2011)

    Google Scholar 

  15. Lamperti, G., Zhao, X.: Diagnosis of active systems by semantic patterns. IEEE Trans. Syst. Man Cybern.: Syst. 44(8), 1028–1043 (2014)

    Article  Google Scholar 

  16. Licata, I., Sakaji, A.: Physics of emergence and organization. World Scientific (2008)

    Google Scholar 

  17. Paoli, A., Lafortune, S.: Diagnosability analysis of a class of hierarchical state machines. J. Discrete Event Dyn. Syst.: Theor. Appl. 18(3), 385–413 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  18. Report of the Enquiry Committee on Grif Disturbance in Northern Region on 30th July 2012 and in Northern, Eastern and North-Eastern Region on 31st July 2012 (2012). http://www.powermin.nic.in/pdf/GRID_ENQ_REP_16_8_12.pdf

  19. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Autom. Control 40(9), 1555–1575 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  20. Sampath, M., Lafortune, S., Teneketzis, D.: Active diagnosis of discrete-event systems. IEEE Trans. Autom. Control 43(7), 908–929 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  21. Sibani, P., Jensen, H.: Stochastic Dynamics of Complex Systems, Complexity Science, vol. 2. World Scientific (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria Dell’Informazione, Università degli Studi di Brescia, Brescia, Italy

    Gianfranco Lamperti & Giulio Quarenghi

Authors
  1. Gianfranco Lamperti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giulio Quarenghi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gianfranco Lamperti .

Editor information

Editors and Affiliations

  1. Maritime University, Gdynia, Poland

    Ireneusz Czarnowski

  2. Artificial Intelligence Department, Universidad Politécnica de Madrid, Boadilla del Monte, Madrid, Spain

    Alfonso Mateos Caballero

  3. KES International, Shoreham-by-sea, United Kingdom

    Robert J. Howlett

  4. University of Canberra, Canberra, South Australia, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Lamperti, G., Quarenghi, G. (2016). Intelligent Monitoring of Complex Discrete-Event Systems. In: Czarnowski, I., Caballero, A., Howlett, R., Jain, L. (eds) Intelligent Decision Technologies 2016. IDT 2016. Smart Innovation, Systems and Technologies, vol 56. Springer, Cham. https://doi.org/10.1007/978-3-319-39630-9_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-39630-9_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-39629-3

  • Online ISBN: 978-3-319-39630-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation