- Tytuł:
- Efficient choice of parameters on delta-reachability bounded hybrid systems
- Autorzy:
-
Rocha, Eugénio Miguel Alexandre
Murillo, Kelly Patricia - Data publikacji:
- 2021
- Słowa kluczowe:
-
bounded hybrid system
safety property
delta-reachability
multidirectional efficiency analysis - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł