Search Results for "dynamical systems toolbox"

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

QuantumOptics.jl is a numerical framework written in the Julia programming language that makes it easy to simulate various kinds of open quantum systems. It is inspired by the Quantum Optics Toolbox for MATLAB and the Python framework QuTiP. QuantumOptics.jl optimizes processor usage and memory consumption by relying on different ways to store and work with operators. The framework comes with a plethora of pre-defined systems and interactions making it very easy to focus on the physics, not on the numerics. ...

Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the Quicklink feature which presents the allowed relationship(s) by TRAK between the pair of objects selected - a custom set of searches. ...

TRURL is a suite of desktop calculators with reverse Polish notation (RPN) written in Object Pascal. Additionally, it comes with a free reusable class library (RPN Engine) as a toolbox for creating your own calculator. TRURL is an acronym for "TRURL is a Reusable Universal RPN Library". Class Libraries: • RPN Engine: Full-featured calculation engine for Pascal-based RPN calculators • Segmitator: Library for virtual seven-segment displays Applications: • TRURL A: Simple demo app...

...This makes the repo act as a navigable table of contents and knowledge map for a large body of Chinese-language backend engineering content. It also includes “toolbox” and miscellaneous categories.

kalibr_allan is a utility repository that provides scripts and tools for calculating IMU noise parameters for use in Kalibr and other IMU filtering systems. While manufacturers typically provide “white noise” values in IMU datasheets, the bias instability and random walk parameters must be determined experimentally. This project enables users to compute those values using Allan variance analysis from recorded IMU data. The workflow involves recording IMU measurements with the device...

BRAHMS is a Modular Execution Framework for dynamical systems. It knits together independently-authored software modules implementing dynamical processes into an integrated system, and supervises the deployment and execution of that system.

Narrator is a graphical modelling tool for the description of dynamical systems and processes. Narrator is SBML compatible.

The VR Juggler Toolbox is a collection of libraries and tools for use with VR Juggler applications.

LOOP (Language Object Oriented Parallel) is a visual programming language project dedicated to creating a full suite of components for simulation of hierarchical dynamical systems in discrete time.