190 search results - page 11 / 38 » Approximate Reachability Analysis of Piecewise-Linear Dynami... |
CBMS
2003
IEEE
14 years 1 months ago
2003
IEEE
The dynamical analysis of pulse variability gives new insight into researches of cardiovascular system’s dynamics. Firstly, long-term pulse variability analysis for the research...
GG
2010
Springer
13 years 8 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
IDA
1999
Springer
14 years 26 days ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
SAS
1999
Springer
14 years 25 days ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
IANDC
2008
13 years 8 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...