• PRISM

  • Referenced in 442 articles [sw01186]
  • analysis of probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision ... Analysis is performed through model checking such systems against specifications written in the probabilistic temporal...
  • MR and LTV Synthesis Tools

  • Referenced in 36 articles [sw05190]
  • methods H-infinity synthesis of discrete-time LTV systems using LMI synthesis methods System type ... multi-rate LTI to discrete-time LTV) LTV system balance, reduction, and truncation LTV stability...
  • Ellipsoidal Toolbox

  • Referenced in 38 articles [sw10826]
  • reach sets of continuous- and discrete-time piecewise affine systems. Forward and backward reach sets...
  • RICPAC

  • Referenced in 65 articles [sw15253]
  • discrete-time applications. This general form is derived from control and filtering problems for systems...
  • bc-prod

  • Referenced in 43 articles [sw10663]
  • optimization system designed and able to tackle a wide variety of the discrete-time ... XPRESS-MP branch-and-bound system including lot-sizing specific preprocessing, cutting planes for different...
  • OreAlgebraicAnalysis

  • Referenced in 4 articles [sw15153]
  • differential equations, differential time-delay systems, discrete-time systems, etc. The algebraic analysis approach studies...
  • SReachTools

  • Referenced in 6 articles [sw30627]
  • reachability of linear, potentially time-varying, discrete-time systems that are perturbed by a stochastic...
  • CyPhySim

  • Referenced in 3 articles [sw20140]
  • continuous dynamics, modal models (hybrid systems), discrete-time (periodic) systems, and algebraic loop solvers. CyPhySim...
  • MatContM

  • Referenced in 6 articles [sw06061]
  • analysis of bifurcations of discrete-time dynamical systems with concrete instruction on implementations (and example...
  • MIXMAX

  • Referenced in 6 articles [sw29765]
  • Under well-known conditions, these discrete-time dynamical systems have the highly desirable K-mixing...
  • CONTSID

  • Referenced in 37 articles [sw14945]
  • continuous-time system identification (CONTSID) toolbox for MATLAB®, which supports continuous-time (CT) transfer function ... without requiring the determination of a discrete-time (DT) model. The motivation for developing ... cause of direct time-domain identification of continuous-time linear models but also to provide ... follows: it supports most of the time-domain methods developed over the last thirty years...
  • AMYTISS

  • Referenced in 2 articles [sw36936]
  • automated controller synthesis for large-scale stochastic systems. In this paper, we propose a software ... construction controllers for large-scale discrete-time stochastic systems. This tool is employed...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts a high-level description...
  • SYMCON

  • Referenced in 1 article [sw31542]
  • design of multivariable discrete-time control systems using the polynomial equation approach. It covers ... design of all the well-established discrete-time control schemes. The package is useful...
  • DCVALID

  • Referenced in 15 articles [sw20416]
  • model check DC properties of systems. Currently, systems written in SMV, Verilog VIS), ESTEREL ... automata theoretic decision procedure for Quantified Discrete-time Duration Calculus (QDDC). For every formula...
  • CollocInfer

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

  • Referenced in 3 articles [sw11912]
  • complex embedded systems design. HYDI extends the standard symbolic language SMV with timing and synchronization ... aspects. The language distinguishes between discrete and continuous variables. Variables inside SMV modules evolve synchronously ... automatically compiled into equivalent discrete-time infinite-state transition systems...
  • TIRA

  • Referenced in 1 article [sw30629]
  • sets for both continuous- and discrete-time nonlinear systems. Unlike other existing tools, the main...
  • SABRE

  • Referenced in 7 articles [sw12884]
  • reaction networks. Biochemical reactions networks represent biological systems studied at a molecular level and these ... either as continuous-time or as discrete-time Markov chains. Besides operating in a stochastic ... computing a mean-field approximation of the system under study. We illustrate the different functionalities...
  • MinimalRealization

  • Referenced in 1 article [sw13770]
  • problem in Maple. In the computer algebra system Maple, we have created a package MinimalRealization ... realization problem for a discrete-time linear time-invariant system. The package enables to construct...