hybrid systems, automata theory and formal languages, principles and semantics of