Assertion: hybrid automaton | /r/CapableOf | analyze a variety of embedded systems
Facets:
Source sentences:
text: In general, hybrid automata have been used to model and analyze a variety of embedded systems including vehicle control systems, air traffic control systems, mobile robots, and processes from systems biology.