English

Validation of computer simulations of the HyQ robot

Robotics 2016-04-26 v1
Authors: Marco Frigerio , Victor Barasuol , Michele Focchi , Claudio Semini
View on arXiv ↗ PDF ↗

Abstract

This short technical report illustrates the results of a test procedure we performed to validate the computer simulation of the HyQ robot.

Keywords

robot simulation hyq robot validation test procedure technical report

Cite

@article{arxiv.1604.06818,
  title  = {Validation of computer simulations of the HyQ robot},
  author = {Marco Frigerio and Victor Barasuol and Michele Focchi and Claudio Semini},
  journal= {arXiv preprint arXiv:1604.06818},
  year   = {2016}
}

Related papers

View all related →
Robotics · Computer Science
Development and verification of a simulation for leveraging results of a human subjects programming experiment
Achim Gerstenberg, Martin Steinert
2019-03-26
Quantum Physics · Physics
Quantum Robots and Quantum Computers
Paul Benioff
2008-02-03
Logic in Computer Science · Computer Science
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil +1
2013-06-19
Quantum Physics · Physics
Computational Methods for Simulating Quantum Computers
H. De Raedt, K. Michielsen
2007-05-23
Logic in Computer Science · Computer Science
A Scalable Approach for Hardware Semiformal Verification
Tomas Grimm, Djones Lettnin, Michael Hübner
2018-02-12
Quantum Physics · Physics
How to test the "quantumness" of a quantum computer?
Alexandre M. Zagoskin, Evgeni Ilichev, Miroslav Grajcar, Joseph J. Betouras +1
2014-08-05
Quantum Physics · Physics
Quantum computation of complex systems
Giuliano Benenti, Giulio Casati
2022-12-01
Systems and Control · Computer Science
Safe Neighborhood Computation for Hybrid System Verification
Yi Deng, Agung Julius
2015-01-26
Robotics · Computer Science
Reality as a simulation of reality: robot illusions, fundamental limits, and a physical demonstration
Dylan A. Shell, Jason M. O'Kane
2019-09-10
Quantum Physics · Physics
Practical verification protocols for analog quantum simulators
Ryan Shaffer, Eli Megidish, Joseph Broz, Wei-Ting Chen +1
2021-03-04
Software Engineering · Computer Science
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
Matt Luckcuck, Marie Farrel, Louise A. Dennis, Michael Fisher
2021-01-29
Methodology · Statistics
Computer model validation with functional output
M. J. Bayarri, J. O. Berger, J. Cafeo, G. Garcia-Donato +6
2009-09-29
Quantum Physics · Physics
Toward Automatic Verification of Quantum Programs
Mingsheng Ying
2018-08-01
Logic in Computer Science · Computer Science
Automated Verification of Quantum Protocols by Equivalence Checking
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
2013-12-23
Robotics · Computer Science
Towards Automated Acceptance testing for industrial robots
Marcela G. dos Santos, Fabio Petrillo
2021-04-26
Quantum Physics · Physics
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
Lukas Burgholzer, Rudy Raymond, Robert Wille
2023-01-11
Quantum Physics · Physics
Theory of quantum system certification: a tutorial
Martin Kliesch, Ingo Roth
2021-12-21
Quantum Physics · Physics
Automated Verification of Silq Quantum Programs using SMT Solvers
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2024-09-11
Quantum Physics · Physics
Verification of quantum computation: An overview of existing approaches
Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi
2018-07-10
Quantum Physics · Physics
Verification of Quantum Systems using Barrier Certificates
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2023-10-02
Quantum Physics · Physics
Theoretical and Experimental Perspectives of Quantum Verification
Jose Carrasco, Andreas Elben, Christian Kokail, Barbara Kraus +1
2021-04-12
Quantum Physics · Physics
The Promise of Quantum Simulation
Richard P. Muller, Robin Blume-Kohout
2015-09-08
Quantum Physics · Physics
HybridQ: A Hybrid Simulator for Quantum Circuits
Salvatore Mandrà, Jeffrey Marshall, Eleanor G. Rieffel, Rupak Biswas
2022-01-03
Information Theory · Computer Science
Technical Report with Proofs for A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments
Philipp Bär, Moe T. Wynn, Sander J. J. Leemans
2025-06-13
Software Engineering · Computer Science
Machine-Checked Proofs For Realizability Checking Algorithms
Andreas Katis, Andrew Gacek, Michael W. Whalen
2015-11-18