Dejanira Araiza Illan
Dejanira Araiza Illan
Johnson & Johnson
Ei vahvistettua sähköpostiosoitetta
Nimike
Viittaukset
Viittaukset
Vuosi
A corroborative approach to verification and validation of human–robot teams
M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe
The International Journal of Robotics Research 39 (1), 73-99, 2020
342020
Formal verification of control systems' properties with theorem proving
D Araiza-Illan, K Eder, A Richards
2014 UKACC International Conference on Control (CONTROL), 244-249, 2014
332014
Coverage-Driven Verification
D Araiza-Illan, D Western, A Pipe, K Eder
Hardware and Software: Verification and Testing, 69-84, 2015
242015
Intelligent agent-based stimulation for testing robotic software in human-robot interactions
D Araiza-Illan, AG Pipe, K Eder
Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 9-16, 2016
192016
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
D Araiza-Illan, D Western, A Pipe, K Eder
arXiv preprint arXiv:1511.01354, 2015
182015
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker
S Sarkar, D Araiza-Illan, K Eder
arXiv preprint arXiv:1703.02335, 2017
122017
Verification of control systems implemented in simulink with assertion checks and theorem proving: a case study
D Araiza-Illan, K Eder, A Richards
2015 European Control Conference (ECC), 2670-2675, 2015
112015
Adaptive proportional–integral controller using OLE for process control for industrial applications
MA Paz, TA Ramirez-delReal, SC Garibo, D Araiza-Illan, ...
International Journal of Advanced Robotic Systems 14 (5), 1729881417728467, 2017
82017
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
L Antuña, D Araiza-Illan, S Campos, K Eder
Conference Towards Autonomous Robotic Systems, 26-37, 2015
82015
A fuzzy approach to qualification in design exploration for autonomous robots and systems
J Morse, D Araiza-Illan, K Eder, J Lawry, A Richards
Fuzzy Systems (FUZZ-IEEE), 2017 IEEE International Conference on, 1-6, 2017
62017
Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming
D Araiza-Illan, A De San Bernabe, F Hongchao, LY Shin
2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI …, 2019
52019
An Assurance-based Approach to Verification and Validation of Human--Robot Teams
M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe
arXiv preprint arXiv:1608.07403, 2016
52016
Formal Specification and Analysis of Autonomous Systems under Partial Compliance
J Morse, D Araiza-Illan, J Lawry, A Richards, K Eder
arXiv preprint arXiv:1603.01082, 2016
52016
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
D Araiza-Illan, AG Pipe, K Eder
arXiv preprint arXiv:1609.08439, 2016
42016
Bio-inspired autonomous navigation and escape from pursuers with potential functions
D Araiza-Illan, T Dodd
Advances in Autonomous Robotics, 84-95, 2012
42012
Biologically inspired controller for the autonomous navigation of a mobile robot in an evasion task
D Araiza-Illan, T Dodd
World Academy of Science, Engineering and Technology 68, 780-785, 2010
42010
Safe and Trustworthy Human-Robot Interaction
D Araiza-Illan, K Eder
Humanoid Robotics: A Reference, 2397-2419, 2019
32019
A formal approach to analysing requirements conformance in adaptive systems
J Morse, D Araiza-Illan, J Lawry, A Richards, K Eder
arXiv preprint arXiv:1606.01077, 2016
32016
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions
D Araiza-Illan, T Pipe, K Eder
arXiv preprint arXiv:1603.00656, 2016
32016
Dynamic Regions to Enhance Safety in Human-Robot Interactions
D Araiza-Illan, A de San Bernabe Clemente
IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018
22018
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20