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.
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
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