Hybrid dynamical systems, cyber-physical systems and complex systems
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-driven 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. In An Ontological Foundation for Understanding Multi-Paradigm Modeling for Cyber-Physical Systems. Elsevier, pp. 45-65, chapter 3, 2020.
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.
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.
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.
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).
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].
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. London, 24th November, 2010. This was the seed of the idea for the company Locomizer.
Would you like that we work together?
Contact me at email@example.com