
UMDES
 Referenced in 295 articles
[sw09523]
 many of the operations of supervisory control theory, and routines that implement the methodology developed ... models, and the theory of supervisory control of discrete event systems...

Mu Analysis and Synthesis Toolbox
 Referenced in 99 articles
[sw19506]
 users access to recent developments in control theory, namely H∞ optimal control and m analysis ... Tools, provides a link between control theory and control engineering...

LYAPACK
 Referenced in 49 articles
[sw12624]
 Control Problems Users ’ Guide (Version 1.0). Control theory is one of the most rapidly developing ... many types of dense problems in control theory have become available in software packages, such ... been done on efficient numerical methods for control problems related to large sparse or structured ... class of large problems in control theory. An efficient ADIbased solver for large Lyapunov...

SLICOT
 Referenced in 70 articles
[sw01095]
 algorithms for computations in systems and control theory. Based on numerical linear algebra routines from ... methods for the design and analysis of control systems. The basic ideas behind the library...

QDES
 Referenced in 99 articles
[sw26999]
 historical record. The book ”Linear Controller Design: Limits of Performance”, by Boyd and Barratt, PrenticeHall ... ISBN 013538687X describes the theory behind QDES...

GOLOG
 Referenced in 161 articles
[sw02159]
 well suited for applications in high level control of robots and industrial processes, intelligent software ... based on a formal theory of action specified in an extended version of the situation...

COPRIN
 Referenced in 14 articles
[sw04826]
 field of robotics and control theory...

GloptiPoly
 Referenced in 227 articles
[sw04343]
 algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite ... various fields such as optimization, probability, finance, control, signal processing, chemistry, cristallography, tomography, etc.The present...

IMPS
 Referenced in 41 articles
[sw09143]
 theory interpretation. IMPS provides relatively large primitive inference steps to facilitate human control...

OreMorphisms
 Referenced in 8 articles
[sw11235]
 partial differential equations coming from control theory and mathematical physics...

IQC
 Referenced in 8 articles
[sw21941]
 ﬁeld of systems and control theory because of their practical importance. A variety of approaches...

Algorithm 800
 Referenced in 8 articles
[sw04405]
 used, which include several applications in control theory. Tests on randomly generated matrices confirm that...

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

OCTBEC
 Referenced in 6 articles
[sw14253]
 control, within the framework of optimal control theory (OCT), of Bose–Einstein condensates ... dimensions, and the confinement potential can be controlled by some external parameters. Typical experimental realizations...

NESTOR
 Referenced in 25 articles
[sw22096]
 when. In order to provide such controllable, interactive aid, specific technical tasks to be addressed ... formal probability theory framework. A user interface module gives the physician control over when...

QFT toolbox
 Referenced in 12 articles
[sw14926]
 Quantitative Feedback Theory (QFT) Frequency Domain Control Design Toolbox is a collection of MATLAB functions...

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

DIDO
 Referenced in 14 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...

Visual MISER
 Referenced in 3 articles
[sw13404]
 practical application of powerful optimal control theory and techniques, this paper describes a Visual version ... underlying the MISER software, which include the control parameterization technique, a time scaling transform...

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