Abstract
In this talk I argue that progress in Biology requires, among other things, a more modern approach to modeling and analysis of dynamical models. Such models should not be restricted to classical dynamical systems but also involve concepts and ideas from discrete-event dynamical systems (automata) and hybrid (discrete-continuous) systems. I will present some recent techniques for exploring the dynamics of under-determined systems, that is, systems that admit uncertainty in initial conditions, parameters and environmental conditions. These techniques, inspired by formal verification, can be used to assess the robustness of proposed models and increase our confidence in their plausibility.