• Plasmo.jl

  • Referenced in 3 articles [sw28219]
  • modeling abstractions to represent cyber-physical dependencies arising in complex systems. Specifically, we propose...
  • OpenMETA

  • Referenced in 1 article [sw09392]
  • component-based design tool chain for cyber-physical systems Model- and component-based design have ... design and manufacturing of complex cyber-physical systems (CPS) such as vehicles ... building a comprehensive design tool suite for complex CPS. The primary driver for the OpenMETA...
  • DimSim

  • Referenced in 1 article [sw09874]
  • first step in building a cyber-physical system is the construction of a faithful model ... physical quantities represented in it. Though manual analysis of dimensions is used in physical sciences ... approach does not scale to complex cyber-physical systems with many interacting components. We present...
  • SCELlight

  • Referenced in 4 articles [sw09887]
  • called cyber-physical systems consisting of software-intensive ensembles of components, featuring complex intercommunications...
  • Montre

  • Referenced in 2 articles [sw30369]
  • more complex and versatile tasks for analyzing and reasoning about cyber-physical systems...
  • DTRON

  • Referenced in 0 articles [sw23642]
  • based testing of time critical applications. Cyber-Physical Systems (CPS) present the greatest challenges ... electronics, automotive and industrial automation. Governing the complexity and design correctness issues of CPS software...
  • DistAIX

  • Referenced in 0 articles [sw25959]
  • compleX power systems): Enabling the analysis of emergent behavior in future electrical distribution systems using ... future electrical distribution systems, component heterogeneity and their cyber-physical interactions through electrical lines...
  • Coq

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Gmsh

  • Referenced in 564 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Maple

  • Referenced in 5020 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 248 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Matlab

  • Referenced in 11969 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MetiTarski

  • Referenced in 49 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • QEPCAD

  • Referenced in 275 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 8180 articles [sw00771]
  • R is a language and environment for statistical...
  • SPIN

  • Referenced in 708 articles [sw03455]
  • Spin is a popular open-source software tool...
  • KeYmaera

  • Referenced in 40 articles [sw03709]
  • KeYmaera: A hybrid theorem prover for hybrid systems...
  • AMPL

  • Referenced in 581 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • PETSc

  • Referenced in 1127 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • CPLEX

  • Referenced in 2541 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...