• 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 19 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...
  • PROPhESY

  • Referenced in 7 articles [sw33602]
  • PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. We present PROPhESY, a tool for analyzing parametric Markov ... fraction of two polynomials in the model parameters) for reachability and expected reward objectives ... conditional probabilities. PROPhESY supports incremental automatic parameter synthesis (using SMT techniques) to determine “safe ... supporting visualization and user-guided parameter synthesis. Experimental results show that PROPhESY scales...
  • RoVerGeNe

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

  • Referenced in 138 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 47 articles [sw13762]
  • BRDF parameters can be directly used for both image analysis and image synthesis...
  • PRISM-PSY

  • Referenced in 3 articles [sw33601]
  • PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In this paper we present ... tool that performs precise GPU-accelerated parameter synthesis for continuous-time Markov chains and time ... recently formulated algorithms for precise parameter synthesis in order to enable effective data-parallel processing ... scalability, is achieved by state space and parameter space parallelisation: the former leverages a compact...
  • 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...
  • VERIFAI

  • Referenced in 1 article [sw32550]
  • falsification, model-based systematic fuzz testing, parameter synthesis, counterexample analysis, and data set augmentation...
  • ParetoLib

  • Referenced in 0 articles [sw32890]
  • ParetoLib: a Python library for parameter synthesis. This paper presents ParetoLib, a Python library that ... tool can be applied in the parameter synthesis of temporal logic predicates where the influence ... ParetoLib currently provides support for the parameter synthesis of standard (STL) and extended (STLe) Signal ... tool is easily upgradeable for synthesizing parameters in other temporal logics in the near future...
  • 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...
  • ROLMIP

  • Referenced in 11 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...
  • PESSOA

  • Referenced in 18 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...
  • 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 8 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 20 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...
  • SCOTS

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