• SLICOT

  • Referenced in 84 articles [sw01095]
  • numerical algorithms for computations in systems and control theory. Based on numerical linear algebra routines...
  • SimpleS

  • Referenced in 4 articles [sw04413]
  • field of robust control theory: the computation of a tight upper bound of a dynamical...
  • IMPS

  • Referenced in 52 articles [sw09143]
  • control of the deductive process and human comprehension of the resulting proofs. An initial theory ... provides some support for modeling applications in computer science...
  • StratiGraph

  • Referenced in 21 articles [sw08331]
  • matrix stratifications in control applications. The software tool StratiGraph for computing and visualizing closure hierarchy ... presented. In addition, we review the underlying theory and illustrate how StratiGraph can be used ... theory provides information for a deeper understanding of how the dynamics of a control system...
  • control.lib

  • Referenced in 6 articles [sw10150]
  • study of parametric problems in control theory: ... The Genericity algorithm is implemented as a procedure ... library in computer algebra system SINGULAR related to control theory. Other support functions are also...
  • Visual MISER

  • Referenced in 21 articles [sw13404]
  • practical application of powerful optimal control theory and techniques, this paper describes a Visual version ... easy-to-use interface, while retaining the computational efficiency of the original FORTRAN MISER software ... underlying the MISER software, which include the control parameterization technique, a time scaling transform...
  • ART 3

  • Referenced in 27 articles [sw08755]
  • real-time. The search process emerges when computational properties of the chemical synapse, such ... Theory architecture called ART 3. Formal analogs of ions such as Na− and Ca2− control...
  • NESTOR

  • Referenced in 27 articles [sw22096]
  • computer interaction to determine what is done and when. In order to provide such controllable ... formal probability theory framework. A user interface module gives the physician control over when ... keywords: artificial intelligence; expert systems; medical applications; computer aided diagnosis; medical computer applications...
  • LaplaceAndzTransform

  • Referenced in 12 articles [sw20571]
  • package. With CD-ROM. The book presents theory and applications of Laplace and z-transforms ... computational and applied side, particularly in the fields of control engineering, electrical engineering, mechanics (heat ... sciences illustrate the applicability of the theory and the usage of the package...
  • Algorithm 800

  • Referenced in 11 articles [sw04405]
  • using the output from the first routine, computing the eigenvalues (this routine is easy ... used, which include several applications in control theory. Tests on randomly generated matrices confirm that ... DGEEVX. The eigenvalues of larger magnitude are computed to an accuracy in line with their...
  • PHREEQC

  • Referenced in 30 articles [sw07853]
  • Geochemical Calculations. PHREEQC version 3 is a computer program written ... model, and the SIT (Specific ion Interaction Theory) aqueous model. Using any of these aqueous ... specified mole transfers of reactants, kinetically controlled reactions, mixing of solutions, and pressure and temperature...
  • emgr

  • Referenced in 13 articles [sw07554]
  • EMpirical GRamian Framework. In control and system theory the system Gramian matrices of linear input ... example in: model reduction, decentralized control, optimal placement, sensitivity analysis or parameter identification. Empirical Gramian ... nonlinear systems due to their data-driven computation. The empirical Gramian framework is a compact...
  • HybridSystemsLab

  • Referenced in 2 articles [sw37695]
  • including biology, computer science, and engineering, and examples range from the control of cellular responses ... self-driving cars. Although classical control theory provides powerful tools for analyzing systems that exhibit ... filling an important gap in the control theory literature. In addition to the theoretical framework ... dynamical systems theory, applied mathematics, and computer science, Hybrid Feedback Control will be useful...
  • CLUCalc

  • Referenced in 4 articles [sw20666]
  • Geometric control of the trident snake robot based on CGA. We demonstrate the theory ... software designed for the computations in Clifford algebra. Local control of a general trident snake...
  • LFLC 2000

  • Referenced in 12 articles [sw08217]
  • Controller) is specialized software, which is based on deep results obtained in formal theory ... linguistic expressions and interpreted using the original theory developed in IRAFM. Sets of linguistically interpreted ... think how they are implemented. Hence, the computer behaves as if “partner” which understands ... LFLCSim using which we can simulate simple control in closed feedback loop. LFLC2000 is also...
  • ObservabilityTest

  • Referenced in 20 articles [sw36921]
  • often encountered in system and control theory. Given an algebraic model of a physical process ... which variables can be, in theory, deduced from the input-output behavior of an experiment ... size of the integers involved in the computations is polynomial in the number of variables...
  • COSMO

  • Referenced in 6 articles [sw40080]
  • onto convex sets. The low per-iteration computational cost makes the method particularly efficient ... arise in portfolio optimisation, graph theory, and robust control. Moreover, the solver uses chordal decomposition...
  • NLControl

  • Referenced in 7 articles [sw15154]
  • 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 ... related methods based on the theory of the skew polynomial rings. The functions ... equations. The programs are implemented within the computer algebra system Mathematica and made available online...
  • OreAlgebraicAnalysis

  • Referenced in 4 articles [sw15153]
  • purely algebraic viewpoint, using D-module theory and homological algebra techniques. The different types ... algorithms from homological algebra, such as computation of free resolutions and projective dimension. The OreAlgebraicAnalysis ... package HolonomicFunctions, that also provides the computation of Groebner bases in such rings. We present ... packages by means of examples from control theory. Joint work with Alban Quadrat, Maris Tonso...
  • Sshaper

  • Referenced in 1 article [sw32165]
  • computational tool for shaping the sensitivity function in robust control. The theory behind the program...