
HImaude
 Referenced in 4 articles
[sw09753]
 complex hybrid systems, different components may influence each others’ continuous behaviors. HIMaude ... 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 cyberphysical 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, cyberphysical systems which are often probabilistic in nature. This ... available to tools like Maude, where probabilistic systems can be specified at a high level ... probabilistic realtime 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]
 cyberphysical systems. This simulator supports discreteevent models, quantizedstate 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 CyberPhysical 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). PhysiCellphysicsbased multicellular simulatoris an open source ... examples in synthetic multicellular systems (a ”cellular cargo delivery” system, with application to anticancer ... 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]
 continuousenergy, generalized geometry, timedependent, coupled neutronphotonelectron Monte Carlo transport code system ... eigenvalues; Macrobodies; ENDF/BVI 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 Fortran77 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 multiparticle CTQW (continuoustime 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...

Tripoli4
 Referenced in 2 articles
[sw29213]
 fourth generation of the continuousenergy 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 nondeterministic inputs. XSpeed ... hybrid systems with linear dynamics. Experiments on Intel core i74770 having 4 physical cores...

CTHYB
 Referenced in 1 article
[sw28325]
 orbital systems with complex hybridizations. We describe an opensource implementation of the continuoustime ... 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...