- Tytuł:
- Superposition Principle in Composable Hybrid Automata
- Autorzy:
-
Akhundov, J.
Tröger, P.
Werner, M. - Data publikacji:
- 2018
- Słowa kluczowe:
-
composition
hybrid automata
hybrid systems
linear systems
verification - Pokaż więcej
- Dostawca treści:
- BazTech