
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 finitestate 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: discretetime 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 Hinfinity synthesis of discretetime LTV systems using LMI synthesis methods System type ... multirate LTI to discretetime 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...

MODDIST
 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, locationinventory models, and defenderinterdictor problems...

MENUOKF
 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, locationinventory models, and defenderinterdictor 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, locationinventory models, and defenderinterdictor 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 discreteevent systems, from biochemical reactions within genes ... suited to the systems’ size and complexity. Time and spaceefficient discreteevent simulation...

HSL_MI20
 Referenced in 48 articles
[sw07246]
 solution of large, sparse linear systems obtained from the discretization of secondorder 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...