Assertion: hybrid automaton | /r/HasProperty | finite state machine
Facets:
Source sentences:
text: A hybrid automaton is a finite state machine with a finite set of continuous variables whose values are described by a set of ordinary differential equations.