
GAMS
 Referenced in 881 articles
[sw04978]
 General Algebraic Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer ... optimization problems. The system is especially useful with large, complex problems. GAMS is available ... concentrate on the modeling problem by making the setup simple. The system takes care ... establish an accurate model. The system models problems in a highly compact and natural...

CVX
 Referenced in 855 articles
[sw04594]
 modeling system for constructing and solving disciplined convex programs (DCPs). CVX supports a number...

Matlab
 Referenced in 13702 articles
[sw00558]
 analyze data, develop algorithms, and create models and applications. The language, tools, and built ... communications, image and video processing, control systems, test and measurement, computational finance, and computational biology...

UMDES
 Referenced in 403 articles
[sw09523]
 study of discrete event systems modeled by finitestate automata (FSA). There are routines ... Michigan for failure diagnosis of discrete event systems. The book ”Introduction to Discrete Event Systems ... consulted for an introduction to modeling of discrete event systems by FSA’s, manipulation ... models, and the theory of supervisory control of discrete event systems...

PRISM
 Referenced in 454 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper we describe PRISM, a tool being developed ... analysis of probabilistic systems. PRISM supports three probabilistic models: discretetime Markov chains, Markov decision ... chains. Analysis is performed through model checking such systems against specifications written in the probabilistic ... PCTL and CSL. The tool features three model checking engines: one symbolic, using BDDs (binary...

Uppaal
 Referenced in 658 articles
[sw04702]
 tool environment for modeling, simulation and verification of realtime systems, developed jointly by Basic ... Sweden. It is appropriate for systems that can be modeled as a collection...

Scilab
 Referenced in 175 articles
[sw00834]
 Tools to perform data analysis and modeling Control System Design & Analysis: Standard algorithms and tools ... with external tools. Xcos  Hybrid dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic circuits...

Kronos
 Referenced in 274 articles
[sw01270]
 consequences. Hence, realtime systems need to be rigorously modeled and specified in order ... KRONOS, components of realtime systems are modeled by timed automata and the correctness requirements...

Neural Network Toolbox
 Referenced in 178 articles
[sw07378]
 provides functions and apps for modeling complex nonlinear systems that are not easily modeled with ... clustering, timeseries prediction, and dynamic system modeling and control. To speed up training...

Simulink
 Referenced in 820 articles
[sw04348]
 multidomain simulation and ModelBased Design for dynamic and embedded systems. It provides an interactive ... test a variety of timevarying systems, including communications, controls, signal processing, video processing ... simulations, create batch processing scripts, customize the modeling environment, and define signal, parameter, and test...

ABAQUS
 Referenced in 1616 articles
[sw04215]
 systems, impact/crash, nonlinear static, thermal coupling, and acousticstructural coupling using a common model data...

ACL2
 Referenced in 291 articles
[sw00060]
 programming language in which you can model computer systems and a tool to help...

CGAL
 Referenced in 402 articles
[sw00118]
 visualization, computer aided design and modeling, geographic information systems, molecular biology, medical imaging, robotics...

MODDIST
 Referenced in 256 articles
[sw07504]
 facilities, including production and distribution systems, locationinventory models, and defenderinterdictor problems. A unique ... defenderinterdictor models for the design of reliable facility location systems  A full range ... understanding of the basic facility location model types...

MENUOKF
 Referenced in 256 articles
[sw07505]
 facilities, including production and distribution systems, locationinventory models, and defenderinterdictor problems. A unique ... defenderinterdictor models for the design of reliable facility location systems  A full range ... understanding of the basic facility location model types...

SITATION
 Referenced in 248 articles
[sw07503]
 facilities, including production and distribution systems, locationinventory models, and defenderinterdictor problems. A unique ... defenderinterdictor models for the design of reliable facility location systems  A full range ... understanding of the basic facility location model types...

SageMath
 Referenced in 2033 articles
[sw00825]
 related areas. Both the Sage development model and the technology in Sage itself are distinguished ... Maple, Mathematica, Magma, and MATLAB. Computer algebra system...

Julia
 Referenced in 490 articles
[sw13986]
 rich type system simultaneously enables an expressive programming model and successful type inference, leading...

UNITY
 Referenced in 185 articles
[sw13461]
 evaluate UNITY  a computational model, specification language and proof system defined by Chandy and Misra ... distributed programs  as a platform for simulation model specification and analysis. We describe a UNITY ... simulation model specification in the form of a set of coupled state transition systems. Mechanical ... transition systems: one can specify properties formally that the model should obey and prove them...