Hybrid dynamical systems, cyber-physical systems,

complex systems and artificial intelligence

  • Journal papers:

  • Book chapters:

  • Conference papers:

  • Hybrid modelling of a discontinuous dynamical system including switching control. E.M. Navarro-López. 2nd IFAC Conference on Analysis and Control of Chaotic Systems, CHAOS09. Special session on Dynamics of Piecewise Smooth Systems, (London, UK, June, 2009).

  • Hybrid-automaton models for simulating systems with sliding motion: still a challenge. E.M. Navarro-López. 3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, (Zaragoza, Spain, September, 2009) pp. 322-327.

  • Languages spoken by dynamical behaviours: A new approach to hybrid control systems?. E.M. Navarro-López, R. Carter. 13th ACM International Conference on Hybrid Systems: Computation and Control, Cyber-Physical Systems Week 2010, WIP-session, (Stockholm, Sweden, April, 2010).

  • Bringing order to chaos: Hybrid modelling of a discontinuous chaotic systems . E.M. Navarro-López, J.G. Barajas-Ramírez. 2010 11th International Workshop on Variable Structure Systems, VSS 2010, (Ciudad de México, México, June, 2010) pp. 325-330.

  • Abstractions of hybrid systems: formal languages to describe dynamical behaviour. R. Carter, E.M. Navarro-López. 18th IFAC Triennial World Congress, (Milano, Italy, August 31-September 2, 2011) pp. 4552-4557. ISBN: 978-3-902661-93-7.

  • Speed-gradient inverse optimal control for discrete-time nonlinear systems. F. Ornelas, E.N. Sánchez, A.G. Loukianov, E.M. Navarro-López. 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, (Orlando, Florida, USA, December 12-15, 2011) pp. 290--295.

  • Sampled-data adaptive control for a class of nonlinear systems with parametric uncertainties. D.S. Laila, E.M. Navarro-López, A. Astolfi. 18th IFAC Triennial World Congress, (Milano, Italy, August 31-September 2, 2011) pp. 1261-1266. ISBN: 978-3-902661-93-7.

  • Geo-behavioural interest networks. E.M. Navarro-López, A. Poliakov. International Conference on Network Science, NetSci 2011, (Budapest, Hungary, June 6-10, 2011).

  • DYVERSE. Putting together the pieces of the hybrid systems’ jigsaw. E.M. Navarro-López. Howard Barringer’s FestschriftWorkshop (HOWARD-60). Organisers: Prof. Andrei Voronkov. School of Mathematics, The University of Manchester, UK. 20th December, 2011

  • Model checking by abstraction for proving liveness properties of hybrid dynamical systems. R. Carter, E.M. Navarro-López. Automated Reasoning Workshop, (Manchester, UK, April 2-4, 2012) pp. 29-30.

  • A hybrid automaton for a class of multi-contact rigid-body systems with friction and impacts. M. O'Toole, E.M. Navarro-López. 4th IFAC Conference on Analysis and Design of Hybrid Systems, (Eindhoven, The Netherlands, June 6-8, 2012) pp. 299-306.

  • Neuro-DYVERSE: building hybrid systems neuroscience. E.M. Navarro-López. The 10th AIMS Conference on Dynamical Systems, Differential Equations and Applications, (Madrid, Spain, July 7-11, 2014). Special Session Theoretical, Technical, and Experimental Challenges in Closed-loop Approaches in Biology.

  • The interplay of working memory and subcortical background oscillations. U. Celikok, N.S. Sengör, E.M. Navarro-López. Integrated Systems Neuroscience Workshop, (Manchester, UK, March 23-24, 2015).

  • Inhibitory spike-timing-dependent plasticity in striatal microcircuitry. U. Celikok, E.M. Navarro-López, N.S. Sengör. Integrating Hebbian and Homeostatic Plasticity Workshop, The Royal Society, (London, UK, April 19-20, 2016).

  • DYVERSE with Y of dYnamical. E.M. Navarro-López. IV International Symposium of the Society of Spanish Researchers in the United Kingdom (SRUK/CERU), (London, UK, July 9-10, 2016).

  • A single pyramidal-cell and network computational model of the hippocampal CA3 region. U. Celikok, E.M. Navarro-López, N.S. Sengör. 26th Annual Computational Neuroscience Meeting, CNS2017, (Antwerp, Belgium, July 15-20, 2017). BMC Neurosci 2017, vol. 18(1): P236. DOI: 10.1186/s12868-017-0372-1.

  • Feedback stability for dissipative switched systems. P. Karalis, E.M. Navarro-López. 20th IFAC Triennial World Congress, (Toulouse Convention Center, Toulouse, France, July 9-14, 2017) pp. 3497-3503.

  • Coloured graphlet profiles as a predictor of career length in scientific co-authorship networks. O. Blanthorn, E.M. Navarro-López. 4th World Conference on Complex Systems: Emergence, Self-organization, Nonlinear Dynamics and Complexity, (Ouarzazate, Morocco, April 22-25, 2019). ISBN 978-1-7281-1232-9.

  • Tracking the evolution of the English language as a network with temporal clustering. O. Blanthorn, E.M. Navarro-López. Conference on Complex Systems (CCS 2019), (Nanyang Technological University, Singapore, 30 September–4 October, 2019).

  • Stability of planar switched systems under delayed event detection. B. Legat, C. Gomes, P. Karalis, R.M. Jungers, E.M. Navarro-López, H. Vangheluwe. In Proceedings of the 59th IEEE Conference on Decision and Control (CDC), (Jeju Island, Republic of Korea, 14-18 December, 2020), pp. 5792-5797. DOI: 10.1109/CDC42340.2020.9304152.

  • A novel hybrid automaton framework for multi-phase epidemic modelling. E.M. Navarro-López, N. Çabukoglu. In Proceedings of the Annual Modeling and Simulation Conference (ANNSIM'21) of the Society for Modeling & Simulation International, Track Modeling and Simulation in Medicine (MSM), (Fairfax, VA, USA, 19-22 July, 2021).

  • Another 'Women in' event will make no difference: tokenism, privilege and violence in academia, science and technology. E.M. Navarro-López. Workshop on AI and Gender. University of Wolverhampton, 20th July 2022.

  • Papers available at arXiv and bioRxiv:

  • Developed software packages for automated verification (selected):

  • Other:

  • AmicaGeo: Reinventing online dating. A. Poliakov, E.M. Navarro-López, D. McGeady. Business plan that earned a place in the finals of the RCUK Business Plan Competition in London. This was the seed of the idea for the company Locomizer.

  • Educational articles:


Would you like that we work together?