• libFAUDES

  • Referenced in 10 articles [sw16433]
  • discrete event systems. The discrete event systems library libFAUDES implements data structures and algorithms ... regular languages. The library takes a control theoretic perspective as originally introduced by P.J. Ramadge ... supervisory control theory, including extensions for hierarchical, modular and decentralized controller synthesis; see [references]. With ... implementation of methods for the control of discrete event systems, and (b) effective advertisement...
  • STCT

  • Referenced in 9 articles [sw02293]
  • synthesis approach for the supervisory control of discrete-event systems (DES). Our algorithm, named ... CTCT. Efficiency is achieved by exploiting the modular composition of the plant and specification...
  • StocHy

  • Referenced in 5 articles [sw36937]
  • quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts a high-level description ... verification or (iii) control (policy, strategy) synthesis. StocHy allows for modular modelling, and has separate...
  • DISPRO

  • Referenced in 7 articles [sw14791]
  • modular structure allows expansion of the source language, incorporation of new system and application modules ... matrix generator), synthesis of the package with PL/1 and FORTRAN IV programming systems. The first ... VEKTOR-1, the Z-system [58], and TsP [31] application packages. In addition, some packages ... programming; DILOS, interactive system for unconstrained optimization, nonlinear programming, and optimal control; ORBITAL’, unconstrained optimization...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • Apron

  • Referenced in 71 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 206 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 625 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • QEPCAD

  • Referenced in 285 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...