282 search results - page 12 / 57 » An Algebraic Method for Analyzing Open-Loop Dynamic Systems |
FM
1999
Springer
15 years 2 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
JUCS
2008
14 years 10 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
98
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
111
click to vote
PLILP
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
101
click to vote
IJCV
2008
14 years 9 months ago
2008
Systems utilizing multiple sensors are required in many domains. In this paper, we specifically concern ourselves with applications where dynamic objects appear randomly and the s...