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++. ...

JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual" prototypes of systems or processes to demonstrate their behavior prior to building physical prototypes. ...

Moved to GitHub. This is the old, unmaintained source code. https://github.com/zet-evacuation A tool to model and simulate evacuation situations in buildings using flows on graphs and cellular automatons. It allows visualization of both models in OpenGL.

Euklid is a program to analyse and simulate geometric shapes interactively in 2 and 3 dimensions.

A Java library that works with Java3D to simulate and visualize, in real-time, dynamics of multiple rigid bodies that are restricted by implicit and explicit constraints (e.g., robotics); designed for efficiency, ease-of-use, and extensibility.

Modyna is an open source application to model dynamic systems and simulate their behaviour. Modyna lets you define a system visually. It automatically builds the equations to simulate the systems behaviour. Simulation results are shown as graphs.

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

Create and simulate Hybrid Petri Nets.