298 search results - page 24 / 60 » Sensitivity Analysis of Multivariable Systems in State Space |
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
ITC
1995
IEEE
15 years 3 months ago
1995
IEEE
Real-world data is known to be imperfect, suffering from various forms of defects such as sensor variability, estimation errors, uncertainty, human errors in data entry, and gaps ...
113
click to vote
AIRS
2005
Springer
15 years 1 months ago
2005
Springer
Abstract. This paper investigates the effect of performance measures and relevance functions in comparing retrieval systems in INEX, an evaluation forum dedicated to XML retrieval....
LICS
1996
IEEE
15 years 3 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
125
click to vote
PTS
2008
15 years 1 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...