Fig. 11From: Context-aware environment online monitoring for safety autonomous vehicle systems: an automata-theoretic approachInteraction between calculation and controlBack to article page