- UHRA Home
- Browsing by Author
Browsing by Author "Potapov, Igor"
Now showing items 1-3 of 3
-
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds
Sandler, Andrei; Tveretina, Olga (Springer, 2019-09-06)A hybrid automaton is a finite state machine combined with some k real-valued continuous variables, where k determines the number of the automaton dimensions. This formalism is widely used for modelling safety-critical ... -
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds
Sandler, Andrei; Tveretina, Olga (Springer, 2019-09-06)A hybrid automaton is a finite state machine combined with some k real-valued continuous variables, where k determines the number of the automaton dimensions. This formalism is widely used for modelling safety-critical ... -
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds
Sandler, Andrei; Tveretina, Olga (Springer Nature, 2019-09-06)A hybrid automaton is a finite state machine combined with some k real-valued continuous variables, where k determines the number of the automaton dimensions. This formalism is widely used for modelling safety-critical ...