• IMITATOR

  • Referenced in 26 articles [sw00439]
  • robustness analysis of real-time systems with parameters. It relies on the formalism of networks ... stopwatches. It implemented several algorithms including safety synthesis, robustness, untimed language ... preservation, non-Zeno or deadlock-free parameter synthesis, accepting cycle synthesis, etc. It features distributed...
  • Breach

  • Referenced in 17 articles [sw20822]
  • Breach, a toolbox for verification and parameter synthesis of hybrid systems. We describe Breach ... provide information about sensitivity with respect to parameters variation. The latter is used ... perform approximate reachability analysis and parameter synthesis. A major novel feature is the robust monitoring...
  • RoVerGeNe

  • Referenced in 13 articles [sw10954]
  • parameter set is then called valid. parameter constraint synthesis: searching for valid subsets...
  • Robust Control Toolbox

  • Referenced in 137 articles [sw07907]
  • dynamics with uncertain elements, such as uncertain parameters or unmodeled dynamics. You can analyze ... uncertain elements. H-infinity and mu-synthesis techniques let you design controllers that maximize robust...
  • CUReT

  • Referenced in 45 articles [sw13762]
  • BRDF parameters can be directly used for both image analysis and image synthesis...
  • PARSHL

  • Referenced in 5 articles [sw23809]
  • which is useful for extracting additive synthesis parameters from inharmonic sounds such as the piano...
  • Sapo

  • Referenced in 3 articles [sw23566]
  • Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. Sapo is a tool ... initial conditions, and 2) Parameter synthesis, i.e., the refinement of a set of parameters...
  • PSyHCoS

  • Referenced in 2 articles [sw30319]
  • PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Real-time systems are often hard ... PSTCSP. PSyHCoS supports several algorithms for parameter synthesis and model checking, as well as state...
  • MCGP

  • Referenced in 14 articles [sw00562]
  • generating and correcting code, based on our synthesis approach combining deep Model Checking and Genetic ... tool allows the user to control various parameters, such as the syntactic building blocks ... their effect on the convergence of the synthesis process...
  • HyComp

  • Referenced in 1 article [sw20163]
  • scenario specifications; it can also perform synthesis of parameters ensuring the satisfaction of a given...
  • PESSOA

  • Referenced in 15 articles [sw20123]
  • Pessoa 2.0: a controller synthesis tool for cyber-physical systems. We introduce Pessoa ... enforces the specification up to an abstraction parameter. We report on examples illustrating the expressiveness...
  • ROLMIP

  • Referenced in 8 articles [sw21158]
  • assumed to depend polynomially on the parameters, being the polynomials considered to be homogeneous. Such ... arise, for example, on the analysis and synthesis conditions related to uncertain continuous or discrete...
  • FAUST

  • Referenced in 2 articles [sw29855]
  • simple mapping of algorithm events to sound parameters and provides the actual structure needed ... without having to understand the underlying sound synthesis mechanisms. However, the underlying sound synthesis framework ... easily change sound synthesis algorithms, or to add features and parameters to the existing algorithms...
  • CoSyma

  • Referenced in 7 articles [sw20124]
  • introduce CoSyMA, a tool for automatic controller synthesis for incrementally stable switched systems based ... differential equations and the sampling parameters used to define an approximation of the state-space...
  • E-CELL

  • Referenced in 18 articles [sw07917]
  • transcription, translation, energy production and phospholipid synthesis. Most of the genes are taken from Mycoplasma ... developed cell model with kinetic parameters can be obtained via our web site...
  • ROSETTA

  • Referenced in 22 articles [sw10969]
  • process have been the principal guiding design parameters for both.par The kernel class library provides ... tools and programming environments for process-oriented synthesis of logic programs...
  • iOpt

  • Referenced in 8 articles [sw00448]
  • logically structured heuristic search framework allowing the synthesis and evaluation of a variety of algorithms ... time behaviour and configuring the parameters of heuristic search algorithms...
  • ROCS

  • Referenced in 2 articles [sw28114]
  • dynamical systems. Different from other formal control synthesis tools, it guarantees to generate a control ... bound scheme with a precision control parameter that reflects the robustness of the realizability...
  • SCOTS

  • Referenced in 8 articles [sw20172]
  • software tool for the automatic controller synthesis for nonlinear control systems based on symbolic models ... equation together with a number of discretization parameters to compute a symbolic model that...
  • OpenDR

  • Referenced in 2 articles [sw26706]
  • solve the forward process of image synthesis. To go in the other direction, we propose ... models the relationship between changes in model parameters and image observations. We describe a publicly...