Oded Maler: On Control with Bounded Computational Resources

Abstract: We propose models that capture the influence of computation on the performance of computer-controlled systems, and make it possible to employ computational considerations in early stages of the design process of such systems. The problem of whether it is possible to meet performance requirements given resource constraints is phrased as a problem of synthesizing switching controllers for hybrid automata, for which we give algorithms that in some cases are guaranteed to terminate and in others can solve the problem in an approximate manner.

Joint work with Bruce Krogh and Moez Mahfoudh