We present a novel technique called symbolic simulation , and its application to protocol modeling and validation. Whereas simulation produces a trace of the behavior of a system for certain xed parameter values, symbolic simulation allows one to simulate the behavior of a system for entire ranges of parameter values. This in turn allows veriication of certain properties of the system behavior ...

We present an overview of symbolic-statistical modeling language PRISM whose programs are not only a probabil istic extension of logic programs but also able to learn f rom examples w i th the help of the EM learning algori thm. As a knowledge representation language appropriate for probabil istic reasoning, it can describe various types of symbolic-statistical modeling formalism known but unre...

The object-oriented modeling language Dymola allows the physical modeling of large interconnected systems based on model components from diierent engineering domains. It generates symbolic code for diierent target simulators. In this paper, a Dymola class library for the eecient generation of the equations of motion for multibody systems is presented. The library is based on an O(n) algorithm w...

Recent advances in bioinformatics have opened entire new avenues for organizing, integrating and retrieving neuroscientific data, in a digital, machine-processable format, which can be at the same time understood by humans, using ontological, symbolic data representations. Declarative information stored in ontological format can be perused and maintained by domain experts, interpreted by machin...

Symbolic modeling of data with decision trees or decision rules has a certain appeal to data mining application developers. The computationally e cient nature of the modeling methodology, and the inbuilt explanatory nature of the models that are generated, are two often cited reasons for the preferred use of these methods. Traditionally, the applications of these methods had been restricted to ...

Modeling and analysis of high consequence, high assurance systems requires special modeling considerations. System safety and reliability information must be captured in the models. Previously, high consequence systems were modeled using separate, disjoint models for safety, reliability, and security. The MultiGraph Architecture facilitates the implementation of a model integrated system for mo...

A novel method is introduced to compute symbolic expressions in analog circuits modeled by nullors. The proposed method is based on the formulation of a compact system of equations (CSEs) by manipulation of data-structures, which highly improves traditional symbolic-methods. It is demonstrated that by modeling all active devices using nullors, the CSEs is easily formulated by manipulation of bo...