• 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 finite-state 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: discrete-time 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 real-time 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, real-time systems need to be rigorously modeled and specified in order ... KRONOS, components of real-time 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, time-series prediction, and dynamic system modeling and control. To speed up training...
  • Simulink

  • Referenced in 820 articles [sw04348]
  • multidomain simulation and Model-Based Design for dynamic and embedded systems. It provides an interactive ... test a variety of time-varying 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 acoustic-structural 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...
  • MOD-DIST

  • Referenced in 256 articles [sw07504]
  • facilities, including production and distribution systems, location-inventory models, and defender-interdictor problems. A unique ... defender-interdictor models for the design of reliable facility location systems -- A full range ... understanding of the basic facility location model types...
  • MENU-OKF

  • Referenced in 256 articles [sw07505]
  • facilities, including production and distribution systems, location-inventory models, and defender-interdictor problems. A unique ... defender-interdictor 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, location-inventory models, and defender-interdictor problems. A unique ... defender-interdictor 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...