
UMDES
 Referenced in 346 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 109 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 58 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 80 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 106 articles
[sw26999]
 historical record. The book ”Linear Controller Design: Limits of Performance”, by Boyd and Barratt, PrenticeHall ... ISBN 013538687X describes the theory behind QDES...

GloptiPoly
 Referenced in 289 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...

GOLOG
 Referenced in 169 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...

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

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

Visual MISER
 Referenced in 11 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...

libFAUDES
 Referenced in 8 articles
[sw16433]
 many researchers have contributed to supervisory control theory, including extensions for hierarchical, modular and decentralized...

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 7 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...

emgr
 Referenced in 9 articles
[sw07554]
 emgr  EMpirical GRamian Framework. In control and system theory the system Gramian matrices of linear ... example in: model reduction, decentralized control, optimal placement, sensitivity analysis or parameter identification. Empirical Gramian...

ROCHJ
 Referenced in 4 articles
[sw32895]
 HamiltonJacobi equations arising in optimal control theory. The library also contains some useful tools ... solutions and aiming at designing the optimal control laws along with the corresponding optimal trajectories...