7778 search results - page 145 / 1556 » Designing Controllers for Reachability |
111
click to vote
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
141
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
132
Voted
MEMOCODE
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
158
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
155
Voted
IDA
1999
Springer
15 years 7 months 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...