Sciweavers

1886 search results - page 14 / 378
» Verifying and validating a simulation model
Sort
View
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
14 years 1 months ago
Landing a Helicopter on a Moving Target
— We present the design of an optimal trajectory controller for landing a helicopter on a moving target. The trajectory planner is based on the Variational Hamiltonian and Euler-...
Srikanth Saripalli, Gaurav S. Sukhatme
WSC
2004
13 years 8 months ago
Data Farming: Discovering Surprise
Data Farming is a methodology and capability that makes use of high performance computing to run models many times. This capability gives modelers and their clients the enhanced a...
Gary E. Horne, Theodore E. Meyer
WSC
2007
13 years 9 months ago
Agent-model validation based on historical data
Combat, unlike many real-world processes, tends to be singular in nature. That is, there are not multiple occurrences from which to hypothesize a probability distribution model of...
Lance E. Champagne, Raymond R. Hill
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
14 years 1 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
14 years 1 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz