Sentence examples for symbolic models from inspiring English sources

For this reason there is a growing interest in describing control systems through symbolic models that are abstract descriptions of the continuous dynamics, where each "symbol" corresponds to an "aggregate" of states in the continuous model.

Symbolic models and controllers are based on abstractions of continuous dynamics where one symbol corresponds to an aggregate of continuous states.

First, this would continue the evolution of symbolic models of human cognition even further in a connectionist-like direction.

The paper presents a general approach to fault detection and isolation based on symbolic models of dynamical systems.

We treat symbolic cognition as an emergent phenomenon that can sometimes be approximated by symbolic models, especially those that incorporate the principles of connectionist models.

Symbolic models have been recently used as a sound mathematical formalism for the formal verification and control design of purely continuous and hybrid systems.

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods.

We implement the algorithms in the mbp planner by using symbolic model checking techniques.

We also propose an automated service verification approach based on symbolic model checking.

Finally, a complete symbolic model checking procedure is proposed for CERTS verification.

T. A. Henzinger, O. Kupferman, and S. Qadeer, "From Pre-Historic to Post-Modern Symbolic Model Checking," EECS Department, University of California, Berkeley, Tech.