52 citations · 248 across the 14 of their papers we have counts for
14 papers
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker
Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder
To design trustworthy robots, we need to understand the impact factors of trust: people's attitudes, experience, and characteristics; the robot's physical design, reliability, and…
Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
Safety in autonomous systems has been mostly studied from a human-centered perspective. Besides the loads they may carry, autonomous systems are also valuable property, and self-pr…
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Robotic code needs to be verified to ensure its safety and functional correctness, especially when the robot is interacting with people. Testing real code in simulation is a viable…
A Corroborative Approach to Verification and Validation of Human--Robot Teams
Matt Webster, David Western, Dejanira Araiza-Illan +4
We present an approach for the verification and validation (V&V) of robot assistants in the context of human-robot interactions (HRI), to demonstrate their trustworthiness through…
A Fuzzy Approach to Qualification in Design Exploration for Autonomous Robots and Systems
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry +2
Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false) of these requirement…
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
The challenges of robotic software testing extend beyond conventional software testing. Valid, realistic and interesting tests need to be generated for multiple programs and hardwa…
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions
Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder
The software of robotic assistants needs to be verified, to ensure its safety and functional correctness. Testing in simulation allows a high degree of realism in the verification.…
Formal Specification and Analysis of Autonomous Systems under Partial Compliance
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry +2
The widespread adoption of autonomous systems depends on providing guarantees of safety and functional correctness, at both design time and runtime. Information about the extent to…
Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink
Dejanira Araiza-Illan, Kerstin Eder
This paper examines the verification of stability, a control requirement, over discrete control systems represented as Simulink diagrams, using different model checking approaches…
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Dejanira Araiza-Illan, David Western, Anthony G. Pipe +1
Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic sy…
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
Dejanira Araiza-Illan, David Western, Anthony Pipe +1
Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their…
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
Laura Antuña, Dejanira Araiza-Illan, Sérgio Campos +1
The emergent global behaviours of robotic swarms are important to achieve their navigation task goals. These emergent behaviours can be verified to assess their correctness, throug…
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
This paper presents the verification of control systems implemented in Simulink. The goal is to ensure that high-level requirements on control performance, like stability, are sati…
Formal Verification of Control Systems Properties with Theorem Proving
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
This paper presents the deductive formal verification of high-level properties of control systems with theorem proving, using the Why3 tool. Properties that can be verified with th…