• GAMS

  • Referenced in 777 articles [sw04978]
  • integer optimization problems. The system is especially useful with large, complex problems. GAMS is available ... problem by making the setup simple. The system takes care of the time-consuming details ... machine and system software implementation. GAMS is especially useful for handling large, complex ... revisions to establish an accurate model. The system models problems in a highly compact...
  • Kronos

  • Referenced in 255 articles [sw01270]
  • with the aim to verify complex real-time systems. Real-time systems are systems that ... time-dependent systems. These systems are often part of complex safety-critical applications such ... have severe consequences. Hence, real-time systems need to be rigorously modeled and specified...
  • PARDISO

  • Referenced in 227 articles [sw00679]
  • Unsymmetric, structurally symmetric or symmetric systems, real or complex, positive definite or indefinite, hermitian ... solution process for very large three-dimensional systems...
  • PHAVer

  • Referenced in 105 articles [sw04123]
  • limited in its applicability to more complex systems. We address the main problems of HyTech ... definable constraints and the dynamics of the system. PHAVer’s exact arithmetic is robust ... supports arbitrarily large numbers. To manage the complexity of the polyhedral computations, we propose methods...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • recognised that the automated validation of complex systems can hardly be achieved without tool integration ... semantics of real-time primitives for asynchronous systems. Currently, the toolbox contains dedicated tools ... mandatory for an automated validation of complex systems. Finally, the toolbox was successfully used ... specifications. This is too restrictive for complex system specifications which mix formal descriptions and executable...
  • LMI toolbox

  • Referenced in 1312 articles [sw06383]
  • areas ranging from control engineering to system identification and structural design. The LMI Control Toolbox ... should be kept in mind that the complexity of LMI computations remains higher than that...
  • SIGNAL

  • Referenced in 50 articles [sw02915]
  • design of dependable real-time systems. Synchronous languages enable a very high-level specification ... extremely modular implementation of complex systems by structurally decomposing them into elementar synchronous processes. Separate ... their global integrity, we introduce a module system for SIGNAL. Just as data-types describe ... processes and for assembling them in complex systems. Following this principle, we present the first...
  • K2

  • Referenced in 69 articles [sw19597]
  • TOCSY - Toolboxes for Complex Systems: K2 - Dynamical Invariants by Recurrence Plots. Recurrence plots contain information...
  • INTLAB

  • Referenced in 351 articles [sw04004]
  • structured matrices) sparse s.p.d. linear systems systems of nonlinear equations (including unconstrained optimization) roots ... clusters) interval arithmetic for real and complex data including vectors and matrices (very fast) interval ... arithmetic for real and complex sparse matrices (very fast) automatic differentiation (forward mode, vectorized computations ... fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization) Taylor series...
  • LAPACK

  • Referenced in 1503 articles [sw00503]
  • linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value ... similar functionality is provided for real and complex matrices, in both single and double precision ... matrix multiplication and the solution of triangular systems with multiple right-hand sides. Because...
  • Fuzzy Logic Toolbox

  • Referenced in 53 articles [sw07379]
  • through the steps of designing fuzzy inference systems. Functions are provided for many common methods ... learning. The toolbox lets you model complex system behaviors using simple logic rules, and then...
  • Dymola

  • Referenced in 44 articles [sw06285]
  • modeling and simulation of integrated and complex systems for use within automotive, aerospace, robotics, process...
  • MUMPS

  • Referenced in 309 articles [sw04013]
  • systems with symmetric positive definite matrices; general symmetric matrices; general unsymmetric matrices; Version for complex...
  • MPI

  • Referenced in 451 articles [sw06496]
  • sufficient. Higher-dimensional extensions of generalized complex numbers, with multiple non-real parts, can produce ... that multiplication is commutative. One particular number system is developed, termed hyper-dual numbers, which...
  • KLEE

  • Referenced in 35 articles [sw04894]
  • Generation of High-Coverage Tests for Complex Systems Programs. Symbolic execution tool, KLEE, capable ... high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE ... level environment installed on millions of Unix systems, and arguably are the single most heavily...
  • Modelica

  • Referenced in 70 articles [sw04352]
  • language for modeling of large, complex, and heterogeneous systems. It is suited for multi-domain...
  • Gandalf

  • Referenced in 33 articles [sw10133]
  • prove theorems in mathematics and verify complex systems such as digital circuits, software and communications...
  • PicHunter

  • Referenced in 53 articles [sw14896]
  • easily be incorporated into systems which support complex queries, including most previously proposed systems. However...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • logic and probabilistic analysis of complex systems. Smart can combine different formalisms in the same...