He dealt with multi-variable geometric control theory, stochastic control and stochastic filters, and more recently the control of discrete event systems from the standpoint of mathematical logic and formal languages.