Tell a friend
Print
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]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
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: |
| ||||||||||||||||||||
| 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 System Technology | ||||||||||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||||||||||
| DLR - Program: | R SY - Space System Technology | ||||||||||||||||||||
| DLR - Research theme (Project): | Vorhaben Intelligente Mobilität (old) | ||||||||||||||||||||
| 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: | 28 Jun 2023 13:56 |
Repository Staff Only: item control page
