Search Results for "simulate"

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. ...

...The considered implemented parametric and non-parametric Monte Carlo likelihood methods were chosen for their ability to treat both one-dimensional and multivariate SDE systems, although the quality of the inferential results can't match those obtained using more advanced techniques. Nevertheless the toolbox capabilities to simulate numerical solutions of SDE systems are still valid and can serve as a useful starting point to those willing to simulate stochastic dynamical models easily.

A library of data objects that simulate mathematical neurons, including classic Hodgkin-Huxley neurons and theta neurons.