Search
Now showing items 1-2 of 2
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds
(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
(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 ...