• # 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...
• # 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 software-ecosystem, to accelerate symbolic control techniques. It facilitates designing parallel algorithms and supervises...
• # Esterel

• Referenced in 166 articles [sw20012]
• reactive systems, including real-time 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 BDD-based 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 BDD-files...
• # OCCAL

• Referenced in 4 articles [sw02131]
• OCCAL. A mixed symbolic-numeric 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...
• # 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 so-called symbolic models, where complex systems are approximated ... finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them. We present ... decision diagrams (BDDs). Then, it synthesizes symbolic controllers satisfying a class of specifications...