Some Problems of Analysis of Hybrid Automata

被引：7

作者：

Skobelev V.V. ^{[1
]}

Skobelev V.G. ^{[1
]}

机构：

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

来源：

Cybernetics and Systems Analysis | 2018年 / 54卷 / 04期

关键词：

hybrid automata; verification;

D O I：

10.1007/s10559-018-0053-9

中图分类号：

学科分类号：

摘要：

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. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.

引用

页码：517 / 526

页数：9

共 13 条

[1]

Cyber-Physical European Roadmap&Strategy, (2015)

[2]

Foundations for Innovation. Strategic R&D Opportunities for the 21St Century Cyber-Physical Systems, (2016)

[3]

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

[4]

Lee E.A., Cyber physical systems: Design challenges, Proc. 11Th IEEE Int. Symp. on Object Oriented Real-Time Distributed Computing (ISORC), pp. 363-369, (2008)

[5]

Lee E.A., Seshia S.A., Introduction to Embedded Systems: A Cyber-Physical Systems Approach, (2017)

[6]

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

[7]

Henzinger T.A., The theory of hybrid automata, Proc. 11Th Annual IEEE Symposium on Logic in Computer Science (LICS 96), pp. 278-292, (1996)

[8]

Raskin J.F., An introduction to hybrid automata, Handbook of Networked and Embedded Control Systems, pp. 491-518, (2005)

[9]

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

[10]

Lygeros J., Lecture Notes on Hybrid Systems, (2003)

← 1 2 →