74 search results - page 8 / 15 » Reachability Analysis of Nonlinear Systems Using Conservativ... |
AUTOMATICA
2002
13 years 7 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
CONCUR
2001
Springer
14 years 3 days ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
ISQED
2006
IEEE
14 years 1 months ago
2006
IEEE
The increase in packing density has led to a higher power density in the chip which in turn has led to an increase in temperature on the chip. Temperature affects reliability, per...
FORMATS
2003
Springer
14 years 25 days ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...