Skip to main content
SpringerLink
Log in

Some Problems of Analysis of Hybrid Automata

  • CYBERNETICS
  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

A class of 1-dimensional hybrid automata is defined in which the dynamics at each discrete state for different sets of initial values of a continuous state can be represented by different differential equations, and a finite duration of this dynamics, which can be different for different sets of initial values of such a continuous state, is specified. Algorithms are proposed to solve problems of eliminating contradictions in the objects that define a hybrid automaton, matching these objects with one another, finding the minimum number of switchings, and estimating the minimum time required to reach discrete states from a set of initial discrete states.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Cyber-Physical European Roadmap&Strategy, 2015. URL: www.cyphers.eu.

  2. Foundations for Innovation. Strategic R&D Opportunities for the 21st Century Cyber-Physical Systems. 2016. URL: http://bookprem.com/gd-ebooks/B00U7SUBG.

  3. J. Giraldo, E. Sarkar, A. A. Cardenas, M. Maniatakos, and M. Murat Kantarcioglu, “Security and Privacy in Cyber-Physical Systems: A Survey of Surveys,” IEEE Design & Test., Vol. 34, Iss. 4, 7–17 (2017).

    Article  Google Scholar 

  4. E. A. Lee, “Cyber physical systems: Design challenges,” in: Proc. 11th IEEE Int. Symp. on Object Oriented Real-Time Distributed Computing (ISORC) (May 6, 2008, Orlando, Fl., USA) (2008), pp. 363–369.

  5. E. A. Lee and S. A. Seshia, Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 2nd Ed., MIT Press, Cambridge, Mass. (2017).

  6. A. A. Letichevsky, O. O. Letychevskyi, V. G. Skobelev, and V. A. Volkov, “Cyber-physical systems,” Cybernetics and Systems Analysis, Vol. 53, No. 6, 821–834 (2017).

    Article  MathSciNet  MATH  Google Scholar 

  7. T. A. Henzinger, “The theory of hybrid automata,” in: Proc. 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96) (1996), pp. 278–292.

  8. J. F. Raskin, “An introduction to hybrid automata,” in: Handbook of Networked and Embedded Control Systems, Springer, NY (2005), pp. 491–518.

  9. L. P. Carloni, R. Passerone, A. Pinto, and A. L. Sangiovanni-Vincentelli, “Languages and tools for hybrid systems design,” Foundations and Trends in Electronic Design Automation, Vol. 1, Nos. 1–2, 1–193 (2006).

    Article  MATH  Google Scholar 

  10. J. Lygeros, Lecture Notes on Hybrid Systems, University of Cambridge, Cambridge (2003). URL: https://fenix.tecnico.ulisboa.pt/downloadFile/3779579688470/lygeros.pdf.

    Google Scholar 

  11. A. A. Letichevsky, “Algebraic interaction theory and cyber-physical systems,” Journal of Automation and Information Science, Vol. 49 No. 9, 1–19 (2017).

    Article  Google Scholar 

  12. A. A. Letichevsky, O. A. Letichevskyi, and V. S. Peschanenko, “Insertion modeling system,” LNCS, Vol. 7162, 262–272 (2015).

    Google Scholar 

  13. A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko, and T. Weigert, “Insertion modeling and symbolic verification of large systems,” LNCS, Vol. 9369, 3–18 (2015).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine

    V. V. Skobelev & V. G. Skobelev

Authors
  1. V. V. Skobelev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. G. Skobelev
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika i Sistemnyi Analiz, No. 4, July–August, 2018, pp. 3–15.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Skobelev, V.V., Skobelev, V.G. Some Problems of Analysis of Hybrid Automata. Cybern Syst Anal 54, 517–526 (2018). https://doi.org/10.1007/s10559-018-0053-9

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10559-018-0053-9

Keywords

Search

Navigation