• DENFIS

  • Referenced in 57 articles [sw24183]
  • evolving neural-fuzzy inference system and its application for time-series prediction. This paper introduces ... system (DENFIS), for adaptive online and offline learning, and their application for dynamic time series ... during the operation of the system. At each time moment, the output of DENFIS...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • component-based development of large, multi-language systems by utilizing architecture definitions as the development ... event-based execution model of distributed, time-sensitive systems -- the ”timed poset model.” Posets provide ... correctness and performance analysis of distributed time-sensitive systems...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value ... machines, thereby spending too much time moving data instead of doing useful floating-point operations ... matrix multiplication and the solution of triangular systems with multiple right-hand sides. Because...
  • Scilab

  • Referenced in 175 articles [sw00834]
  • control system study Signal Processing: Visualize, analyze and filter signals in time and frequency domains ... exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic...
  • CONTSID

  • Referenced in 37 articles [sw14945]
  • modelling. This chapter describes the continuous-time system identification (CONTSID) toolbox for MATLAB®, which supports ... 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...
  • Siege

  • Referenced in 38 articles [sw04437]
  • seed is not given, the system time is used. Certificates, etc., are appended...
  • DASSL

  • Referenced in 263 articles [sw03174]
  • orders one through five to solve a system of the above form ... YPRIME at the initial time must be given as input. These values must be consistent ... YPRIME) = 0.). The subroutine solves the system from T to TOUT. It is easy...
  • PAT

  • Referenced in 38 articles [sw13258]
  • simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with...
  • TIMES

  • Referenced in 26 articles [sw01403]
  • modelling and implementation of embedded systems TIMES is a modelling and schedulability analysis tool ... embedded real-time systems, developed at Uppsala University in 2001. It is appropriate for systems ... which are triggered periodically or sporadically by time or external events. It provides a graphical...
  • 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...
  • Rabbit

  • Referenced in 24 articles [sw01317]
  • based verification of real-time systems. This paper gives a short overview of a model ... checking tool for real-time systems. The modeling language are timed automata extended with concepts...
  • MoDeST

  • Referenced in 34 articles [sw01544]
  • modelling and description language for stochastic timed systems. This paper presents a modelling language, called ... exception handling - with means to describe complex systems in a compositional manner. In addition, MoDeST ... determinism, probabilistic branching, and hard real-time as well as soft real-time (i.e., stochastic...
  • TrueTime

  • Referenced in 42 articles [sw13636]
  • Matlab/Simulink-based simulator for real-time control systems. TrueTime facilitates co-simulation of controller task execution...
  • DLV

  • Referenced in 33 articles [sw04640]
  • among Knowledge Representation and Reasoning (KRR) systems. Thanks to a long lasting theoretical and implementation ... supported by an efficient run-time system that exploits techniques developed throughout the years...
  • OreModules

  • Referenced in 42 articles [sw06226]
  • linear systems of differential equations, time-delay systems, etc. The package OreModules, based...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • development and verification of real-time embedded systems The correct behavior of real-time applications ... fact, violations of real-time constraints in embedded systems are the most difficult errors ... external events stimulating the system and to the timing behavior of the system ... itself. Clearly, the development of real-time systems requires rigorous methods and tools to reduce...
  • IMITATOR

  • Referenced in 31 articles [sw00439]
  • verification and robustness analysis of real-time systems with parameters. It relies on the formalism...
  • STAMP

  • Referenced in 45 articles [sw09536]
  • STAMP is a statistical / econometric software system for time series models with unobserbed components such ... analysis, modelling and forecasting of time series. Estimation and signal extraction is carried out using ... integrated part of the OxMetrics modular software system for data analysis with excellent data manipulation ... full name of STAMP is Structural Time Series Analyser, Modeller and Predictor. Structural time series...
  • benchmodred

  • Referenced in 65 articles [sw27644]
  • model reduction of linear time-invariant dynamical systems. We present a benchmark collection containing some...