Hybrid dynamical systems, cyber-physical systems,
complex systems and artificial intelligence
Detecting shifts in metropolitan structure: a spatial network perspective. H. Odell, E.M. Navarro-López, N. Pinto, I. Deas. Environment and Planning B: Urban Analytics and City Science, 2022.
A dynamical model for the oscillatory basal ganglia-thalamo-cortical activity and its implications in Parkinson’s disease. E.M. Navarro-López, U. Celikok, N.S. Sengör. Cognitive Neurodynamics, 2020.
Communities of software: using tensor decompositions to compare software ecosystems. O. Blanthorn, C. Caine, E.M. Navarro-López. Applied Network Science, vol. 4, article number: 120, 2019.
Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties . E.M. Navarro-López, M. O'Toole. Mathematical and Computer Modelling of Dynamical Systems, vol. 24, pp. 44-75, 2018.
Deadness and how to disprove liveness in hybrid dynamical systems. E.M. Navarro-López, R. Carter. Theoretical Computer Science, vol, 642, pp. 1-23, 2016.
The coevolution of sexual imprinting by males and females. M. Gómez, E.M. Navarro-López, T. Gilman. Ecology and Evolution, vol. 6, pp. 7113–7125, 2016.
Group and total dissipativity and stability of multi-equilibria hybrid automata. E.M. Navarro-López, D.S. Laila. IEEE Transactions on Automatic Control, vol. 58(12), pp. 3196-3202, 2013.
Hybrid automata: An insight into the discrete abstraction of discontinuous systems. E.M. Navarro-López, R. Carter. International Journal of Systems Science. Special issue on Variable Structure Systems Methods for Control and Observation of Hybrid Systems, vol. 42(11), pp. 1883-1898, 2011.
Towards l2-stability of discrete-time reset control systems via dissipativity theory. J. Carrasco, E.M. Navarro-López. Systems & Control Letters, vol. 62, pp. 525-530, 2013.
A feature-based ontology for cyber-physical systems. B. Tekinerdogan, R. Mittal, R. Al-Ali, M. Iacono, E.M. Navarro-López, S. Bandyopadhyay, K. Vanherpen, A. Barisic, K. Taveter. In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems. Elsevier, pp. 45-65, chapter 3, 2021.
Approximated stability analysis of bi-Modal hybrid co-simulation scenarios. C. Gomes, P. Karalis, E.M. Navarro-López, H. Vangheluwe. In Proceedings of the 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), (September 4-8, 2017, Trento, Italy), Lecture Notes in Computer Science (LNCS), vol 10729 . Editors: A. Cerone and M. Roveri., pp. 301-346, 2018.
Hybrid systems neuroscience. E.M. Navarro-López, U. Celikok, N.S. Sengör. In Closed-Loop Neuroscience. Editor: Ahmed El Hady (Princeton Neuroscience Institute). ISBN: 0128026413, 9780128026410, Academic Press, pp. 113-129, chapter 9, 2016.
DYVERSE: From formal verification to biologically-inspired real-time self-organizing systems. E.M. Navarro-López. In Computation for Humanity - Information Technology to Advance Society. Editors: Pieter J. Mosterman, Justyna Zander. ISBN-10:1439883270, CRC Press/Taylor & Francis. Chapter 12, pp. 345-360, 2013.
What makes the control of discontinuous dynamical systems so complex? E.M. Navarro-López. In Mathematical Problems in Engineering, Aerospace and Sciences, An International Series of Scientific Monographs and Text Books, pp. 237–252. Editor: S. Sivasundaram. An International Series of Scientific Monographs and Text Books, Cambridge Scientific Publishers, UK, 2013. ISBN: 978-1-908106-30-8.
Dynamically-driven timed automaton abstractions for proving liveness of continuous systems. R. Carter, E.M. Navarro-López. In Proceedings of the 10th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2012, (London, UK, September 18-22, 2012). LNCS 7595, pp. 59-74, Springer-Verlag.
Controller parameters selection through bifurcation analysis in a piecewise-smooth system. E.M. Navarro-López, D. Cortés. In Proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, (Pisa, Italy, April, 2007), Lecture Notes in Computer Science, vol. 4416 (A. Bemporad, A. Bicchi, and G. Buttazzo, Eds.), Springer-Verlag, Berlin, pp. 736-740, 2007. ISBN: 978-3-540-71492-7. ISSN: 0302-9743.
Towards an interpretable model for automatic classification of endoscopy images. R. García-Aguirre, L. Torres-Treviño, E.M. Navarro-López, A. González-González. 21st Mexican International Conference on Artificial Intelligence (MICAI 2022), (Monterrey, Mexico, 24-29 October, 2022). Lecture Notes in Artificial Intelligence (LNAI), vol. 13612 (O. Pichardo Lagunas et al., Eds), Springer, pp. 297-307, 2022. Selected to receive the Best Paper Award.
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. Organised by EU-funded project AI4LABOUR. University of Wolverhampton, 20th July, 2022.
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).
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.
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).
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.
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.
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.
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).
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).
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).
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.
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.
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.
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.
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.
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.
Papers available at arXiv and bioRxiv:
A computational model describing the interplay of basal ganglia and subcortical background oscillations during working memory processes . U. Celikok, E.M. Navarro-López, N.S. Sengör. Full version available at arXiv.org. Paper identifier: arXiv:1601.07740 [q-bio.NC].
The transcription factor basal regulatory network of Homo Sapiens and Saccharomyces Cerevisiae: uncovering the relationship between topology and phenotype. J.L. Hernández, A. Brass, E.M. Navarro-López.. Available at bioRxiv. DOI: https://doi.org/10.1101/669697.
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. Available at arXiv.org. Paper identifier: arXiv:2009.04505 [math.DS].
Developed software packages for automated verification (selected):
DeadRegions Toolbox, with R. Carter.
proveByTA Toolbox, with R. Carter.
PWproveByTA Toolbox, with R. Carter.
DyverseRBT (Dyverse Rigid Body Toolbox), with M. O'Toole.
DyverseBMC (Dyverse Bounded Model Checker), with M. O'Toole.
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.
The Dancing Numbers Game (Mezzin' Around in the Classroom). E.M. Navarro-López. E-book Wellness Activities for your Students, chapter 42. IE Global Counselors Academy, IE University, 2020.
Universidad y Sociedad: ¿Responsabilidades Olvidadas? (University and Society: Forgotten Responsabilities?). E.M. Navarro-López, C. Villarroel González. Ingeniare. Revista Chilena de Ingeniería, 19(2), 2011. ISSN: 0718-3291.
La Naturaleza, las Matemáticas, la Ingeniería y el Caos (Nature, Mathematics, Engineering and Chaos). E.M. Navarro-López. Ingeniare. Revista Chilena de Ingeniería, vol. 18(1), pp. 2-4, 2010. ISSN: 0718-3291.