
R
 Referenced in 9832 articles
[sw00771]
 quality plots can be produced, including mathematical symbols and formulae where needed. Great care ... graphics, but the user retains full control. R is the base for many R packages...

REDUCE
 Referenced in 746 articles
[sw00789]
 forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer...

SCOTS
 Referenced in 20 articles
[sw20172]
 tool for the synthesis of symbolic controllers. We introduce SCOTS a software tool ... automatic controller synthesis for nonlinear control systems based on symbolic models, also known as discrete ... equation as the description of a nonlinear control system. It uses a Lipschitz type estimate ... compute a symbolic model that is related with the original control system via a feedback...

Bebop
 Referenced in 73 articles
[sw08928]
 Bebop—a symbolic model checker for boolean programs. Bebop represents control flow explicitly, and sets...

CasADi
 Referenced in 55 articles
[sw06437]
 CasADi: A symbolic package for automatic differentiation and optimal control. We present CasADi, a free...

DiffSharp
 Referenced in 60 articles
[sw16033]
 symbolic differentiation, which is affected by expression swell and cannot fully handle algorithmic control flow...

SODAS
 Referenced in 70 articles
[sw00885]
 file. A chaining gathers a set of symbolic statistical methods applied to a specified SODAS ... rename any chaining. In all cases consistency control are made if a method needs results...

pFaces
 Referenced in 3 articles
[sw30630]
 pFaces: an acceleration ecosystem for symbolic control. The correctness of control software in many safety ... achieve correct control software is called ”symbolic control”, where complex systems are approximated by finite ... requirements. Unfortunately, the complexity of synthesizing such controllers grows exponentially in the number of state ... extensible softwareecosystem, to accelerate symbolic control techniques. It facilitates designing parallel algorithms and supervises...

Esterel
 Referenced in 166 articles
[sw20012]
 reactive systems, including realtime systems and control automata. The Esterel v5 compiler ... optimization is available. We provide a graphical symbolic debugger for Esterel. We also provide support...

ROBOTRAN
 Referenced in 8 articles
[sw16045]
 multibody systems, another interesting feature of the symbolic approach appears when dealing with enlarged multibody ... requiring specific analyses like control and optimization. Indeed, since symbolic multibody programs clearly distinguish ... phase from the analysis process, extracting the symbolic model, as well as some precious ingredients ... suitable environment (for control or optimization purposes) is quite straightforward. Symbolic multibody model portability...

BDD2Implement
 Referenced in 1 article
[sw30631]
 BDD2Implement: A Code Generation Tool for Symbolic Controllers. BDD2Implement is a C++ tool to generate ... hardware/software implementations of BDDbased symbolic controllers. Having the tools SCOTS and SENSE that generate ... based sysbolic controllers of (networked) general nonlinear dynamical systems, BDD2Implement completes missing ring ... BDD2Implement accepts static or dynamic determinized symbolic controllers in the form of BDDfiles...

Singularity
 Referenced in 7 articles
[sw20306]
 library will be extended for symbolic bifurcation analysis and control of different singularities including autonomous...

OCCAL
 Referenced in 4 articles
[sw02131]
 OCCAL. A mixed symbolicnumeric optimal control calculator The numerical solution of optimal control problems ... reasonable extent by means of a modern symbolic manipulation language (here: REDUCE). In its present ... development the package OCCAL (mnemotechnically for Optimal Control $underline{ ext{CAL}}$culator) permits an interactive...

SMACS
 Referenced in 2 articles
[sw06144]
 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. We propose ... modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially...

KeYmaera
 Referenced in 44 articles
[sw03709]
 strategies that decompose the hybrid system specification symbolically. To overcome the complexity of real arithmetic ... collision avoidance in case studies from train control and air traffic management...

SYMCON
 Referenced in 1 article
[sw31542]
 SYMCON: Symbolic Computation Controller package for use with MapleV. We describe a comprehensive CACSD (computer ... control system design) package called SYMCON (SYMbolic computation CONtroller), for the design of multivariable discrete...

MBSymba
 Referenced in 12 articles
[sw04274]
 given symbolic procedures and shows how a model suitable for stability, handling and control analysis...

SENSE
 Referenced in 1 article
[sw30632]
 target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more ... achieve this is based on socalled symbolic models, where complex systems are approximated ... finite abstractions, and then, correctbyconstruction controllers are automatically synthesized for them. We present ... decision diagrams (BDDs). Then, it synthesizes symbolic controllers satisfying a class of specifications...

Synthia
 Referenced in 8 articles
[sw12933]
 bound matrices for a symbolic representation of both the discrete controlrelated and the continuous...

SAC
 Referenced in 1 article
[sw16492]
 symbolic analysis and control package. SAC (Symbolic Analysis and Control) is a toolbox for people...