2875 search results - page 403 / 575 » Model checking agentspeak |
122
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...
121
click to vote
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
129
click to vote
AAAI
2008
15 years 5 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
150
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
153
click to vote
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...