• MPT

  • Referenced in 230 articles [sw04732]
  • deployment of optimal controllers for constrained linear, nonlinear and hybrid systems. Efficiency of the code ... create custom objective functions. Resulting optimal control laws can either be embedded into your applications...
  • Scilab

  • Referenced in 173 articles [sw00834]
  • Design & Analysis: Standard algorithms and tools for control system study Signal Processing: Visualize, analyze ... Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic circuits, control systems...
  • Hybrid Toolbox

  • Referenced in 28 articles [sw15053]
  • designing and simulating model predictive controllers for hybrid systems subject to constraints, and for generating ... linear and hybrid MPC control laws in piecewise affine form that can be directly embedded...
  • ANFIS

  • Referenced in 279 articles [sw08730]
  • framework of adaptive networks. By using a hybrid learning procedure, the proposed ANFIS can construct ... identify nonlinear components on-line in a control system, and predict a chaotic time series...
  • Siconos

  • Referenced in 12 articles [sw25724]
  • applications are found in Systems and Control (hybrid systems, differential inclusions, optimal control with state...
  • KeYmaera

  • Referenced in 44 articles [sw03709]
  • tool is particularly suitable for verifying parametric hybrid systems and has been used successfully ... collision avoidance in case studies from train control and air traffic management...
  • HIFOO

  • Referenced in 62 articles [sw05188]
  • often desired to compute a single controller which stabilizes multiple plants simultaneously. HIFOO is aimed ... performance optimization problems. It depends on a hybrid algorithm for nonsmooth, nonconvex optimization based...
  • HybridSystemsLab

  • Referenced in 2 articles [sw37695]
  • Hybrid feedback control. Hybrid control systems exhibit both discrete changes, or jumps, and continuous changes ... flow. An example of a hybrid control system is the automatic control of the temperature ... discrete jump within the algorithm. Hybrid control systems feature widely across disciplines, including biology, computer ... equipped to handle hybrid control systems. In Hybrid Feedback Control, Ricardo Sanfelice presents a self...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • else and propositional logic rules. Once a hybrid system is modeled in a human-readable ... used for optimization, to solve, e.g., optimal control, safety verification, or estimation and fault detection...
  • HLIO

  • Referenced in 3 articles [sw22611]
  • information-flow control in Haskell. Information-Flow Control (IFC) is a well-established approach ... design and implementation of our approach, HLIO (Hybrid LIO), as an embedding in Haskell that ... offers a methodology for programmer-controlled hybrid type checking in Haskell...
  • d/dt

  • Referenced in 37 articles [sw10314]
  • d/dt which provides automatic safety verification of hybrid systems with linear continuous dynamics with uncertain ... tool also allows to synthesize a controller which switches the system between continuous modes...
  • mfem

  • Referenced in 47 articles [sw22316]
  • Raviart-Thomas MFEM with a posteriori error control. The numerical approximation of the Laplace equation ... flexible and short MATLAB programs. The first, hybrid, implementation (LMmfem) is based on Lagrange multiplier ... education and research. A posteriori error control with a reliable and efficient averaging technique...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • orchestrating system components, and synthesis for hybrid control systems. We are also proposing an algorithm...
  • Mesquite

  • Referenced in 36 articles [sw10590]
  • optimization to: Untangle meshes, Provide local size control, Improve angles, orthogonality, and skew, Increase minimum ... surface meshes, adapt to surface curvature, Improve hybrid meshes (including pyramids & wedges), Smooth meshes with...
  • CGMurphi

  • Referenced in 2 articles [sw09556]
  • CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems. In the last years ... critical systems, most of the times such controllers are required to be {it optimal ... even more challenging when dealing with {it hybrid systems}, which represent a wide range ... robust numerical controllers for systems having complex dynamics, possibly hybrid systems. The tool provides...
  • TMTDyn

  • Referenced in 1 article [sw39654]
  • Matlab package for modeling and control of hybrid rigid–continuum robots based on discretized lumped ... important to analyzing, designing, and controlling hybrid rigid–continuum robots. Such models should be fast ... TMTDyn, to develop a modeling tool for hybrid rigid–continuum systems. The package features ... motion (EOM) for different modeling and control tasks, implementing Matlab C-mex functionality for improved...
  • Scicos

  • Referenced in 19 articles [sw01941]
  • model and simulate the dynamics of hybrid dynamical systems and compile models into executable code ... Scicos is used for signal processing, systems control, queuing systems, and to study physical...
  • BluSTL

  • Referenced in 1 article [sw34746]
  • MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signal Temporal Logic...
  • JBernstein

  • Referenced in 2 articles [sw19486]
  • automated verification and synthesis tasks for hybrid systems, control algorithms, digital signal processors, and mixed...
  • Stabhyli

  • Referenced in 5 articles [sw20122]
  • frequently. Stabilizing Hybrid systems are omnipresent, for instance in control applications where a discrete controller ... controlling a time-continuous process such as a car’s movement or a particular chemical ... certificate of stability for non-linear hybrid systems. Certificates are obtained by Lyapunov theory combined...