15644 search results - page 298 / 3129 » Brittle System Analysis |
165
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
Understanding performance and related issues in a complex system requires analyzing where and why the program spends its resources. In a reactive system such as a interactive appl...
173
click to vote
SIMPRA
2008
15 years 6 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
178
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
167
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The present study considers a fuzzy color system in which three membership functions are constructed on the RGB color triangle. This system can process a fuzzy input (as the mem...
187
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...