172 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of BergenNO8 papers
- Johannes Gutenberg University MainzDE5 papers
- Agder ResearchNO4 papers
- Norwegian University of Life SciencesNO4 papers
- Norwegian University of Science and TechnologyNO4 papers
- University of MinnesotaUS4 papers
- University of OsloNO4 papers
- University of YorkGB4 papers
- Baylor UniversityUS3 papers
- Brown UniversityUS3 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- National Institute for AstrophysicsIT3 papers
6 papers · 1 filter
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
Mustafa Adam, Kangfeng Ye, David A. Anisi +3
Continued adoption of agricultural robots postulates the farmer's trust in the reliability, robustness and safety of the new technology. This motivates our work on safety assurance…
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
Mustafa Adam, David A. Anisi, Pedro Ribeiro
Autonomous robots deployed in shared human environments, such as agricultural settings, require rigorous safety assurance to meet both functional reliability and regulatory complia…
Model Checking and Verification of Synchronisation Properties of Cobot Welding
Yvonne Murray, Henrik Nordlie, David A. Anisi +2
This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must…
Safety assurance of an industrial robotic control system using hardware/software co-verification
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro +2
As a general trend in industrial robotics, an increasing number of safety functions are being developed or re-engineered to be handled in software rather than by physical hardware…
Compliance error compensation technique for parallel robots composed of non-perfect serial chains
Alexandr Klimchik, Anatol Pashkevich, Damien Chablat +1
The paper presents the compliance errors compensation technique for over-constrained parallel manipulators under external and internal loadings. This technique is based on the non-…
Compensation of compliance errors in parallel manipulators composed of non-perfect kinematic chains
Alexandr Klimchik, Anatoly Pashkevich, Damien Chablat +1
The paper is devoted to the compliance errors compensation for parallel manipulators under external loading. Proposed approach is based on the non-linear stiffness modeling and red…