• GENTRAN

  • Referenced in 19 articles [sw04299]
  • based on sets of algorithmic specifications and symbolic expressions. Formatted FORTRAN, RATFOR or C code ... series of interactive commands or under the control of a template processing routine. Large expressions...
  • ASASP

  • Referenced in 5 articles [sw06350]
  • asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool ... Shönfinkel-Ramsey class and then uses a symbolic reachability procedure to solve security analysis problems ... extensions of) the Role-Based Access Control model. Our tool shows better scalability than...
  • Hinf

  • Referenced in 1 article [sw18780]
  • design of linear controllers with symbolic algebra. Modern transfer function methods use quite ... design of control systems. In computing the final results, symbolic algebra turns...
  • SymDIVINE

  • Referenced in 3 articles [sw26690]
  • SymDIVINE: tool for control-explicit data-symbolic state space exploration. We present SymDIVINE: a tool...
  • NLControl

  • Referenced in 7 articles [sw15154]
  • Linear Control systems and developed in the Control System Department of the Institute of Cybernetics ... NLControl website is to provide the symbolic computational tools that assist the solution of different ... modeling, analysis, and synthesis problems for nonlinear control systems. The majority of provided tools rely...
  • symbtools

  • Referenced in 1 article [sw28247]
  • symbtools: toolbox for symbolic calculations in nonlinear control theory. The package symbtools contains collection ... functions for symbolic calculations, which occur along with the investigation of nonlinear dynamical systems ... control theory. Examples: Different type of Lie-Derivatives, Rank-Check for symbolic matrices...
  • SCAMP

  • Referenced in 11 articles [sw02112]
  • coefficients and elasticities of metabolic control analysis; user-defined forcing functions at the model boundaries ... execution. The simulator also incorporates an inbuilt symbolic differentiator for evaluating the Jacobian and elasticity...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • LPW97b]. Typical application areas include real-time controllers and communication protocols in particular, those where ... system description, i.e. sequences of symbolic states of the system. It may also be used...
  • VIRT

  • Referenced in 2 articles [sw02513]
  • point, and ensures full control over all interpreter components (symbol table, stack, heap). VIRT...
  • CAS/PI

  • Referenced in 22 articles [sw02186]
  • ZicVis 3-D plotting library, etc, using control integration technology and a set of high ... tools, to extend the set of graphic symbols managed by the formula editor, to design...
  • OreMorphisms

  • Referenced in 12 articles [sw11235]
  • this paper is to demonstrate the symbolic package OREMORPHISMS which is dedicated to the implementation ... equations and partial differential equations coming from control theory and mathematical physics...
  • Analog Insydes

  • Referenced in 1 article [sw10185]
  • analyzes of significantly larger symbolic systems. As example, a voltage controller circuit is reduced using...
  • EVENODD

  • Referenced in 22 articles [sw02377]
  • implemented on standard RAID-5 controllers without any hardware changes. The most commonly used scheme ... used in any system requiring large symbols and relatively short codes, for instance, in multitrack...
  • DataModeler

  • Referenced in 7 articles [sw13443]
  • Industrial Data Modeling with DataModeler: Pareto-Aware Symbolic Regression. Evolved Analytics’ DataModeler package (www.evolved-analytics.com ... been applied in production trouble-shooting, bioreactor control, financial prediction, emissions monitoring, and elsewhere...
  • TSMV

  • Referenced in 2 articles [sw13326]
  • symbolic model checker, aimed at dealing with timed versions of (models of) circuits, PLC controllers ... possibly zero). This simple model supports efficient symbolic algorithms for RTCTL formulae...
  • SBA

  • Referenced in 24 articles [sw05242]
  • sense that it grants the user full control over the definition of the parameters describing ... hand, generated with a tool supporting symbolic differentiation (e.g. maple), or obtained using automatic differentiation...
  • NLSOFT

  • Referenced in 1 article [sw00625]
  • NLSoft, developed for the design of nonlinear controllers based on the well-known feedback linearization ... symbolic manipulation modules, which includes differential geometric tools for the design and simulation of control...
  • SPiDER

  • Referenced in 3 articles [sw00900]
  • SPiDER—An advanced symbolic debugger for Fortran 90/HPF programs. Debuggers play an important role ... developing parallel applications. They are used to control the state of many processes, to present...
  • SYMOFROS

  • Referenced in 1 article [sw02102]
  • briefly describes Symofros, the modeling, simulation and control environment developed and used at the Canadian ... systems. This environment is based on a symbolic modeling and code generation engine supported ... Matlab/Simulink environment. Symofros serves two main purposes: control and real-time implementation, and analysis...
  • PLSMC

  • Referenced in 1 article [sw14776]
  • previous work based on the acclaimed symbolic model checking system NuSMV. As PPTL ... guardrail control system are checked with PLSMC. Experimental results show that the presented symbolic model...