• GAP

  • Referenced in 2948 articles [sw00320]
  • system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely...
  • UMDES

  • Referenced in 363 articles [sw09523]
  • routines written for the study of discrete event systems modeled by finite-state automata ... Michigan for failure diagnosis of discrete event systems. The book ”Introduction to Discrete Event Systems ... introduction to modeling of discrete event systems by FSA’s, manipulation of FSA models ... theory of supervisory control of discrete event systems...
  • PRISM

  • Referenced in 417 articles [sw01186]
  • analysis of probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision ... Analysis is performed through model checking such systems against specifications written in the probabilistic temporal...
  • IFISS

  • Referenced in 236 articles [sw04398]
  • preconditioned iterative solvers for the discrete linear equation systems that arise in incompressible flow modelling ... addressed, it enables the study of both discretization and iterative solution algorithms as well...
  • HyTech

  • Referenced in 327 articles [sw04125]
  • temporal requirement. Hybrid systems are specified as collections of automata with discrete and continuous components...
  • Dynamics

  • Referenced in 177 articles [sw09100]
  • help visualize the properties of discrete and continuous dynamical systems, including the plotting of attractors...
  • MR and LTV Synthesis Tools

  • Referenced in 35 articles [sw05190]
  • methods H-infinity synthesis of discrete-time LTV systems using LMI synthesis methods System type ... multi-rate LTI to discrete-time LTV) LTV system balance, reduction, and truncation LTV stability ... through eigenvalue and LMI solution methods Discrete system data structure conversion Mathworks LMI Toolbox...
  • Kaskade7

  • Referenced in 38 articles [sw06545]
  • solution of stationary or transient systems of partial differential equations. The library is written ... match approach to discretizing systems of PDEs with different ansatz and test spaces...
  • DiVinE

  • Referenced in 55 articles [sw04130]
  • model checking and reachability analysis of discrete distributed systems. The tool is able to efficiently...
  • ML

  • Referenced in 123 articles [sw08067]
  • large sparse linear systems of equations arising primarily from elliptic PDE discretizations. ML is used...
  • MOD-DIST

  • Referenced in 242 articles [sw07504]
  • Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses ... locating facilities, including production and distribution systems, location-inventory models, and defender-interdictor problems...
  • MENU-OKF

  • Referenced in 242 articles [sw07505]
  • Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses ... locating facilities, including production and distribution systems, location-inventory models, and defender-interdictor problems...
  • Scilab

  • Referenced in 168 articles [sw00834]
  • discrete optimization problems. Statistics: Tools to perform data analysis and modeling Control System Design & Analysis...
  • SITATION

  • Referenced in 234 articles [sw07503]
  • Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses ... locating facilities, including production and distribution systems, location-inventory models, and defender-interdictor problems...
  • MinRes

  • Referenced in 33 articles [sw09350]
  • multiharmonic approach to the optimality system and discretize in space by means of a symmetrically ... preconditioned MinRes solver for the system of frequency domain equations. We show that this solver ... robust with respect to the space discretization and time discretization parameters as well...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs...
  • Möbius

  • Referenced in 24 articles [sw04098]
  • availability, and performance of computer and network systems, its use has expanded rapidly ... used for a broad range of discrete-event systems, from biochemical reactions within genes ... suited to the systems’ size and complexity. Time- and space-efficient discrete-event simulation...
  • HSL_MI20

  • Referenced in 48 articles [sw07246]
  • solution of large, sparse linear systems obtained from the discretization of second-order scalar elliptic...
  • ROLMIP

  • Referenced in 16 articles [sw21158]
  • conditions related to uncertain continuous or discrete systems, with constraints that are usually defined...
  • Supremica

  • Referenced in 15 articles [sw18546]
  • verification, synthesis and simulation of discrete event systems. An integrated environment, Supremica, for verification, synthesis ... simulation of discrete event systems is presented. The basic model in Supremica is finite automata...