A hybrid-systems view of discrete computation

This paper emphasizes connections between the design and verification of VLSI circuits and similar problems that occur in control. Many control systems combine discrete and continuous models because a digital computer is used to control a plant with continuous processes. Digital VLSI design combines discrete and continuous models because the circuits that implement digital behavior are most accurately modeled using differential equations. In both cases, the mapping between continuous and discrete behaviors is critical. These mappings are the focus of this paper. An overview of systems with ODE models that can be shown to implement discrete behaviors is presented