
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 discreteevent 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 discretetime stochastic hybrid systems (SHS). StocHy accepts a highlevel 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 ... VEKTOR1, the Zsystem [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...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: 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 highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

NetworkX
 Referenced in 168 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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...