
PRISM
 Referenced in 442 articles
[sw01186]
 continuoustime Markov chains. Analysis is performed through model checking such systems against specifications written...

CONTSID
 Referenced in 37 articles
[sw14945]
 time modelling. This chapter describes the continuoustime system identification (CONTSID) toolbox for MATLAB®, which ... years [17] for identifying linear dynamic continuoustime parametric models from measured input/output sampled data ... SISO) and multipleinput multipleoutput (MIMO) systems, including both traditional and more recent approaches...

NLControl
 Referenced in 7 articles
[sw15154]
 analysis, and synthesis problems for nonlinear control systems. The majority of provided tools rely ... website address both discrete and continuoustime systems as well as systems, defined...

GPOPS
 Referenced in 93 articles
[sw05853]
 problems where it is desired to optimize systems defined by differentialalgebraic equations). GPOPS ... quadrature methods. Using GPOPSII, the continuoustime optimal control problem is transcribed...

CTDSX
 Referenced in 5 articles
[sw04620]
 statespace realizations of continuoustime dynamical system This paper describes Version...

AdvancedNoise
 Referenced in 1 article
[sw41325]
 continuous system simulation. Noise for continuoustime system simulation is relevant for many applications, whenever...

LBS
 Referenced in 15 articles
[sw12372]
 based on the Calculus of Biochemical Systems (CBS) which affords modular descriptions of metabolic, signalling ... nets, coloured Petri nets, ODEs and continuoustime Markov chains are also given...

pyCTQW
 Referenced in 4 articles
[sw16801]
 large multiparticle CTQW (continuoustime quantum walk)based systems. In this paper, we present...

CollocInfer
 Referenced in 6 articles
[sw14377]
 Inference for Dynamic Systems. These functions implement collocationinference for continuoustime and discretetime...

BAL
 Referenced in 1 article
[sw17648]
 bruteforce analysis of dynamical systems. This paper describes the functionality and usage ... bruteforce analysis of continuoustime dynamical systems described by ordinary differential equations (ODEs...

INFAMY
 Referenced in 5 articles
[sw21177]
 complex concurrent systems often involves intricate performance and dependability considerations. Continuoustime Markov chains (CTMCs...

ADPT
 Referenced in 1 article
[sw36504]
 solves optimal control problems for continuoustime nonlinear systems. Based on the adaptive dynamic programming...

SABRE
 Referenced in 7 articles
[sw12884]
 reaction networks. Biochemical reactions networks represent biological systems studied at a molecular level and these ... interprets either as continuoustime or as discretetime Markov chains. Besides operating ... computing a meanfield approximation of the system under study. We illustrate the different functionalities...

SeQuaiA
 Referenced in 0 articles
[sw37054]
 biochemical systems. They induce continuoustime stochastic systems, whose analysis is a computationally intensive task...

CTHYB
 Referenced in 1 article
[sw28325]
 Continuoustime hybridization expansion quantum impurity solver for multiorbital systems with complex hybridizations ... describe an opensource implementation of the continuoustime hybridizationexpansion quantum Monte Carlo method...

HyVisual
 Referenced in 0 articles
[sw38887]
 Visual Modeler. Hybrid systems are systems with continuoustime dynamics, discrete events, and discrete mode ... visual modeler supports construction of hierarchical hybrid systems. It uses a blockdiagram representation...

GillespieSSA
 Referenced in 10 articles
[sw21016]
 generating simulated trajectories of finite population continuoustime model. Currently it implements Gillespie’s exact ... included, decayingdimerization reaction set, linear chain system, logistic growth model, Lotka predatorprey model...

Visual DSD
 Referenced in 10 articles
[sw35128]
 analysis tool for dna strand displacement systems. Summary: The Visual DSD (DNA Strand Displacement) tool ... stochastic and deterministic simulation, construction of continuoustime Markov chains and various export formats which...

PRISMPSY
 Referenced in 3 articles
[sw33601]
 Precise GPUAccelerated Parameter Synthesis for Stochastic Systems. In this paper we present PRISM ... precise GPUaccelerated parameter synthesis for continuoustime Markov chains and timebounded temporal logic...

iQIST
 Referenced in 2 articles
[sw16777]
 iQIST: An open source continuoustime quantum Monte Carlo impurity solver toolkit. Quantum impurity solvers ... theoretical studies of strongly correlated electron systems. Especially, they play a key role in dynamical ... based on the hybridization expansion continuoustime quantum Monte Carlo algorithm, as well as some...