elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Improving reliability of myocontrol using formal verification

Guidotti, Dario and Leofante, Francesco and Tacchella, Armando and Castellini, Claudio (2019) Improving reliability of myocontrol using formal verification. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 27 (4), pp. 564-571. IEEE - Institute of Electrical and Electronics Engineers. DOI: 10.1109/TNSRE.2019.2893152 ISSN 1534-4320

[img] PDF - Preprint version (submitted draft)
2MB

Official URL: https://ieeexplore.ieee.org/document/8660471


Item URL in elib:https://elib.dlr.de/126921/
Document Type:Article
Title:Improving reliability of myocontrol using formal verification
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Guidotti, DarioUniversität Genua, ItalienUNSPECIFIED
Leofante, FrancescoUniversität Genua, ItalienUNSPECIFIED
Tacchella, ArmandoUniversität Genua, ItalienUNSPECIFIED
Castellini, ClaudioClaudio.Castellini (at) dlr.dehttps://orcid.org/0000-0002-7346-2180
Date:2019
Journal or Publication Title:IEEE Transactions on Neural Systems and Rehabilitation Engineering
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:Yes
Volume:27
DOI :10.1109/TNSRE.2019.2893152
Page Range:pp. 564-571
Publisher:IEEE - Institute of Electrical and Electronics Engineers
ISSN:1534-4320
Status:Published
Keywords:myocontrol. formal verification, prosthetics
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):Vorhaben Intelligente Mobilität
Location: Oberpfaffenhofen
Institutes and Institutions:Institute of Robotics and Mechatronics (since 2013) > Cognitive Robotics
Deposited By: Castellini, Dr. Claudio
Deposited On:15 Apr 2019 09:58
Last Modified:31 Jul 2019 20:24

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.