Control from Computer Science

O. Maler, CNRS-VERIMAG, Grenoble, France

This talk presents some of the principles underlying verification and
controller synthesis techniques for discrete dynamical systems developed within Computer Science along with some ideas to extend them to continuous and hybrid systems. Hopefully, this will provide control theorists and engineers with an  additional perspective of their discipline as seen by a sympathetic outsider,  uncommitted to the customs and traditions of the domain. Inter-cultural experience can be frustrating but sometimes fun.