• HI-maude

  • Referenced in 4 articles [sw09753]
  • complex hybrid systems, different components may influence each others’ continuous behaviors. HI-Maude ... continuous dynamics of single (physical component and physical interaction) objects in such interacting hybrid systems ... number of numerical approximations of the continuous behaviors, based on adaptations of the Euler...
  • CORA

  • Referenced in 8 articles [sw25659]
  • COntinuous Reachability Analyzer (CORA) is a collection of MATLAB classes ... formal verification of cyber-physical systems using reachability analysis. CORA integrates various vector and matrix...
  • PyDSTool

  • Referenced in 13 articles [sw06718]
  • systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). PyDSTool is platform independent ... supports symbolic math, optimization, phase plane analysis, continuation and bifurcation analysis, data analysis, and other...
  • PVeStA

  • Referenced in 17 articles [sw08423]
  • systems such as, for example, cyber-physical systems which are often probabilistic in nature. This ... available to tools like Maude, where probabilistic systems can be specified at a high level ... probabilistic real-time systems specified as either: (i) discrete or continuous Markov Chains...
  • CIPRNG

  • Referenced in 2 articles [sw23608]
  • generators are continuously improved to satisfy both physical and ubiquitous computing security system challenges...
  • CyPhySim

  • Referenced in 2 articles [sw20140]
  • cyber-physical systems. This simulator supports discrete-event models, quantized-state simulation of continuous dynamics...
  • Acumen

  • Referenced in 1 article [sw36603]
  • Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous ... deliver to developers of Cyber-Physical Systems. Like verification tools, a design goal for Acumen...
  • ICON

  • Referenced in 9 articles [sw31159]
  • Meteorology (MPI‐M), targeting a unified modelling system for global numerical weather prediction ... conservation is facilitated by a flux‐form continuity equation with density as the prognostic variable ... hand and tracer advection, physics parametrizations and horizontal diffusion on the other hand. A sequence ... analysis data reveal that the ICON modelling system already achieves better skill scores than...
  • PhysiCell

  • Referenced in 5 articles [sw30634]
  • cells (the ”players” upon the stage). PhysiCell-physics-based multicellular simulator-is an open source ... examples in synthetic multicellular systems (a ”cellular cargo delivery” system, with application to anti-cancer ... powerful multicellular systems simulator that will be continually improved with new capabilities and performance improvements...
  • HyDI

  • Referenced in 3 articles [sw11912]
  • devices interacting with the physical environment. The complexity of such systems makes the design very ... language for modeling embedded systems which include discrete and continuous dynamics. They are based...
  • Bellerophon

  • Referenced in 1 article [sw23943]
  • discrete and continuous dynamics, which makes them attractive as models for systems that combine ... computer control with physical motion. Verification is undecidable for hybrid systems and challenging for many ... systems verification, named Bellerophon, that provides a way to convey insights by programming hybrid systems ... decomposing hybrid systems, discovering and establishing invariants of nonlinear continuous systems, arithmetic simplifications to maximize...
  • MCNP4C

  • Referenced in 2 articles [sw11637]
  • continuous-energy, generalized geometry, time-dependent, coupled neutron-photon-electron Monte Carlo transport code system ... eigenvalues; Macrobodies; ENDF/B-VI improvements; PC Enhancements; Electron Physics Enhancements; Parallelization enhancements; Delayed Neutrons...
  • SPASMS

  • Referenced in 1 article [sw12893]
  • simulation package, written in machine and operating system independent Fortran-77 code, by David ... program package has been developed, and continues to develop, as a research tool that implements ... techniques to study the physical properties of complex systems...
  • pyCTQW

  • Referenced in 3 articles [sw16801]
  • playing an increasingly important role in constructing physical models and quantum algorithms. We have recently ... large multi-particle CTQW (continuous-time quantum walk)-based systems. In this paper, we present...
  • OpenPALM

  • Referenced in 3 articles [sw12182]
  • efficiently represent complex systems, numerical modelling has to rely on many physical models ... computation of a combustion chamber temperature. The continuity of the solution is granted only...
  • Tripoli-4

  • Referenced in 2 articles [sw29213]
  • fourth generation of the continuous-energy radiation transport Monte Carlo code developed by the Service ... physics with depletion, criticality safety and nuclear instrumentation for both fission and fusion systems...
  • XSpeed

  • Referenced in 5 articles [sw20159]
  • parallel state space exploration of continuous systems with linear dynamics and non-deterministic inputs. XSpeed ... hybrid systems with linear dynamics. Experiments on Intel core i7-4770 having 4 physical cores...
  • CT-HYB

  • Referenced in 1 article [sw28325]
  • orbital systems with complex hybridizations. We describe an open-source implementation of the continuous-time ... libraries of ALPS (Applications and Libraries for Physics Simulations) [ALPSCore libraries...
  • JMAG

  • Referenced in 3 articles [sw22758]
  • tool. It is our wish that JMAG continues to grow and develop with its users ... plant model can be used in system level simulations to provide a more accurate representation ... Loop Simulations (HILS) which connect a physical Electronic Control Unit (ECU) to a virtual motor...
  • PNlib

  • Referenced in 1 article [sw37919]
  • physical systems modeling to modeling of complete systems by allow the modeling of control systems ... systems. This paper describes the state machines introduced in Modelica 3.3. Any block without continuous...