Some problems of analysis of hybrid automata
From MaRDI portal
Recommendations
Cites work
Cited in
(16)- Differential automata and their discrete simulators
- An error analysis for execution traces of hybrid automata using Jacobi's equation
- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata
- Inclusion dynamics hybrid automata
- scientific article; zbMATH DE number 1950549 (Why is no real title available?)
- Symbolic analysis of linear hybrid automata -- 25 years later
- Methodology of the construction of computational scenarios for modeling extreme states in living systems
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
- Reachability Problems for Hybrid Automata
- scientific article; zbMATH DE number 1760148 (Why is no real title available?)
- Formal Modeling and Analysis of Timed Systems
- scientific article; zbMATH DE number 2085340 (Why is no real title available?)
- Modeling the scenarios of collapse of the commercial aquatic populations off the coast of Canada and Alaska
- scientific article; zbMATH DE number 1444354 (Why is no real title available?)
- Introduction to hybrid automata
This page was built for publication: Some problems of analysis of hybrid automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1616244)