• TC-HAT

  • Referenced in 28 articles [sw13068]
  • interrupted by discrete-in-time events, often referred to as hybrid dynamical systems. Boundary-value...
  • pntool

  • Referenced in 2 articles [sw21085]
  • Petri net toolbox -- teaching discrete event systems under MATLAB. A MATLAB toolbox has been developed ... handle the basic problems of discrete event dynamical systems that are modeled by Petri nets...
  • BlockSim

  • Referenced in 2 articles [sw39475]
  • BlockSim: An Extensible Simulation Tool for Blockchain Systems. Both in the design and deployment ... tool to build and simulate discrete-event dynamic systems models for blockchain systems. BlockSim...
  • VeriSIMPL

  • Referenced in 4 articles [sw14598]
  • class of discrete-event systems employed to characterize the dynamics of the timing related...
  • MASON

  • Referenced in 22 articles [sw28011]
  • MASON is a fast, easily extensible, discrete-event multi-agent simulation toolkit in Java, designed ... model and visualization, allowing models to be dynamically detached from or attached to visualizers ... This paper describes the MASON system, its motivation, and its basic architectural design. It then...
  • DynamO

  • Referenced in 6 articles [sw20352]
  • event-driven molecular-dynamics simulator, Molecular-dynamics algorithms for systems of particles interacting through discrete ... systems. Although many software packages have been developed for continuous potential systems, software for discrete ... potential systems based on event-driven algorithms are relatively scarce and specialized. We present DynamO...
  • CyPhySim

  • Referenced in 3 articles [sw20140]
  • physical systems. This simulator supports discrete-event models, quantized-state simulation of continuous dynamics ... Kutta) simulation of continuous dynamics, modal models (hybrid systems), discrete-time (periodic) systems, and algebraic...
  • SensorDCSP

  • Referenced in 7 articles [sw30992]
  • arises in the context of networked distributed systems. In order to study the performance ... truly distributed setting, we use a discrete-event network simulator, which allows us to model ... introduced by the agents) combined with a dynamic decentralized restart strategy can improve the performance ... closely related to various real-life dynamic tracking systems. We perform both analytical and empirical...
  • HyVisual

  • Referenced in 0 articles [sw38887]
  • systems with continuous-time dynamics, discrete events, and discrete mode changes. This visual modeler supports ... construction of hierarchical hybrid systems. It uses a block-diagram representation of ordinary differential equations ... ODEs) to define continuous dynamics. It uses a bubble-and-arc diagram representation of finite...
  • adevs

  • Referenced in 0 articles [sw30700]
  • Discrete EVent System simulator) is a C++ library for constructing discrete event simulations based ... Parallel DEVS and Dynamic DEVS (dynDEVS) formalisms. DEVS has been applied to the study ... social systems, ecological systems, computer networks and computer architecture, military systems at the tactical...
  • MONARC

  • Referenced in 8 articles [sw08276]
  • experiments. A process-oriented approach for discrete event simulation is well-suited for describing concurrent ... stochastic arrival patterns that characterize how such systems are used. The simulation engine is based ... nodes, data servers, network components) together with dynamically loadable decision units (scheduling or data replication...
  • HyDI

  • Referenced in 3 articles [sw11912]
  • dynamics. In this paper, we propose a new language, HYDI, for modeling Hybrid systems with ... Discrete Interaction. The purpose of the language is to apply state-of-the-art symbolic ... infinite-state systems to the verification of complex embedded systems design. HYDI extends the standard ... synchronization aspects. The language distinguishes between discrete and continuous variables. Variables inside SMV modules evolve...
  • TADSim

  • Referenced in 0 articles [sw20723]
  • large-scale scientific applications using parallel discrete event simulation. Parameterized choices for the algorithmic method ... dynamics (TAD) method, an algorithmically complex and parameter-rich member of the accelerated molecular dynamics ... family of molecular dynamics methods. The essence of the TAD application is captured without ... evolution of an example physical system, a silver surface. Focused parameter scans have allowed...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...