Please contact me for a copy of my papers, if you cannot access them online, Dejanira (dot) Araizaillan (at) bristol (dot) ac (dot) uk.

**Accepted and published:**

J. Morse, **D. Araiza-Illan**, J. Lawry, A. Richards and K. Eder. "A Fuzzy Approach to Qualification in Design Exploration for Autonomous Robots and Systems". (To appear) International Conference on Fuzzy Systems (FUZZY-IEEE) 2017. arXiv:1606.01077

S. Chui, **D. Araiza-Illan** and K. Eder. "Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats". (To appear) Towards Robotic Autonomous Systems (TAROS) 2017. arXiv:1702.06756

**D. Araiza-Illan**, A.G. Pipe and K. Eder. "Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions". Third Workshop on Model-Driven Robot Software Engineering (MORSE) 2016, pp. 9-16. arXiv:1604.05508

**D. Araiza-Illan**, D. Western, A.G. Pipe and K. Eder. "Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions. Towards Robotic Autonomous Systems (TAROS) 2016, LNCS volume 9716, pp. 20-32. arXiv:1511.01354

** D. Araiza-Illan**, D. Western, A.G. Pipe and K. Eder. "Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans". Haifa Verification Conference (HVC) 2015, LNCS Volume 9434, pp. 1-16. arXiv:1509.04852

L. Antuna, **D. Araiza-Illan**, S. Campos and K. Eder. "Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms". Towards Autonomous Robotic Systems (TAROS) 2015, LNAI Volume 9287, 2015, pp. 26-37. arXiv:1505.05695

**D. Araiza-Illan**, K. Eder and A. Richards. "Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study". Proceedings of European Control Conference (ECC) 2015, pp. 2670-2675. arXiv:1505.05699

**D. Araiza-Illan**, K. Eder and A. Richards. "Formal Verification of Control Systems Properties with Theorem Proving". Proceedings of UKACC International Conference on Control (CONTROL) 2014, pp. 247-252. arXiv:1405.7615

**D. Araiza-Illan** and T.J. Dodd. "Bio-inspired Autonomous Navigation and Escape from Pursuers with Potential Functions". Advances in Autonomous Robotics (TAROS 2012). LNCS Volume 7429, 2012, pp. 84-95.

**D. Araiza-Illan** and T.J. Dodd. "Biologically Inspired Controller for the Autonomous Navigation of a Mobile Robot in an Evasion Task". WASET Vol. 4, No. 8, 2010.

H.E. Ponce, **D. Araiza**, P. Ponce. "A Neuro-Fuzzy Controller for Collaborative Applications in Robotics Using LabVIEW". Applied Computational Intelligence and Soft Computing Volume 2009 (2009), Article ID 657095, 9 pages.

P. Ponce, J. Acosta, **D. Araiza**, R. Fernandez, M. Paz, F. Pontecorvo, C. Duenas, F. Sampe. "Controlador de Velocidad para un Variador de Voltaje/Frecuencia Altivar 16". Reunion de Verano en Potencia, IEEE Seccion Mexico, 2006.

**Unpublished: **

J. Morse, **D. Araiza-Illan**, J. Lawry, A. Richards and K. Eder. "A formal approach to analysing requirements conformance in adaptive systems". arXiv:1606.01077

J. Morse, **D. Araiza-Illan**, J. Lawry and K. Eder. "Towards the Specification of Adaptive Robotic Systems". arXiv:1603.01082

**D. Araiza-Illan**, K. Eder. Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink. arXiv:1511.00412

**Under review: **

M. Webster, D. Western, **D. Araiza-Illan**, C. Dixon, K. Eder, M. Fisher, A.G. Pipe. An Assurance-based Approach to Verification and Validation of Human-Robot Teams. arXiv:1608.07403

**Related software and examples in Github:**

- Verification of Simulink diagrams with automatic theorem proving and assertion checks in simulation
- Falsification and counterexample finding for controllers as Simulink diagrams
- Testbench components for software coverage-driven verification, and robotic simulator of BERT2 robot in ROS-Gazebo and a human in an object handover task, and a table assembly task