
DENFIS
 Referenced in 57 articles
[sw24183]
 evolving neuralfuzzy inference system and its application for timeseries 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]
 componentbased development of large, multilanguage systems by utilizing architecture definitions as the development ... eventbased execution model of distributed, timesensitive systems  the ”timed poset model.” Posets provide ... correctness and performance analysis of distributed timesensitive systems...

LAPACK
 Referenced in 1713 articles
[sw00503]
 linear equations, leastsquares solutions of linear systems of equations, eigenvalue problems, and singular value ... machines, thereby spending too much time moving data instead of doing useful floatingpoint operations ... matrix multiplication and the solution of triangular systems with multiple righthand 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 continuoustime system identification (CONTSID) toolbox for MATLAB®, which supports ... 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...

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, realtime 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 realtime 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 Hinfinity synthesis of discretetime LTV systems using LMI synthesis methods System type ... multirate LTI to discretetime LTV) LTV system balance, reduction, and truncation LTV stability...

Rabbit
 Referenced in 24 articles
[sw01317]
 based verification of realtime systems. This paper gives a short overview of a model ... checking tool for realtime 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 realtime as well as soft realtime (i.e., stochastic...

TrueTime
 Referenced in 42 articles
[sw13636]
 Matlab/Simulinkbased simulator for realtime control systems. TrueTime facilitates cosimulation 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 runtime system that exploits techniques developed throughout the years...

OreModules
 Referenced in 42 articles
[sw06226]
 linear systems of differential equations, timedelay systems, etc. The package OreModules, based...

TAXYS
 Referenced in 21 articles
[sw01389]
 development and verification of realtime embedded systems The correct behavior of realtime applications ... fact, violations of realtime 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 realtime systems requires rigorous methods and tools to reduce...

IMITATOR
 Referenced in 31 articles
[sw00439]
 verification and robustness analysis of realtime 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 timeinvariant dynamical systems. We present a benchmark collection containing some...