298 search results - page 23 / 60 » Sensitivity Analysis of Multivariable Systems in State Space |
SAS
2009
Springer
16 years 9 days ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
FMSD
2006
14 years 11 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
97
Voted
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— In this work, we study the inconsistency of EKFbased SLAM from the perspective of observability. We analytically prove that when the Jacobians of the state and measurem...
81
Voted
IMCSIT
2010
14 years 9 months ago
2010
The stochastic Lotka-Volterra model is an infinite Markov population model that has applications in various life science domains. Its analysis is challenging since, besides an infi...
102
click to vote
COMCOM
1998
14 years 11 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...