Diagnostyka > 2020 > Vol. 21, No. 3 > 113--125
Source
Abstract
Identifiers
journal ISSN : | 1641-6414 |
journal e-ISSN : | 2449-5220 |
DOI | 10.29354/diag/126444 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
1. Branicky MS. Studies in hybrid systems: Modeling, Analysis and Control. Ph.D thesis, Department of Electrical Engineering and Computer Science - MIT Cambridge. 1995.
-
2. Alur R, Courcoubetis C, Henzinger TA, Ho PH. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, LNCS. 1993; 736:209-229.
-
3. Le Bail J, Alla H, David R. Hybrid Petri nets. In Proceedings of the European Control Conference, Grenoble, France. 1991:1472-1477.