• PRISM

• Referenced in 442 articles [sw01186]
• continuous-time 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 continuous-time system identification (CONTSID) toolbox for MATLAB®, which ... years [17] for identifying linear dynamic continuous-time parametric models from measured input/output sampled data ... SISO) and multiple-input multiple-output (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 continuous-time systems as well as systems, defined...

• GPOPS

• Referenced in 93 articles [sw05853]
• problems where it is desired to optimize systems defined by differential-algebraic equations). GPOPS ... quadrature methods. Using GPOPS-II, the continuous-time optimal control problem is transcribed...

• CTDSX

• Referenced in 5 articles [sw04620]
• state-space realizations of continuous-time dynamical system This paper describes Version...

• AdvancedNoise

• Referenced in 1 article [sw41325]
• continuous system simulation. Noise for continuous-time 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 continuous-time Markov chains are also given...

• pyCTQW

• Referenced in 4 articles [sw16801]
• large multi-particle CTQW (continuous-time quantum walk)-based systems. In this paper, we present...

• CollocInfer

• Referenced in 6 articles [sw14377]
• Inference for Dynamic Systems. These functions implement collocation-inference for continuous-time and discrete-time...

• BAL

• Referenced in 1 article [sw17648]
• brute-force analysis of dynamical systems. This paper describes the functionality and usage ... brute-force analysis of continuous-time dynamical systems described by ordinary differential equations (ODEs...

• INFAMY

• Referenced in 5 articles [sw21177]
• complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs...

• ADPT

• Referenced in 1 article [sw36504]
• solves optimal control problems for continuous-time 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 continuous-time or as discrete-time Markov chains. Besides operating ... computing a mean-field approximation of the system under study. We illustrate the different functionalities...

• SeQuaiA

• Referenced in 0 articles [sw37054]
• biochemical systems. They induce continuous-time stochastic systems, whose analysis is a computationally intensive task...

• CT-HYB

• Referenced in 1 article [sw28325]
• Continuous-time hybridization expansion quantum impurity solver for multi-orbital systems with complex hybridizations ... describe an open-source implementation of the continuous-time hybridization-expansion quantum Monte Carlo method...

• HyVisual

• Referenced in 0 articles [sw38887]
• Visual Modeler. Hybrid systems are systems with continuous-time dynamics, discrete events, and discrete mode ... visual modeler supports construction of hierarchical hybrid systems. It uses a block-diagram representation...

• GillespieSSA

• Referenced in 10 articles [sw21016]
• generating simulated trajectories of finite population continuous-time model. Currently it implements Gillespie’s exact ... included, decaying-dimerization reaction set, linear chain system, logistic growth model, Lotka predator-prey 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 continuous-time Markov chains and various export formats which...

• PRISM-PSY

• Referenced in 3 articles [sw33601]
• Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In this paper we present PRISM ... precise GPU-accelerated parameter synthesis for continuous-time Markov chains and time-bounded temporal logic...

• iQIST

• Referenced in 2 articles [sw16777]
• iQIST: An open source continuous-time 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 continuous-time quantum Monte Carlo algorithm, as well as some...