Dejanira Araiza Illan
Dejanira Araiza Illan
ARTC
Vahvistettu sähköpostiosoite verkkotunnuksessa artc.a-star.edu.sg
Nimike
Viittaukset
Viittaukset
Vuosi
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
292014
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
182020
Coverage-Driven Verification
D Araiza-Illan, D Western, A Pipe, K Eder
Hardware and Software: Verification and Testing, 69-84, 2015
172015
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
152016
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
102017
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
102015
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
92015
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
72015
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
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
42019
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
42017
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
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
42016
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
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
32017
Bio-inspired autonomous navigation and escape from pursuers with potential functions
D Araiza-Illan, T Dodd
Advances in Autonomous Robotics, 84-95, 2012
32012
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
22016
Towards the Specification of Adaptive Robotic Systems
J Morse, D Araiza-Illan, J Lawry, K Eder
arXiv preprint arXiv:1603.01082, 2016
22016
A neuro-fuzzy controller for collaborative applications in robotics using LabVIEW
HE Ponce, D Araiza, P Ponce
Applied Computational Intelligence and Soft Computing 2009, 5, 2009
22009
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
12016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20