• IQC

  • Referenced in 8 articles [sw21941]
  • process. Performance analysis is often done by computer simulation. However, for systems with infinite dimensional ... with high quality requirements, such as aircraft control systems and high speed elevators, more rigorous ... field of systems and control theory because of their practical importance. A variety of approaches...
  • UnstableManifoldCompactMap

  • Referenced in 1 article [sw22780]
  • order to insure the accuracy of our computations we develop a-posteriori error bounds ... implementation of the a-posteriori theory, combined with deliberate control of float- ing point round ... interval arithmetic), leads to mathematically rigorous computer assisted theorems describing precisely the truncation errors...
  • Algorithm 961

  • Referenced in 3 articles [sw26807]
  • reliability, accuracy, and performance of the computations. In this article, we describe the corresponding algorithms ... subroutines of the Subroutine Library in Control Theory (SLICOT). Furthermore, we address some of their...
  • PROMISE

  • Referenced in 4 articles [sw02636]
  • supported cooperative work and other computer-based coordination theories, this paper proposes a distributed ... MMPP decisions. The meta layer in PROMISE controls the problem-solving layer consisting of marketing...
  • PECANS

  • Referenced in 6 articles [sw02161]
  • computing rules are essentially local. The second one is the control parallelism form which concerns ... method to homogeneous structures, such as the theory of periodically defined transformations on polydimensional abstract...
  • SIMART

  • Referenced in 1 article [sw33458]
  • computer aided control system design package called SIMART has been developed from the available control ... theory. It can be used as a learning basis for advanced control as well ... control engineering framework. SIMART has already been successfully used in realistic simulation environments as well ... pilots that have been interfaced with PC computer using IO cards as Lab Master, Alliance...
  • GRPF

  • Referenced in 1 article [sw38497]
  • computational electrodynamics and can be used for similar problems e.g. in acoustics, control theory...
  • iCDI-PseFpt

  • Referenced in 15 articles [sw30067]
  • transduction and central nervous system response, are controlled by cell signalings via various ion channels ... means of experimental techniques. Although some computational methods were developed in this regard based ... highly desirable to develop the sequence-based computational method to address this problem. To take ... acid composition) generated with the gray model theory, the drug compound by the 2D molecular...
  • TCAS

  • Referenced in 5 articles [sw21413]
  • extracted from the anti-collision theory that regulates the controlled airspace. This verification step ... constraint systems over bounded integers extracted from computer programs and safety properties. An experience...
  • Xtile

  • Referenced in 2 articles [sw22258]
  • molecular computation, nano technology and medicine. However error control is a key challenge in realizing ... schemes to control errors which have a close analogy with the coding theory such ... this work, we present an error correction computational tool XTile that can be used...
  • fdANOVA

  • Referenced in 7 articles [sw29049]
  • functions, frequently arise in various fields. The theory and practice of statistical methods for such ... known functional data set. To reduce the computation time, parallel implementation is developed ... been compared in terms of size control and power yet, appropriate simulations are also conducted...
  • COKOSNUT

  • Referenced in 3 articles [sw22274]
  • framework of the time-dependent density functional theory. For this purpose, the MATLAB package COKOSNUT ... presented that aims at solving optimal quantum control problems governed by the Kohn-Sham equation ... ability of the COKOSNUT code in computing accurate optimal controls...
  • W12SC3

  • Referenced in 1 article [sw19876]
  • analysis. COREL and W12SC3 are two computer programs useful in the aerodynamic design and analysis ... high supersonic lift coefficients are obtained by controlling cross flow development. COREL (Conical Relaxation) solves ... nonconical geometry. W12SC3 applies linear theory panel methods to compute solutions for a wing-body ... supersonic linear theory wing calculations is applied at wing control points. If desired, COREL will...
  • HybCore

  • Referenced in 1 article [sw39405]
  • application domains, from biology and control theory to real-time software engineering. The entanglement ... such programs goes beyond the established computer science foundations, producing challenges related to e.g. infinite...
  • Anima

  • Referenced in 4 articles [sw10101]
  • deterministic execution of a given unconditional rewrite theory to be followed up in different ways ... Starting from a selected state in the computation tree, the navigation of the trace ... slicers that facilitate the dynamic detection of control and data dependencies across the computation tree...
  • COREL

  • Referenced in 1 article [sw19875]
  • analysis (COREL). COREL and W12SC3 are two computer programs useful in the aerodynamic design ... high supersonic lift coefficients are obtained by controlling cross flow development. COREL (Conical Relaxation) solves ... nonconical geometry. W12SC3 applies linear theory panel methods to compute solutions for a wing-body...
  • carlomat

  • Referenced in 2 articles [sw20109]
  • meson mixing terms and to make possible computation of the helicity amplitudes involving the Feynman ... like those predicted by the Resonance Chiral Theory or Hidden Local Symmetry model ... program in order to enable a better control over the effective models implemented. In particular...
  • SITS

  • Referenced in 2 articles [sw18739]
  • Intelligent Transportation Systems (SITS) and a computational oriented analysis of traffic dynamics. The SITS adopts ... make possible the adoption of classical system theory tools and point out that ... advantage of the knowledge gathered with automatic control algorithms. A complementary perspective for the analysis...
  • helperOC

  • Referenced in 3 articles [sw40042]
  • present an overview of basic HJ reachability theory and provide instructions for using the most ... implementation of a Level Set Toolbox for computing reachable sets. In addition, we review some ... application-specific insights. helperOC is an optimal control toolbox for Hamilton-Jacobi Reachability Analysis...
  • VST

  • Referenced in 1 article [sw16726]
  • increasing concern in planning, operation, and control of electric power systems. In order to understand ... Drexel University combines proven computational and analytical capabilities of bifurcation theory and symbolic mplementation...