|Advisor:||Edward A. Lee|
A fundamental issue for modeling systems with continuous and discrete dynamics is to understand the formal semantics of such systems. Problems like causality, determinacy, fixed-point behavior, and signal conversions must be answered. For example, although the conditions under which a CT or a DE system has a unique behavior is well understood, putting the conditions together does not necessarily yield a deterministic mixed-signal system.
The semantics study also yields a deep insight for the interaction of heterogeneous (simulation) CAD tools. We are developing a methodology that classifies existing CAD tools by their underlying models of computation (MoC), and embeds CAD tools only in the Ptolemy II domains that have the same MoC. Ptolemy II acts as the standard semantic glue for the external tools. Thus, for example, a digital hardware simulation tool based on Verilog or VHDL can interact with an analog simulation tool such as Saber through a Ptolemy II backplane.
Last updated 11/02/00