• FORM

  • Referenced in 345 articles [sw09051]
  • Computer algebra system (CAS) for very big calculations in theoretical particle physics, with a very...
  • Pfinder

  • Referenced in 80 articles [sw36676]
  • human body. Pfinder is a real-time system for tracking people and interpreting their behavior ... people in many different physical locations. The system uses a multiclass statistical model of color...
  • PESSOA

  • Referenced in 22 articles [sw20123]
  • controller synthesis tool for cyber-physical systems. We introduce Pessoa 2.0, a tool that automatically ... synthesizes controllers for cyber-physical systems based on correct-by-design methodology. Pessoa 2.0 accepts ... cyber-physical system represented by a set of smooth differential equations and automata...
  • KSSOLV

  • Referenced in 34 articles [sw06806]
  • process of setting up a physical system is straightforward and the amount of coding effort...
  • DSTool

  • Referenced in 104 articles [sw06719]
  • bifurcation points. Dynamical systems arise in many disciplins of physics, biology and chemistry - basically always ... methods employed by the theory of dynamical systems allow to compute important properties directly without...
  • PyDSTool

  • Referenced in 18 articles [sw06718]
  • environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). PyDSTool...
  • Adams

  • Referenced in 50 articles [sw06593]
  • loads and forces are distributed throughout mechanical systems, and to improve and optimize the performance ... neglect the true physics-based dynamics of complex mechanical systems. FEA is suited for studying ... mechanical systems in a fraction of the time and cost required for physical build ... most CAD embedded tools, Adams incorporates real physics by simultaneously solving equations for kinematics, statics...
  • PVeStA

  • Referenced in 18 articles [sw08423]
  • systems such as, for example, cyber-physical systems which are often probabilistic in nature. This...
  • SYMMGRP

  • Referenced in 120 articles [sw01066]
  • system. The 1991 version of symmgrp.max (with manual) is still available at the Computer Physics...
  • CORA

  • Referenced in 15 articles [sw25659]
  • formal verification of cyber-physical systems using reachability analysis. CORA integrates various vector and matrix...
  • Scicos

  • Referenced in 19 articles [sw01941]
  • queuing systems, and to study physical and biological systems. New extensions allow generation of component...
  • MOOSE

  • Referenced in 39 articles [sw18084]
  • framework targeted at the solution of such systems, is presented. As opposed to traditional data ... Utilizing the mathematical structure present in JFNK, physics expressions are modularized into “Kernels,” allowing ... tools. In addition, systems are solved implicitly and fully coupled, employing physics-based preconditioning, which...
  • CartaBlanca

  • Referenced in 8 articles [sw01546]
  • pure-Java, component-based systems simulation tool for coupled nonlinear physics on unstructured grids ... paper describes a component-based nonlinear physical system simulation prototyping package written entirely in Java ... environment for large-scale computational algorithm and physical model development. The software design centers ... construction of a hierarchy of physics systems objects and linear and nonlinear solver objects that...
  • Astropy

  • Referenced in 46 articles [sw15603]
  • system (FITS) files, Virtual Observatory (VO) tables, and common ASCII table formats, unit and physical ... conversions, physical constants specific to astronomy, celestial coordinate and time transformations, world coordinate system...
  • MuJoCo

  • Referenced in 26 articles [sw27214]
  • intensive techniques such optimal control, physically-consistent state estimation, system identification and automated mechanism design ... apply them to complex dynamical systems in contact-rich behaviors. It also has more traditional ... validation of control schemes before deployment on physical robots, interactive scientific visualization, virtual environments, animation...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • three parts of the program (geometry, physical simulation and scripting) can be used ... designed to interact very smoothly. Computer algebra system (CAS). Education...
  • SymPowerSystems

  • Referenced in 9 articles [sw40618]
  • development of complex, self-contained power systems, such as those in automobiles, aircraft, manufacturing plants ... combine SimPowerSystems with other MathWorks physical modeling products ... model complex interactions in multidomain physical systems. The block libraries and simulation methods in SimPowerSystems...
  • BoomerAMG

  • Referenced in 196 articles [sw00086]
  • Driven by the need to solve linear systems arising from problems posed on extremely large ... grids. The sheer size of many modern physics and simulation problems...