4636 search results - page 249 / 928 » Modelling and Validation with VipTool |
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
—The super node algorithm performs model order reduction based on physical principles. Although the algorithm provides us with compact models, its passivity has not thoroughly be...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a flight rnanageiiient system (FhIS) iinpleniented as on-board intelligence for rotorcraft-based unmanned aerial vehicles (RUAVs), in order to gradually ilen a...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
In field environments it is not usually possible to provide robotic systems with valid geometric models of the task and environment. The robot or robot teams will need to create t...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
PRDC
1999
IEEE
14 years 15 days ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...