Int. J. Robotics Appl. Technol.最新文献_第5页

A Non-Linear Stiffness Model for Serial and Parallel Manipulators 串联并联机械臂的非线性刚度模型

Int. J. Robotics Appl. Technol. Pub Date : 1900-01-01 DOI: 10.4018/IJRAT.2017010103

Manoj Kumar

引用次数: 0

Current Work in the Human-Machine Interface for Ergonomic Intervention with Exoskeletons 外骨骼人体工程学干预人机界面的研究现状

Int. J. Robotics Appl. Technol. Pub Date : 1900-01-01 DOI: 10.4018/IJRAT.2017010101

T. Schnieders, R. Stone

引用次数: 8

Runtime Verification on Robotics Systems 机器人系统的运行时验证

Int. J. Robotics Appl. Technol. Pub Date : 1900-01-01 DOI: 10.4018/IJRAT.2015010102

Zhijiang Dong, Yujian Fu, Yue Fu

{"title":"Runtime Verification on Robotics Systems","authors":"Zhijiang Dong, Yujian Fu, Yue Fu","doi":"10.4018/IJRAT.2015010102","DOIUrl":"https://doi.org/10.4018/IJRAT.2015010102","url":null,"abstract":"Runtime verification is a technique for generating monitors from formal specification of expected behaviors for the underlying system. It can be applied to automatically evaluate system execution, either on-line or off-line, analyzing extracted execution traces; or it can be used online during operation, potentially steering the application back to a safety region if a property is violated. As a so-called light-weighted formal method, runtime verification bridges the gap between system design and implementation and shorten the distance of software quality assurance between the software testing and model checking and theorem proving. Runtime verification is considered as a highly scalable and automatic technique. Most of current runtime verification research are endeavored on the program context, in other words, on the program side and falls in the implementation level. These applications limited the benefits of runtime verification that bridges the gap among types of applications. With the proliferation of embedded systems and mobile device, dynamically verifying the firmware and mobile apps becomes a new emerging area. Due to the characteristics of runtime verification technique and limitations of the robotics systems, so far, very few research and project are located in the runtime verification on the firmware of embedded systems, which appear in most of robotics systems. Robotics systems are programmed on the firmware and only observed on device. In this paper, the authors first discussed the current runtime verifications on the embedded systems with limitations. After that, a layered runtime verification framework will be presented for the firmware verification. The case study is applied on the commonly recognized educational toolkit – LEGO Mindstorm robotics systems. Runtime Verification on Robotics Systems","PeriodicalId":249760,"journal":{"name":"Int. J. Robotics Appl. Technol.","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124070758","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

PID, Fuzzy and Model Predictive Control Applied to a Practical Nonlinear Plant PID、模糊和模型预测控制在实际非线性装置中的应用

Int. J. Robotics Appl. Technol. Pub Date : 1900-01-01 DOI: 10.4018/IJRAT.2016010102

K. Borgeest, P. Schneider

引用次数: 0

Towards a Bio-Inspired Theoretical Linguistics to Model Man-Machine Communication 用仿生理论语言学来模拟人机交流

Int. J. Robotics Appl. Technol. Pub Date : 1900-01-01 DOI: 10.4018/ijrat.2013010102

Gemma Bel Enguix, M. Dolores Jiménez-López

引用次数: 5

Formal Modeling and Analysis of Collaborative Humanoid Robotics 协作类人机器人的形式化建模与分析

Int. J. Robotics Appl. Technol. Pub Date : 1900-01-01 DOI: 10.4018/IJRAT.2018010103

Yujian Fu, Zhijiang Dong, Xudong He

引用次数: 0