• OreAlgebraicAnalysis

  • Referenced in 4 articles [sw15153]
  • purely algebraic viewpoint, using D-module theory and homological algebra techniques. The different types ... packages by means of examples from control theory. Joint work with Alban Quadrat, Maris Tonso...
  • RiTHM

  • Referenced in 4 articles [sw16439]
  • techniques based on static analysis and control theory to minimize instrumentation of the input...
  • SimpleS

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

  • Referenced in 15 articles [sw07762]
  • minimalist’s approach to solving optimal control problems. Only the problem formulation is required ... underlying pseudospectral theory is needed to generate and validate optimal control results. Other than...
  • PESTS

  • Referenced in 2 articles [sw35864]
  • approaches were independently developed by the control theory and verification communities: natural projection and partial ... results build a bridge whereby the control theory community can reuse algorithms and results developed...
  • StratiGraph

  • Referenced in 20 articles [sw08331]
  • StratiGraph tool: matrix stratifications in control applications. The software tool StratiGraph for computing and visualizing ... 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...
  • ART 3

  • Referenced in 27 articles [sw08755]
  • Theory architecture called ART 3. Formal analogs of ions such as Na− and Ca2− control...
  • QEngine

  • Referenced in 2 articles [sw30671]
  • controlling ultracold quantum systems using optimal control theory (OCT). The most notable systems presented here ... addition we provide a number of optimal control algorithms including the recently introduced GROUP method...
  • Algorithm 961

  • Referenced in 2 articles [sw26807]
  • subroutines of the Subroutine Library in Control Theory (SLICOT). Furthermore, we address some of their...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • uncertainty, consistent with and combining the theories of probability and fuzzy sets. Extends the logic ... systems, evidential and case-based reasoning, fuzzy control and databases. An accompanying disk for Macintosh...
  • symbtools

  • Referenced in 1 article [sw28247]
  • toolbox for symbolic calculations in nonlinear control theory. The package symbtools contains collection of functions ... dynamical systems in the field of control theory. Examples: Different type of Lie-Derivatives, Rank...
  • QFTCT

  • Referenced in 3 articles [sw21882]
  • Control Toolbox for MATLAB, or QFTCT, is an interactive object-oriented and user-friendly ... tool for QFT (Quantitative Feedback Theory) robust control systems design. Developed by Prof. Mario Garcia...
  • LFLC 2000

  • Referenced in 11 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 ... LFLCSim using which we can simulate simple control in closed feedback loop. LFLC2000 is also ... logic can be found in [1]; the theory of trichotomous evaluative linguistic expressions...
  • Time-Delay System Toolbox

  • Referenced in 12 articles [sw16539]
  • quadratic regulator problems. The numerical methods and control design algorithms, realized Time-Delay System Toolbox ... generalization of the corresponding methods of the theory of ordinary differential equations ... algorithms coincide with the corresponding numerical and control algorithms for ODEs...
  • TCAS

  • Referenced in 5 articles [sw21413]
  • extracted from the anti-collision theory that regulates the controlled airspace. This verification step...
  • SIMART

  • Referenced in 1 article [sw33458]
  • been developed from the available control theory. It can be used as a learning basis...
  • SAC

  • Referenced in 1 article [sw16492]
  • toolbox for people working in control theory. It will help to the analysis and synthesis...
  • SEEC

  • Referenced in 1 article [sw29911]
  • extensible decision engine employs both control theory and machine learning to reason about previously unseen ... least 1.65x better than a classical control system. Additional studies show how SEEC...
  • popdemo

  • Referenced in 1 article [sw23537]
  • transient dynamics and use of control theory approaches, but ’popdemo’ may also be useful...
  • Freightmiser

  • Referenced in 1 article [sw24444]
  • stay on time. Freightmiser uses optimal control theory to determine speed profiles that minimise fuel...