• Breach

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

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

  • Referenced in 13 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 154 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 48 articles [sw13762]
  • BRDF parameters can be directly used for both image analysis and image synthesis...
  • Sapo

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

  • Referenced in 5 articles [sw38669]
  • Toolbox for Modeling, Analysis, and Synthesis of Parameter Varying Control Systems. This paper describes ... parameter dependent control systems using the Linear Parameter-Varying (LPV) framework. LPVTools contains data structures ... functions and tools for model reduction, analysis, synthesis and simulation of LPV systems. Finally...
  • HyComp

  • Referenced in 4 articles [sw20163]
  • scenario specifications; it can also perform synthesis of parameters ensuring the satisfaction of a given...
  • VERIFAI

  • Referenced in 2 articles [sw32550]
  • falsification, model-based systematic fuzz testing, parameter synthesis, counterexample analysis, and data set augmentation...
  • ROLMIP

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

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

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

  • Referenced in 1 article [sw41154]
  • automatic procedure for the synthesis of scheduling parameters that optimize a quality metric related...
  • 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...
  • ROCS

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