• GXNOR-Net

  • Referenced in 2 articles [sw32923]
  • second issue, we propose a discrete state transition (DST) methodology to constrain the weights ... intelligence. We achieve advanced performance compared with state-of-the-art algorithms. Furthermore, the computational...
  • GAMESS

  • Referenced in 40 articles [sw03002]
  • available, for automatic geometry optimization, transition state searches, or reaction path following. Computation ... Solvent effects may be modeled by the discrete Effective Fragment potentials, or continuum models such...
  • hesim

  • Referenced in 2 articles [sw35582]
  • models. The package supports cohort discrete time state transition models (Briggs...
  • HyDI

  • Referenced in 3 articles [sw11912]
  • automatically compiled into equivalent discrete-time infinite-state transition systems...
  • Supremica

  • Referenced in 18 articles [sw18546]
  • Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model ... Supremica is finite automata where the transitions have an associated event together with a guard ... uses two main approaches to handle large state-spaces. The first approach exploits modularity...
  • Whittle Surrogate

  • Referenced in 1 article [sw22532]
  • describe processes as sets of discrete states with probabilistic transitions. If a transition...
  • SMACS

  • Referenced in 2 articles [sw06144]
  • Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. We propose ... observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models...
  • QUCON

  • Referenced in 5 articles [sw09676]
  • modified Crank–Nicolson scheme is used. The discretize-before-optimize criteria allows the formulation ... accurate controls for high-energy state transitions...
  • VeriSIMPL

  • Referenced in 4 articles [sw14598]
  • Plus-Linear (MPL) systems, a class of discrete-event systems employed to characterize the dynamics ... systems are derived as finite-state transition systems. A transition system is obtained first...
  • HyComp

  • Referenced in 4 articles [sw20163]
  • network into an infinite-state transition system, which can be analyzed using SMT-based verification ... encodings of the automata network and can discretize various kinds of dynamics. HyComp can verify...
  • SimHPN

  • Referenced in 2 articles [sw06443]
  • firing of both, discrete and continuous, types of transitions. Besides providing different simulation options, SimHPN ... offers the possibility of computing steady state throughput bounds for continuous nets. For such...
  • GDSCalc

  • Referenced in 1 article [sw28036]
  • each discrete time step and are assigned functions that describe how their states change based ... neighborhood relations. Full characterization of state transitions of one system can give insights into fundamental ... systems. In this paper, we describe a discrete graph dynamical systems (GDSs) application called GDSCalc...
  • DVR3D

  • Referenced in 3 articles [sw07820]
  • energy levels, wavefunctions, and where appropriate dipole transition moments, for rotating and vibrating triatomic molecules ... states are treated using an efficient two-step algorithm. The programs uses a Discrete Variable ... possible coordinate orderings. The rotational and transition dipole programs exploit the major savings offered...
  • multiPDEVS

  • Referenced in 1 article [sw30698]
  • multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined ... influence each other using exclusively their state transitions. We next show the soundness...
  • pntool

  • Referenced in 2 articles [sw21085]
  • developed to handle the basic problems of discrete event dynamical systems that are modeled ... Toolbox five types of Petri nets (untimed, transition-timed, place-timed, stochastic and generalized stochastic ... invariants), time-dependent performance indices, max-plus state-space representations. A design procedure is also...
  • TWINLAW

  • Referenced in 5 articles [sw35042]
  • were represented throughout deformation using a weighted discrete probability density function of c-axis orientations ... untwinning, for a range of strain states and transitions among such states...
  • Sigali

  • Referenced in 1 article [sw12303]
  • tool-based which manipulates ILTS: Implicit Labeled Transition Systems (which can be seen ... discrete event systems. It offers functionalities for verification of reactive systems and discrete controller synthesis ... ones that compute the set of reachable states, the set of states that can reach...
  • CellPyLib

  • Referenced in 1 article [sw40482]
  • consist of discrete or continuous states. Neighbourhood radii are adjustable, and in the 2-dimensional ... exploration of complex systems, phase transitions and emergent computation. Utility functions for plotting and viewing...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CLIFFORD

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...