38 search results - page 2 / 8 » Modular Analysis of Systems Composed of Semiautonomous Subsy... |
SCL
2008
13 years 5 months ago
2008
The Integral Input to State Stability (iISS) property is studied is the context of nonlinear time-invariant systems in cascade. Some sufficient conditions for the preservation of ...
PTS
2008
13 years 6 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
KBSE
1999
IEEE
13 years 9 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
ICRA
2002
IEEE
13 years 10 months ago
2002
IEEE
Modular robots are systems composed of a number of independent units that can be reconfigured to fit the task at hand. When the modules are computationally independent, they for...