Nonlinear control systems[1]
Radu Grosu SUNY at Stony Brook Finite Automata as Linear Systems Observability, Reachability and More.