
OreAlgebraicAnalysis
 Referenced in 4 articles
[sw15153]
 purely algebraic viewpoint, using Dmodule 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 casebased 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 LieDerivatives, Rank...

QFTCT
 Referenced in 3 articles
[sw21882]
 Control Toolbox for MATLAB, or QFTCT, is an interactive objectoriented and userfriendly ... 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...

TimeDelay System Toolbox
 Referenced in 12 articles
[sw16539]
 quadratic regulator problems. The numerical methods and control design algorithms, realized TimeDelay 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 anticollision 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...