Search Results for "finite state"

FEATool Multiphysics (short for Finite Element Analysis Toolbox), is a fully integrated simulation platform for modeling all types of coupled physics phenomena, continuum mechanics, and engineering problems. By providing a truly easy to use and integrated all-in-one simulation platform for multi-physics analysis, makes FEATool an ideal simulation and modeling tool for everyone from students learning mathematical modeling, to researchers and engineers wishing to explore new ideas in a no...

FEATool Multiphysics (https://www.featool.com) is a fully integrated toolbox for computer aided engineering CAE, finite element analysis & fluid dynamics simulations. With a very easy-to-use GUI, anyone is now able to quickly set up and perform large scale dynamical and complex engineering physics simulations, with coupled fluid flow, heat transfer, structural mechanics, chemical transport, and electromagnetics effects, without having to learn complex programming.

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

Toast++ is a C++ software package for modelling light transport in scattering media using the finite element method. It allows 3D reconstruction of absorption and scattering distributions inside an object from boundary measurements of light transmission, using steady state, time domain or frequency domain information. Matlab and Python bindings exist for ease of use and fast prototyping.