Publications
For a current list of publications relating to research at YRL can be found through this simple search, or by going to relevant academic's publications pages.
A list of selected past publications covering robotics research at York can be found below.
2018
| ARDebug: An augmented reality tool for analysing and debugging swarm robotic systems, Millard, A. G., Redpath, R., Jewers, A., Arndt, C., Joyce, R., Hilder, J. A., McDaid, L. J. & Halliday, D. M.
Article in Frontiers Robotics AI |
|
| Exploring Self Repair in a Coupled Spiking Astrocyte Neural Network, Liu, J., McDaid, L., Harkin, J., Karim, S., Johnson, A. P., Millard, A. G., Hilder, J. A., Halliday, D. M., Tyrrell, A. M. & Timmis, J. I.,
Article in IEEE Transactions on Neural Networks and Learning Systems |
2017
|
Automatic Property Checking of Robotic Applications |
|
| Fault-tolerant Learning in Spiking Astrocyte-Neural Networks on FPGAs. Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M. In 31st International Conference on VLSI Design (VLSID 2018) & 17th International Conference on Embedded Systems (ES 2018). | |
| Modelling and Verification of Timed Robotic Controllers. Ribeiro, P., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J. In LNCS Integrated Formal Methods | |
| Homeostatic Fault Tolerance in Spiking Neural Networks: A Dynamic Hardware Perspective. Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M. In IEEE Transactions on Circuits and Systems | |
|
Towards fault diagnosis in robot swarms: An online behaviour characterisation approach. O’Keeffe, J., Tarapore, D., Millard, A. G. & Timmis, J. 20 Jul 2017. In Towards Autonomous Robotic Systems - 18th Annual Conference, TAROS 2017. |
|
| The Pi-puck extension board: a Raspberry Pi interface for the e-puck robot platform. Millard, A. G., Joyce, R. A., Hilder, J. A., Fleseriu, C., Newbrook, L., Li, W., McDaid, L. & Halliday, D. M. In 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017) | |
| Evolving Test Environments to Identify Faults in Swarm Robotics Algorithms. Wei, H., Timmis, J. I. & Alexander, R. D. |
2016
| From formalised state machines to implementation of robotic controllers. Li, W., Miyazawa, A. H., Ribeiro, P., Cavalcanti, A. L. C., Woodcock, J. & Timmis, J. I. In International Conference on Distributed Autonomous Robotic Systems. | |
| Turing learning: A metric-free approach to inferring behavior and its application to swarms. Li, W., Gauci, M. & Gross, R. Article in Swarm Intelligence | |
| The Psi Swarm: A low-cost robotics platform and its use in an education setting. Hilder, J. A., Horsefield, A., Millard, A. G. & Timmis, J. I. In Towards Autonomous Robotics Systems . Springer, Vol. 9716, p. 158-164 7 p. | |
| An Immune-Inspired Swarm Aggregation Algorithm for Self-Healing Swarm Robotic System. Timmis, J. I., Ismail, A. R. B., Bjerknes, J. D. & Winfield, A. Article in Biosystems | |
|
Dynamic task partitioning for foraging robot swarms. Buchanan, E., Pomfret, A. & Timmis, J. In Lecture Notes in Computer Science vol. 9882 LNCS. |
|
| How do Different Encodings Influence the Performance of the MAP-Elites Algorithm? Tarapore, D. S., Cully, A., Clune, J. & Mouret, J-B. | |
| Introducing a 3D physics simulation plugin for the ARGoS robot simulator. Redpath, R., Timmis, J. & Trefzer, M. A. In Lecture Notes in Computer Science vol. 9716 | |
|
Many hands make light work: A case study in swarm robotics. Timmis, J. In Lecture Notes in Computer Science vol. 9726 |
2014
| Statistical Hypothesis Testing for Chemical Detection in Changing Environments. Ladi, A., Timmis, J., Tyrrell, A., Hickey, P. In IEEE Symposium Series on Computational Intelligence (SSCI) 2014. | |
| A Low-cost Real-Time Tracking Infrastructure for Ground-based Robot Swarms. Millard, A.G., Hilder, J.A., Winfield, A. F. T. & Timmis, J. In proceedings of 9th International ANTS Conference, Springer. |  |
| Guided Structure Formation Using Modular E-pucks. Hristov, G., Millard, A. G., Hilder, J. A., Timmis, J. In proceedings of 2014 International Conference on Intelligent Robots and Systems (IROS): Workshop on Swarm and Modular Robotics. | |
| Run-time Detection of Faults in Autonomous Mobile Robots Based on the Comparison of Simulated and Real Robot Behaviour. Millard, A. G., Timmis, J. & Winfield, A. F. T. In proceedings of 2014 International Conference on Intelligent Robots and Systems (IROS) | |
| The Relay Chain: A Scalable Dynamic Communication link between an Exploratory Underwater Shoal and a Surface Vehicle. Naylor, R. F., Read, M. N., Timmis, J., Tyrrell, A. In Internation Conference on Artifical Life (ALIFE) 2014. MIT Press. | |
| Swarm Robotics in the Studio. Timmis, J., Berumen, E., Clark, E. B., Erdem, H., Haworth, B., Muhammed, A., Mohammedshahid, M., Nambiar, K., Parmar, M., Hilder, J. A. and Sharpe, T. | |
| The Pi-Swarm: A low-cost platform for swarm robotics research and education. Hilder, J. A., Naylor, R. F., Rizihs, A., Franks, D. W. & Timmis, J. Advances in Autonomous Robotics Systems, LNAI 8717. LNCS, Springer. | |
| Hardware architecture of the Protein Processing Associative Memory and the effects if dimensionality and quantisation on performance. Qadir, O., Lenz, A., Tempesti, G., Timmis, J., Pipe, T. and Tyrrell, A. Genetic Programming and Evolvable Machines, Sep. 2014, Volume 15, Issue 3, pp 245-274. | |
2013
| Modular self-assembling and self-reconfiguring e-pucks. Murray, L. J., Timmis, J. & Tyrrell, A. Swarm Intelligence, September 2013, Volume 7, Issue 2-3, pp 83-113. Springer. | |
| Adaptive Robotic Gait control using coupled Artificial Signalling Networks, Hopf Oscillators and Inverse Kinematics. Fuente, L. A., Lones, M. A., Turner, A. P., Caves, L., Stepney, S. & Tyrrell, A. In proceedings on IEEE Congress on Evolutionary Computation (CEC) 2013. | |
| Immune-inspired Error Detection for Multiple Faulty Robots in Swarm Robotics. Lau, H., Bate, I. J. & Timmis, J. In proceedings of 2013 Proceedings of the European Conference on Artifial Life (ALIFE). MIT Press. | |
| The Receptor Density Algorithm. Owens, N., Greensted, A. J., Timmis, J., Tyrrell, A. Theoretical Computer Science, Volume 481, pp 51073 - 51096. Elsevier. | |
| The Triangle of Life. Eiben, G., Hoodendoorn, M., Bredeche, N., Stradner, J., Timmis, J., Tyrrell, A., Winfield, A.F.T. In proceedings of 2013 Proceedings of the European Conference on Artifial Life (ALIFE). MIT Press. | |
2012
| Chemical Agent Detection using the Receptor Density Algorithm. Hilder, J. A., Owens, N. D. L, Hickey, P., Cairns, S., Neal, M., Kilgour, D., Timmis, J. & Tyrrell, A. IEEE Transactions on Systems, Man and Cybernetics Part C, Volume 42, Number 6, pp 1730-1741. | |
2011
| Adaptive data-driven error detection in swarm robotic systems with statistical classifiers. Lau, H., Bate, I. J., Cairns, P. A., Timmis, J. Robotics and Autonomous Systems, 2011, Number 12, Volume 59, pp 1021-1035. Elsevier. | |
| The Protein Processor Associative Memory on a Robotic Hand-Eye Coordination Task. Qadir, O., Timmis, J., Tempesti, G., Tyrrell, A. In proceedings of 6th International ICST Conference on Bio-Inspired Models of Networks, Information and Computing Systems (BIONETICS) 2011. | |
| Analysing the Reliability of a Self-reconfigurable Modular Robotic System. Murray, L. J., Liu, W., Winfield, A., Timmis, J., Tyrrell, A. In proceedings of 6th International ICST Conference on Bio-Inspired Models of Networks, Information and Computing Systems (BIONETICS) 2011. | |
| Collective Monitoring to Achieve Self-Detection of Errors in Swarm Robotics. Lau, H., Timmis, J., Bate, I. J. Lecture Notes in Computer Science, Volume 6826, pp 254-267. | |
| Process-Oriented Subsumption Architecture for Swarm-Robotic Systems. Posso, J., Sampson, A. T., Simpson, J., Timmis, J. Computer Process Architectures, Volume 68. | |
2010
| The Diagnostic Dendritic Cell Algorithm for Robotics Systems. Bi, R., Timmis, J., Tyrrell, A. In proceedings of 2010 IEEE Congress on Evolutionary Computation (CEC), pp 4280-4287. | |
| An Artiticial Immune System for Robot Organisms. Timmis, J., Tyrrell, A., Mokhtar, M., Ismail, A., Owens, N., Bi, R. Symbiotic Multi-Robot Organisms, pp 268-288. Springer | |
| A Neural-Endocrine Architecture for Foraging in Swarm Robotic Systems. Timmis, J., Murray, L., Neal, M. | |
| Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics. Owen, J., Stepney, S., Timmis, J. & Winfield, A. F. T. | |
| On Homeostatis in Collective Robotic Systems. Timmis, J., Tyrrell, A. M. | |
| On Artificial Immune Systems and Swarm Intelligence. Timmis, J., Andrews, P. S., Hart, E. Swarm Intellingence, Number 4, Volume 4, pp 247-273. | |
| Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation. Ismail, A. R., Timmis, J. | |
| A Modified Dendritic Cell Algorithm for On-line Error Detection in Robotic Systems. Mokhtar, M., Bi, R., Timmis, J., Tyrrell, A. M. In proceedings of 11th IEEE Congress on Evolutionary Computation (CEC) 2009. | |
| Anomaly Detection Inspired by Immune Network Theory: A Proposal. Lau, H. K., Timmis, J., Bate, I. In proceedings of 11th IEEE Congress on Evolutionary Computation (CEC) 2009. | |
| An Immuno-engineering Approach for Anomaly Detection in Swarm Robtoics. Lau, H. K., Bate, I., Timmis, J. In proceedings of Artificial Immune Systems, 2009, pp 136-150, LNCS Volume 5666. |