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

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

ObservabilityTest
 Referenced in 20 articles
[sw36921]
 often encountered in system and control theory. Given an algebraic model of a physical process...

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

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

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

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

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

control.lib
 Referenced in 6 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...

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

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

emgr
 Referenced in 13 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...

NESTOR
 Referenced in 27 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...

ROCHJ
 Referenced in 5 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...