Verification and validation of computer simulation models

Related papers: 8

Top Cited Papers

Model validation of a hexapod walker robot

István Kecskés, Ervin Burkus, Fülöp Bazsó, Péter Odry

Citations: 26 • 2015

A Review of Verification and Validation for Space Autonomous Systems

Rafael C. Cardoso, Georgios Kourtis, Louise A. Dennis, Clare Dixon, Marie Farrell, Michael Fisher, Matt Webster

Citations: 24 • 2021

A novel framework for verification and validation of simulations of autonomous robots

Phillip J. Durst, David McInnis, Jeremy Davis, C. Goodin

Citations: 8 • 2022

A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems

Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate

Citations: 6 • 2011

Verification of Robot Controller for Evaluating Impacts of Faults in Electro-Mechanical Systems

Jakub Podivínský, Ondrej Cekan, Jakub Lojda, Zdeněk Kotásek

Citations: 5 • 2016

Numerical investigation and experimental verification of the proposed robot leg virtual model

Veli Bakırcıoğlu, Muhammed Arif Şen, Mete Kalyoncu

Citations: 4 • 2022

Formal Performance Guarantees for Behavior-Based Localization Missions

Damian M. Lyons, Ronald C. Arkin, Shengyuan Jiang, Matthew J O’Brien, Fan Tang, Peng Tang

Citations: 3 • 2016

Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour

Robert A. Coleman, Vladimir Estivill‐Castro, René Hexel, Carl Lusty

Citations: 3 • 2012