Deterministic Finite-Automata Abstractions of Time-Variant Sequential Behaviours - Moor, Thomas; Götz, Stefan (Workshop on Discrete Event Systems, 2018)
Keywords: behavioural systems theory; hybrid systems; Finite automaton abstractions