Abstract
Even with a great deal of care in constructing and calibrating a model, a validation of its underlying assumptions is necessary. One cannot prove the correctness of a model in the mathematical acceptation of the term; one can merely test it until it fails, and then modify it accordingly. An immediate corollary of this statement is that a model can only be proved wrong; however, a contradiction often provides deep insights into the system and its model. This observation is one of the strongest justification of multi-level approaches to the modeling of distributed robotic systems. Indeed, the different models of the same hierarchy generally disagree with each other to some extent, thereby pinpointing the assumptions that are not fulfilled and allowing the modeler to explore the various trade-offs between accuracy, scalability, and computational cost. Hereafter, we illustrate this claim by discussing in detail the validity of the models presented in the previous chapters; in particular, we analyze the impact of various assumptions on the models’ predictive accuracy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Mermoud, G. (2014). Model Validation and Analysis. In: Stochastic Reactive Distributed Robotic Systems. Springer Tracts in Advanced Robotics, vol 93. Springer, Cham. https://doi.org/10.1007/978-3-319-02609-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-02609-1_8
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02608-4
Online ISBN: 978-3-319-02609-1
eBook Packages: EngineeringEngineering (R0)