Radu Grosu SUNY at Stony Brook Finite Automata as Linear Systems Observability, Reachability and More HSCC Conference: a witness of the fascinating convergence between control…