214 citations
- University of OsloNO22 papers
- Forschungszentrum JülichDE16 papers
- Instituto Nacional de Pesquisas EspaciaisBR10 papers
- Jülich Aachen Research AllianceDE10 papers
- Petersburg Nuclear Physics InstituteRU10 papers
- Norwegian University of Science and TechnologyNO9 papers
- RWTH Aachen UniversityDE8 papers
- University of California, RiversideUS8 papers
- Simula Research LaboratoryNO7 papers
- SINTEFNO6 papers
- Karlsruhe Institute of TechnologyDE5 papers
- The University of Texas at AustinUS5 papers
8 papers · 1 filter
Revisiting Formal Methods for Autonomous Robots: A Structured Survey
Atef Azaiez, David A. Anisi, Marie Farrell +1
This paper presents the initial results from our structured literature review on applications of Formal Methods (FM) to Robotic Autonomous Systems (RAS). We describe our structured…
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…
Robotics in Elderly Healthcare: A Review of 20 Recent Research Projects
Weria Khaksar, Diana Saplacan, Lee Andrew Bygrave +1
Studies show dramatic increase in elderly population of Western Europe over the next few decades, which will put pressure on healthcare systems. Measures must be taken to meet thes…
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…