DYVERSE: A New Kind of Control for Hybrid Systems

Lead Research Organisation: University of Manchester
Department Name: Computer Science

Abstract

It might be as simple as jumping on a trampoline, or as sophisticated as the docking of vehicles in outer space; as trivial as playing billiards, or as crucial as maintaining the stability of an airplane during landing; as random as the flow of information in a communication network, or as synchronised as a school of fish swimming in the sea. These are examples of systems that combine continuous and discrete, smooth and abrupt dynamics. In dynamical systems theory, this is called discontinuity or switching behaviour. The systems exhibiting it are called discontinuous, switched, non-smooth or discrete-event systems. Their combined dynamics can be seen as a hybrid dynamical system.What makes the behaviour of hybrid systems so complex? Where does the unpredictable behaviour of these systems come from: from the system itself, or from its environment? Every mathematical model is an approximation of the real world, and is full of limitations. However, some models are better than others at describing the evolution of certain physical and engineering systems. DYVERSE proposes a fresh perspective within the hybrid systems framework, and will provide new insights into the modelling, analysis and control of systems with switching dynamics. Due to the discontinuous changes in states, hybrid systems entail complex behaviours not present in systems that are purely discrete or continuous. These 'complex behaviours' usually lead to faults or dynamics degrading performance. Chaos or mechanical vibrations are examples of these kinds of negative dynamics. Complex behaviours usually have their origin in what in mathematical terms is known as a bifurcation. That is, the point which marks a change. The challenge is to ensure through design that devices behave correctly, eliminating all negative behaviour. The process of checking in an automated way that a system behaves correctly is called 'formal verification' in the theory of computer science; the elimination of negative behaviours falls into the field of control engineering. DYVERSE brings together computer science formal methods, dynamical systems analysis and control engineering methodologies. The research mixes theory and practice and crosses different application domains, which is why the project is quite literally diverse.There has been great success in applying formal verification methods to validate dynamical properties in particular classes of discontinuous systems. However, it is still a challenge to give satisfactory solutions for the verification of complex dynamical behaviours of discontinuous systems, as DYVERSE proposes. One of the main obstacles has been the difficulty of obtaining a computational representation of these complex dynamical properties. Consideration of the changes of the energy of the system is the answer to this problem. But DYVERSE is not only about formal verification: DYVERSE will use the verification results to modify and improve the system behaviour. Furthermore, it will bring new theory into practice.An integral part of the project is that the theoretical results will be experimentally validated in a prototype: a system with impacts and friction. A system with impacts and friction is a discontinuous system because it evolves smoothly until an event (impact/friction) triggers changes in the velocities or position.DYVERSE goes beyond this immediate proposal. It is a long-term research to extend the theoretical results on analysis and control of hybrid systems to complex networks and distributed systems, covering multiple emerging applications from electromechanical systems to transportation and electrical power distribution networks, and from high-confidence healthcare to national security. Have you ever thought about having an automated public transport system in your city, with precise information on bus schedules sent direct to your mobile phone? What about an online system that suggests your next shopping list based on your needs?

Planned Impact

The envisaged impact of DYVERSE is presented here. We conceive the impact as a dynamic process that may change as the research develops. Who will benefit from this research? 1) The academic beneficiaries given in 'Academic Beneficiaries'. DYVERSE will help to develop a critical mass in awareness of hybrid systems, and will create the foundations of a network of proficient multi-disciplinary researchers. 2) Policy-makers related to different government agencies and parliamentary select committees related to Science and Technology. From a more local viewpoint, the Northwest Regional Development Agency is also a target for us. 3) Prospective post-graduate students in computer science, mathematics and control engineering. 4) The UK's competitiveness in energy matters, including public and private sectors. 5) Society in general by means of long-term practical manifestations of hybrid systems in our way of living and welfare. How will they benefit from this research? DYVERSE's impact will be visible for the five groups of potential beneficiaries mentioned above in three different phases: 1) Immediate impact, during the execution of the project and beyond (groups of beneficiaries (1), (2), (3)): 1.1) Impact on DYVERSE team, mainly, on knowledge and career and skills development of the PhD student and the PDRA. 1.2) Impact on Science and Technology-related policy-makers. DYVERSE will generate knowledge to use as advice for the UK's high-priority future needs. 1.3) DYVERSE is seen as a 'hook' for excellent post-graduate students due to its novelty and multi-disciplinary nature. 2) Mid-term impact envisaged as two years and beyond (group (4) of beneficiaries): The Energy Technologies Institute (ETI), bringing together companies and the UK government, could benefit from our mid-term energy-related results. Furthermore, we have to take into account that Manchester plays a strategic role in the UK Northwest region. 3) Long-term impact (group (5) of beneficiaries), envisaged as four years and beyond. Navarro's research aims to break new ground in understanding complex networks (persons or subsystems), with reference to the networks of society, with all their technical, organizational, social, economic and political implications. What will be done to ensure that they benefit from this research? To ensure the widest dissemination and exploitation of DYVERSE's results, we have designed a strategy consisting of five different routes: 1) Publication in leading conferences and journals, targeting new ones dedicated to hybrid systems (Nonlinear Analysis: Hybrid Systems, and the conferences HSCC, ADHS), in addition to relevant journals and conferences in control/applications, that is, Automatica, IEEE TAC, Control Engineering Practice, Triennial IFAC World Congress 2011, and annual IEEE CDC. 2) Presentations to national and international research groups, as well as to industry (see 'Collaborations and Development of Research Career' of the 'Track Record'). Navarro is the representative of the School of Computer Science in the Manchester Energy Initiative of the University of Manchester. 3) A project web site to publicise our theoretical/experimental results and to receive feedback from the scientific community. It will be valuable for the hybrid systems community to make public our results in the experimental prototype. In the future, we could devise a system to make accessible the use of our experimental setup to any researcher that needs the implementation of theoretical results related to the analysis and control of hybrid systems. 4) A workshop in Manchester or a special session in one of the international conferences to attend. 5) With the support of the Public Engagement/Liaison Group of the School of Computer Science in Manchester, Navarro will promote activities to publicise DYVERSE's results to the general public and government agencies.

Publications

10 25 50
 
Description Within DYVERSE, we have made important progress in the modelling, analysis, automated verification and control of nonlinear hybrid systems with real-world applications. Our results have been in 4 main directions: 1) computational reinterpretation of complex dynamical behaviours, 2) formal verification, 3) control synthesis and dynamical analysis, and 4) expansion of DYVERSE findings to complex network systems. Details are given below.

1. Discrete abstraction and computational reinterpretation of complex dynamical behaviours of hybrid systems: we have rewritten in discrete computer science terms - logics, automata - dynamical behaviours like stability patterns and oscillatory dynamical behaviours. In particular:

1.1 Dynamical behaviours and stability patterns have been specified by means of formal languages plus the evolution of the stored and supplied energies of the system. Specifically, systems are modelled by hybrid automata, and omega-languages - that is, infinite word languages - have been used.

1.2 We have proposed a framework to define liveness properties - something good will eventually happen - for hybrid dynamical systems, something that has never been attempted before.

1.3 We have designed algorithms to produce discrete abstractions of continuous-time dynamical systems and a class of hybrid dynamical systems by using timed automata.

1.4 Since liveness properties are complex to verify, we have defined a framework to disprove them. For this purpose, we have proposed a dynamically-aware property which can disprove such liveness properties. We call this property deadness: a concept related to dead states in automata theory. We have shown how important this property can be for proving inevitability properties. An inevitability property says that a region of the state space will eventually be reached: this is a type of liveness property from the computer science viewpoint, and is related to attractivity of sets in dynamical systems.

1.5 We have developed a tool (Dyverse Rigid Body Toolbox, DyverseRBT) to generate automatically a general-purpose transition system for the description of mechanical systems subject to multiple impacts with friction. For this, we have proposed a new class of hybrid automata - which include non-dynamical discrete locations and computation nodes - to abstract and simulate mechanical systems with multiple impacts and friction.

2. Formal verification. That is, to check in a automated way that the system is free of undesirable oscillations and instabilities, and meets the design specifications. We have 3 groups of results:


2.1 To check in an automated way that liveness properties are held in dynamical systems and hybrid systems. This is related to the automated proof of some types of stability patterns in dynamical systems. We have developed two main methods:

- We have designed a model checking-based methodology which uses a discrete abstraction of the system based on timed automata. We have developed two software tools for this purpose: the proveByTA Toolbox and the PWproveByTA package. They have been designed for some classes of continuous-time systems and piecewise linear systems (with no resets), and they are available at http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/

- We have implemented a dynamically-aware verification algorithm to prove inevitability properties in general hybrid dynamical systems modelled as nonlinear hybrid automata. A distinctive characteristic is that we do not require a discrete abstraction of either the system dynamics or the state space - hence, we can treat hybrid automata with any type of continuous dynamics within the discrete locations. The novel idea of our methodology is that the verification procedure is guided by stability-like properties of the equilibria present in the system. This approach uses the idea of deadness. We have developed a toolbox called DeadRegions that creates a dead region on a hybrid automaton for a given inevitability property of reaching some desired live region. It is available at
http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/

2.2 Application-oriented. To check in an automated way that safety properties are held in complex real-world hybrid dynamical systems. Particularly, mechanical systems subject to multiple impacts and friction. For this purpose, we have developed novel bounded-model-checking verification techniques which are based on a lazy SMT (Satisfiability Modulo Theories) approach and optimisation techniques. These techniques are integrated in a software tool called DyverseBMC (Bounded Model Checker).

2.3 In collaboration with the Computer Lab in Cambridge. We have attempted to use the automated theorem prover MetiTarski as a dynamical analyser. We are integrating the use of this powerful theorem prover to analyse some dynamical properties of dynamical systems. Our ambition is to extend MetiTarski to be used with hybrid systems; currently, it can be only used to analyse some types of smooth dynamical systems, with no discontinuities.

3. Control synthesis and dynamical analysis. A key finding of DYVERSE is that for controlling and analysing complex systems, formal verification tools are not enough. It is necessary to combine formal verification techniques with control engineering techniques and dynamical-analysis tools to analyse complex hybrid systems. Our key contribution is the use of stability and energy properties of the system (dissipativity theory) to guide the validity of the process. The powerful, energy-related properties of dissipativity and passivity have been overlooked in the analysis and control of hybrid systems, and have been especially underused in the computational-oriented modelling framework of hybrid automata. One of our key results is that we have redefined dissipativity-related properties in hybrid automata, and have also given new stability definitions for hybrid automata containing multiple isolated equilibrium points.


4. Expansion of DYVERSE findings to complex network systems, especially to systems biology and other applications of life sciences. This is one of the most remarkable outcomes of DYVERSE with great potential for future applications. I highlight the strong branch of DYVERSE in computational neuroscience, called Neuro-DYVERSE.
Exploitation Route The results related to DyverseRBT can be used in automation systems - for example, robotic manipulators subject to impacts and friction - with potential impact in the manufacturing industry.

With our work related to DyverseRBT, we may also have an impact in the simulation industry. A potential user of this technology is MathWorks Inc. We will explore collaborating with them.

The new direction of DYVERSE related to complex network systems has the potential to impact healthcare.

The Naval Engineering School of Madrid has expressed an interest in applying the results of DYVERSE to one of its flagship projects related to marine renewable energy and involving several strong energy European companies.

The results of DYVERSE have potential to be applied in the verification and control of power management of multi-core real-time embedded devices. A potential user would be ARM Ltd.

The new applications of DYVERSE in biodiversity and ecology might have an impact in climate change in the future.

The types of systems that we have been studying in DYVERSE are extremely complex, full of discontinuities and complex unexpected behaviours and transitions. In order to ensure the accessibility of our results for the scientific community and industry, our research has been guided and motivated by real-world systems. Our ambition of delivering novel and applicable theory in several domains has been achieved.


DYVERSE has been the first funded project in the UK dedicated explicitly to the control and formal verification of complex and real-world hybrid dynamical systems. As an EPSRC 2-year First Grant, the research produced within the framework of this project has been put to use through many different manners and has facilitated a perfect platform to strengthened Navarro-Lopez's international standing in hybrid systems, and in the control and verification of complex systems in general. The most outstanding exploitation of DYVERSE ideas is that Navarro is generating a new branch of computational neuroscience (hybrid systems neuroscience) by means of her new framework Neuro-DYVERSE (EPSRC proposal submitted in 2012). Moreover, in collaboration with biologists and ecologists, the results produced in DYVERSE are being applied to study the evolution of sexual imprinting behaviour in animals.

Below, a list of some of the most remarkable achievements of DYVERSE is given. We also give more examples of how the results of DYVERSE have been exploited, and how thanks to this grant, the profile and international standing of its PI have been boosted.


1. Navarro was nominated for the Eni Award 212 in the Section of New Frontiers of Hydrocarbons (Downstream); with the project proposal: 'DYVERSE Energy: Beyond petroleum - putting together the pieces of the energy jigsaw'. Eni is an Italian company with branches around the world dedicated to the production, transportation and transformation of oil and gas. Although Navarro did not get this award, the nomination was a high-profile outcome and publicity within the energy sector.



2. Navarro contributed to the exhibition 'Alan Turing and Life's Enigma' in the Manchester Museum about Alan Turing's morphogenesis. This was related to the expansion of DYVERSE to complex networked systems, and presented the idea of 'biologically-inspired real-time self-organising systems'. From 24th March to 18th November, 2012. Part of the Manchester Science Festival. This exhibition was visited by thousands of people over the year 2012.

3. DYVERSE has produced the first PhD project in the UK dedicated to the verification of liveness properties of hybrid dynamical systems by Rebekah Carter. This thesis was submitted in March 2013 and presented in June 2013. The thesis and software tools developed can be found at http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/



4. Implementation of five pilot software tools that can be used and tested: DyverseRBT (Dyverse Rigid Body Toolbox), DyverseBMC (Dyverse Bounded Model Checker), the proveByTA toolbox (prove by timed automata toolbox), the DeadRegions toolbox and the package PWproveByTA (piece-wise prove by timed automata). These tools are relevant for the following communities: formal verification, mechanical engineering, control engineering, hybrid systems and dynamical systems analysis. For DyverseRBT, we have built several demos under Simulink and Matlab and sent them to several groups of the UK, Europe and the USA (mainly, related to control of discontinuous dynamical systems and systems with impacts and friction). We are also starting a collaboration with MathWorks Inc. to explore the possibilities of DyverseRBT in order to validate different types of models and controllers of discontinuous control systems.



5. EPSRC grant proposal 'Neuro-DYVERSE: Making SpiNNaker a Large-Scale Adaptive Network' (EP/K026275/1, £986,767). 2012. PI: Dr. Eva Navarro-Lopez. CI: Prof. Steve Furber, Dr. David Lester. This grant is the fusion of SpiNNaker - Universal Spiking Neural Network Architecture - and DYVERSE. Although the grant was not awarded, it has been used for other grant proposals that are now under review.



6. Project 'MiBIO: Mining Biodiversity'. PI: Prof. Sophia Ananiadou. CI: Eva Navarro-Lopez, Tucker Gilman. The project started in March 2014 and is funded by AHRC, ESRC, Innovation.ca, Institute of Museum and Library Services, JISC and NEH until September 2015. In this project, the results of DYVERSE were applied to text mining.


7. Award of one of the projects within the scheme 'Investing in Success' from The University of Manchester to ensure the impact of the project DYVERSE. Amount: £11,896, which is an RA 4-month salary for Dr. Michael O'Toole. June 2012.



8. Award of an EPSRC Doctoral Prize in collaboration with the Manchester Interdisciplinary Biocentre and co-supervised with Prof. Pedro Mendes. Carried out by Dr. Benjamin Small. Project: 'Can discrete and continuous dynamics represent biochemical signalling networks?' November 2011-October 2012.



9. Award of one of the 4-year PhD studentships within The University of Manchester BBSRC Doctoral Training Partnership (DTP). Project: 'The evolution of sexual imprinting behaviour'. Supervisors: Dr. Tucker Gilman (Faculty of Life Sciences, Manchester), Dr. Eva M. Navarro-Lopez. Collaboration with Prof. Erik Svensson from the Department of Experimental Evolution, Ecology, and Behavior (Lund University, Sweden). This project will apply the hybrid-system modelling and analysis framework produced in DYVERSE to study the evolution of sexual imprinting behaviour in animals. Student: Miguel Angel Gomez Llano. These studentships are hard to get. Period: from September 2013 to September 2017.


10. Based on the worked developed in DYVERSE and in Navarro's track record in hybrid systems, the UK Automatic Control Council nominated Navarro to be a member of the following IFAC Technical Committees:

10.1 IFAC Technical Committee of Discrete Event and Hybrid Systems. Navarro is one of the only five representatives of the UK in this international committee. This is the international body that oversees research on hybrid systems and organises all major related events worldwide. Member since January 2012.



10.2 IFAC Technical Committee of Biological and Medical Systems. This is the international body that oversees research on control applied to biological and medical systems worldwide. Member since January 2012.



11. Proposal of 8 PhD projects (available at the School of Computer Science, Manchester), 3 MSc projects and one 3rd-year project in progress, all derived from the ideas of the DYVERSE project.



12. Proposal of the special issue 'Analytical Approaches to Nonlinear Hybrid and Switched Dynamic Systems' within the journal Nonlinear Analysis: Hybrid Systems, the only international journal dedicated to hybrid systems.



13. Navarro is member of the International Programme Committee of the most recent and important conferences and workshops on hybrid systems.



14. Under the project DYVERSE, a network of international collaborations has been created.



15. Furthermore, and even with more impact, we are giving invited talks and research seminars in relevant departments across the UK, Europe and the USA to publicise and attract more collaborators to our growing DYVERSE network of collaborators. Every visit produces new thoughts, ideas and applications.



16. With our findings in the analysis of real-world hybrid systems, we are providing a corpus of problems and applications to shape new developments in the automated theorem prover MetiTarski of the Computer Laboratory in Cambridge.



17. We have also worked very closely with the Advanced Processor Technologies Group in Manchester, and the SpiNNaker project.



18. Navarro was invited to participate in the inaugural MathWorks Research Faculty Summit. The general objective of the summit was to provide a forum for academia and industry to explore the latest research and technology results and directions in "Design Automation". It was held in June 2013 at the Newton Marriott in Newton, Massachusetts (USA). This is a direct outcome of the results of DYVERSE, showing the international/industrial potential impact of our research. Navarro gave an invited talk during this summit with the title 'Computational tools are advancing life sciences' summing up the potential impact of DYVERSE in life sciences.


19. Membership of other international committees:

19.1 Membership of the IEEE-CSS Technical Committee on Power Generation Control (Renewable Energy Generation). Navarro is one of the only two representatives of the UK in this international committee. Since January 2011.

19.2 Navarro served as a member/founder of the 1st ACM-Women Europe Board within the ACM Europe Council. From 2012 to 2014.

20. Navarro is the UK representative to the management committee of the newly-formed European COST Action 'Multi-Paradigm Modelling for Cyber-Physical Systems'. Since May 2014.
Sectors Digital/Communication/Information Technologies (including Software),Electronics,Energy,Environment,Healthcare,Other

URL http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/
 
Description DYVERSE has provided new insights into the modelling, analysis and control of systems with switching dynamics and complex behaviours. Within DYVERSE, I have made progress in the modelling, automated verification - mainly, model checking techniques - and control of nonlinear hybrid systems with real-world applications (for example, mechanical systems with impacts and friction, ecological systems, cell interactions, power converters, smart grids, and cyber-physical systems). There are publications, a fruitful network of collaborations, grants proposal, invited talks, PhD projects, and public engagement activities that have come out of this project, and have impacted in several scientific communities and also in industry sectors. It is remarkable the impact of DYVERSE in ecology (one PhD proposal funded by BBSRC and one grant proposal as Co-PI) and in computational neuroscience (two research grant proposals under review and many other activities). Thanks to DYVERSE project, which can be considered as the first UK-funded project explicitly dedicated to the control and verification of nonlinear hybrid systems, the profile and international standing of its PI have been boosted. This project has allowed Navarro-Lopez to get a name in the international arena of research in hybrid systems, and this is primarily proven by being appointed as member of the following international research committees: - Member of the management committee of the newly-formed European COST Action "Multi-Paradigm Modelling for Cyber-Physical Systems". Since May 2014. This is one of the few networks of cyber-physical systems in Europe. - Member of the IFAC Technical Committee of Discrete Event and Hybrid Systems. Navarro is one of the only five representatives of the UK in this international committee. This is the international body that oversees research on hybrid systems and organises all major related events worldwide. Since January 2012. - Member of the IFAC Technical Committee of Biological and Medical Systems. This is the international body that oversees research on control applied to biological and medical systems worldwide. Since January 2012. - Member of the IEEE-CSS Technical Committee on Power Generation Control (Renewable Energy Generation). Navarro is one of the only two representatives of the UK in this international committee. Since January 2011. I have provided a list of examples of what I mentioned above and of how the results of the grant have been used in a wide range of activities and applications in the section 'RCUK Key Findings'
First Year Of Impact 2011
Sector Digital/Communication/Information Technologies (including Software),Education,Energy,Healthcare,Other
Impact Types Cultural

 
Description Invitation to the "EPSRC Systems Science through to Engineering Workshop"
Geographic Reach National 
Policy Influence Type Participation in a national consultation
 
Description UK representative to the management committee of a recently-founded European COST Action IC1404 "Multi-ParadigmModelling for Cyber-Physical Systems" (MPM4CPS)
Geographic Reach Asia 
Policy Influence Type Participation in advisory committee
URL http://www.cost.eu/COST_Actions/ict/Actions/IC1404
 
Description 4-year PhD Studentship. The University of Manchester BBSRC Doctoral Training Partnership (DTP)
Amount £90,000 (GBP)
Organisation Biotechnology and Biological Sciences Research Council (BBSRC) 
Sector Public
Country United Kingdom
Start 09/2013 
End 09/2017
 
Description DYVERSE. Scheme Investing in Success of The University of Manchester
Amount £11,896 (GBP)
Organisation University of Manchester 
Sector Academic/University
Country United Kingdom
Start 06/2012 
End 10/2012
 
Description EPSRC Doctoral Prize in collaboration with the Manchester Interdisciplinary Biocentre. Awarded to Dr. Benjamin Small. Project: "Can discrete and continuous dynamics represent biochemical signalling networks?"
Amount £24,000 (GBP)
Organisation Engineering and Physical Sciences Research Council (EPSRC) 
Sector Academic/University
Country United Kingdom
Start 11/2011 
End 10/2012
 
Description Project MiBIO: Mining Biodiversity
Amount £150,000 (GBP)
Organisation Innovation.ca 
Sector Public
Country Canada
Start 03/2014 
End 09/2015
 
Description Attendance to the UK Neuroinformatics Node meeting 
Organisation International Neuroinformatics Coordinating Facility
Department UK Neuroinformatics Node
Country United Kingdom 
Sector Academic/University 
PI Contribution Eva Navarro attended the workshop "UK Neuroinformatics: From Computational Models to Engineering and Cognition" in Manchester from 29 to 20 November 2011. This was a great opportunity to liaise with all the groups in the country working in Neuroinformatics, and it was an excellent opportunity to publitise the project DYVERSE and the importance of bringing DYVERSE's results to the Neuroinformatics' community. This is related to the impact plan of DYVERSE project, and the use of DYVERSE results in the modelling of neuronal networks.
Collaborator Contribution They shared the last research in the area of neuroscience
Impact A sound collaboration with Prof. Neslihan Sengor, the Head of the Computational Neuroscience Group at Istanbul Technical University. She has been part of two grant proposals that I have made: one to EPSRC in 2012, and another to The Leverhulme Trust in 2014.
Start Year 2011
 
Description Collaboration with Dr. Dina Shona Laila (Imperial College-University of Southampton) 
Organisation University of Southampton
Country United Kingdom 
Sector Academic/University 
PI Contribution The collaboration with Dr. Laila is related to the formalisation of energy-related properties in hybrid automata.
Collaborator Contribution The collaboration with Dr. Laila is related to the formalisation of energy-related properties in hybrid automata.
Impact Two papers. Please see publications. This collaboration is multi-disciplinary: control engineering, computer science, applied mathematics.
Start Year 2010
 
Description Collaboration with Dr. Eduardo Liceaga-Castro 
Organisation Autonomous University of Nuevo León
Country Mexico 
Sector Academic/University 
PI Contribution This collaboration is related to the analysis and control of discontinuous mechanical systems. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution This collaboration is related to the analysis and control of discontinuous mechanical systems. This is part of the impact plan of the DYVERSE project.
Impact One paper. Please, see list of publications.
Start Year 2010
 
Description Collaboration with Dr. Fernando Ornelas-Tellez (Universidad Michoacana de San Nicolás de Hidalgo, México) 
Organisation Michoacan University of Saint Nicholas of Hidalgo
Country Mexico 
Sector Academic/University 
PI Contribution This is related to the results of control of DYVERSE. I provided with expertise in energy concepts and energy-based control in nonlinear systems.
Collaborator Contribution Dr. Ornelas contributed with his expertise in energy-based control in nonlinear systems.
Impact We have two papers together. This is part of the impact plan of the DYVERSE project. This is a multi-disciplinary collaboration: control engineering, computer science.
Start Year 2010
 
Description Collaboration with Dr. Joaquín Carrasco (The University of Manchester) 
Organisation University of Manchester
Country United Kingdom 
Sector Academic/University 
PI Contribution This collaboration is related to the formalisation of dissipativity properties of hybrid systems, in particular, in reset control systems. Dr. Carrasco is part of the Control Systems Centre, School of Electrical and Electronic Engineering in The University of Manchester.
Collaborator Contribution This collaboration is related to the formalisation of dissipativity properties of hybrid systems, in particular, in reset control systems. Dr. Carrasco is part of the Control Systems Centre, School of Electrical and Electronic Engineering in The University of Manchester.
Impact One journal paper. This collaboration is multi-disciplinary: control theory, computer science, mathematics.
Start Year 2011
 
Description Collaboration with Ibtissem Ben Makhlouf (Embedded Software Laboratory, RWTH Aachen University, Germany) 
Organisation RWTH Aachen University
Country Germany 
Sector Academic/University 
PI Contribution The group of hybrid systems at The University of Aachen is one of the most important groups of hybrid systems in the world. We have worked together in the verification of hybrid systems. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution The group of hybrid systems at The University of Aachen is one of the most important groups of hybrid systems in the world. We have worked together in the verification of hybrid systems. This is part of the impact plan of the DYVERSE project.
Impact This collaboration is multi-disciplinary: computer science, automated reasoning, control engineering, mathematics, industry applications.
Start Year 2010
 
Description Collaboration with Prof. Alfonso Araque (Instituto Cajal, CSIC, Madrid, Spain and University of Minnesota, USA) 
Organisation Spanish National Research Council (CSIC)
Department Cajal Institute
Country Spain 
Sector Public 
PI Contribution Prof. Araque is a well-reputed neuroscientist. This collaboration is related to Neuro-DYVERSE, the new direction of DYVERSE within neuroscience. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution Prof. Araque is helping me to understand the influence of energy in neuroplasticity (mainly, related to the role of astrocytes in the brain).
Impact Prof. Araque is helping me to build Neuro-DYVERSE, and he was part of the team in a major EPSRC grant proposal in 2012, and in a current grant proposal to the Leverhulme Trust that is under review. This is part of the impact plan of the DYVERSE project. This collaboration is highly multi-disciplinary: computer science, control engineering, network science, applied mathematics, computational neuroscience
Start Year 2012
 
Description Collaboration with Prof. Ernst Niebur (Johns Hopkins University, USA) 
Organisation Johns Hopkins University
Country United States 
Sector Academic/University 
PI Contribution This collaborations is related to Neuro-DYVERSE, the new direction of DYVERSE within neuroscience. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution This collaborations is related to Neuro-DYVERSE, the new direction of DYVERSE within neuroscience. This is part of the impact plan of the DYVERSE project. Prof. Niebur has guided me to understand global dynamical behaviours in the brain, mainly, related to self-organised criticality.
Impact Prof. Niebur is helping me to build Neuro-DYVERSE, and he was part of the team in a major EPSRC grant proposal in 2012, and in a current grant proposal to the Leverhulme Trust that is under review. This is part of the impact plan of the DYVERSE project. This collaboration is highly multi-disciplinary: computer science, control engineering, network science, applied mathematics, computational neuroscience. This collaboration also resulted in an invitation to Eva Navarro to give a talk in the prestigious David Bodian Seminars in Neuroscience. Department of Neuroscience, Johns Hopkins University, Baltimore, USA. 5th June, 2013.
Start Year 2012
 
Description Collaboration with Prof. José Andrés Somolinos Sánchez (UPM, Madrid, Spain) 
Organisation Technical University of Madrid
Country Spain 
Sector Academic/University 
PI Contribution Active collaboration with Escuela Técnica Superior de Ingenieros Navales, Universidad Politécnica de Madrid, UPM, Madrid, Spain.
Collaborator Contribution Dr. Somolinos gave us advice on the models for systems with impacts that my postdoc (Michael O'Toole) and myself designed during the project.
Impact 2 papers. This collaboration is multi-disciplinary: computer science, control engineering, mechanical engineering, mathematics.
Start Year 2010
 
Description Collaboration with Prof. Lawrence Paulson (Computer Lab, Cambridge) 
Organisation University of Cambridge
Country United Kingdom 
Sector Academic/University 
PI Contribution Prof. Lawrence Paulson from the Computer Lab in Cambridge has been collaborating in DYVERSE. I am also collaborating in the EPSRC-project "Automatic proof procedures for polynomials and special functions". The contribution is: exchange of ideas, hours of work of Prof. Paulson, and my own hours in his project making an advisory work. I have been advising PhD students of Prof. Paulson.
Collaborator Contribution Prof. Lawrence Paulson from the Computer Lab in Cambridge has been collaborating in DYVERSE. I am also collaborating in the EPSRC-project "Automatic proof procedures for polynomials and special functions". The contribution is: exchange of ideas, hours of work of Prof. Paulson, and my own hours in his project making an advisory work. Prof. Paulson has been advising my PhD student, Rebekah Carter (part of DYVERSE)
Impact Prof. Paulson was part of the team of my major EPSRC grant proposal of Neuro-DYVERSE in 2012. This collaboration is multi-disciplinary: automated reasoning, control engineering, control theory, hybrid systems, applied mathematics.
Start Year 2010
 
Description Collaboration with Prof. Maryann Martone (University of California at San Diego, USA) 
Organisation University of California, San Diego (UCSD)
Country United States 
Sector Academic/University 
PI Contribution This collaboration is related to Neuro-DYVERSE, the new direction of DYVERSE within neuroscience. Prof. Martone is the coordinator of the International Neuroinformatics Coordinating Facility (INCF), the biggest international network that facilitates data in neuroscience.This is part of the impact plan of the DYVERSE project
Collaborator Contribution This collaboration is related to Neuro-DYVERSE, the new direction of DYVERSE within neuroscience. Prof. Martone is the coordinator of the International Neuroinformatics Coordinating Facility (INCF), the biggest international network that facilitates data in neuroscience.This is part of the impact plan of the DYVERSE project
Impact Prof. Martone was part of the team in a major EPSRC grant proposal in 2012 called Neuro-DYVERSE. This is part of the impact plan of the DYVERSE project. This collaboration is highly multi-disciplinary: computer science, control engineering, network science, applied mathematics, computational neuroscience, information management.
Start Year 2012
 
Description Collaboration with Prof. Neslihan Sengor (Istanbul Technical University) 
Organisation Istanbul Technical University
Country Turkey 
Sector Academic/University 
PI Contribution Eva Navarro is collaborating with Prof. Sengor in the use of DYVERSE project's results in order to improve the models of neuronal networks. Based on the expertise of both Eva Navarro and Prof. Sengor on the study of dissipativity properties of dynamical systems, they aim to use these properties to study the evolution of some brain-related diseases, mainly the ones related with memory. Prof. Sengor is helping me to build Neuro-DYVERSE, and he was part of the team in a major EPSRC grant proposal in 2012, and a current grant proposal to the Leverhulme Trust that is under review. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution Eva Navarro is collaborating with Prof. Sengor in the use of DYVERSE project's results in order to improve the models of neuronal networks. Based on the expertise of both Eva Navarro and Prof. Sengor on the study of dissipativity properties of dynamical systems, they aim to use these properties to study the evolution of some brain-related diseases, mainly the ones related with memory. Prof. Sengor is helping me to build Neuro-DYVERSE, and she was part of the team in a major EPSRC grant proposal in 2012, and in a current grant proposal to the Leverhulme Trust that is under review. This is part of the impact plan of the DYVERSE project.
Impact Please, see the sections above. This collaboration is highly multi-disciplinary: computer science, control engineering, network science, applied mathematics, computational neuroscience
Start Year 2011
 
Description Collaboration with Prof. Pedro Mendes, Chair in Computational Systems Biology in Manchester 
Organisation University of Manchester
Department Manchester Interdisciplinary Biocentre
Country United Kingdom 
Sector Academic/University 
PI Contribution The results of DYVERSE project related to hybrid models and control techniques were applied to the research "Can Discrete and Continuous Dynamics Represent Biochemical Signalling Networks?" carried out by Dr. Benjamin Small. Dr. Small was awarded an EPSRC Doctoral Prize. Prof. Mendes and myself supervised this work, a collaborative work between the School of Computer Science in Manchester and the Manchester Interdisciplinary Biocentre. This is part of what was envisaged as long-term impact of DYVERSE project.
Collaborator Contribution Dr. Small applied the results of DYVERSE project related to hybrid models and control techniques to his research "Can Discrete and Continuous Dynamics Represent Biochemical Signalling Networks?"
Impact This collaboration is multi-disciplinary: computer science, control engineering, biological systems.
Start Year 2011
 
Description Collaboration with Prof. Pieter Mosterman (MathWorks Inc, USA) 
Organisation The Mathworks Ltd
Country United Kingdom 
Sector Private 
PI Contribution This collaboration is related to the simulation, modelling and verification results of DYVERSE. Particularly, the tools DyverseRBT and DyverseBMC. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution This collaboration is related to the simulation, modelling and verification results of DYVERSE. Particularly, the tools DyverseRBT and DyverseBMC. This is part of the impact plan of the DYVERSE project. Prof. Mosterman has guided me and my postdoc (O'Toole), in the possible applications of the pilot software tools in industry.
Impact Prof. Mosterman was part of the team of the major EPSRC proposal of Neuro-DYVERSE in 2012. This collaboration resulted in an invitation to Navarro to participate in the inaugural MathWorks Research Faculty Summit in 2013. The general objective of the summit was to provide a forum for academia and industry to explore the latest research and technology results and directions in "Design Automation". The event fostered discussion among engineers, scientist, and research faculty about challenges and research opportunities for the Design Automation community at large with a particular interest in exploring cross-disciplinary research avenues. It was held in June 2013 in Newton, Massachusetts (USA). Navarro was invited by Prof. Pieter Mosterman from MathWorks, and this is a direct outcome of the results of DYVERSE, showing the international/industrial potential impact of our research. This is a multi-disciplinary collaboration: formal verification, control engineering, mechanical systems, mathematics, industry applications, mechanical engineering.
Start Year 2011
 
Description Collaboration with Prof. Pietro Lio (Computer Lab, Cambridge) 
Organisation University of Cambridge
Country United Kingdom 
Sector Academic/University 
PI Contribution Eva Navarro and Prof. Lio are exploring the possibility of improving the models for predicting the evolution of different types of cancer. Dr. Navarro will bring her expertise in control theory and her results achieved in DYVERSE project related to the modelling of complex hybrid systems and its formal verification.
Collaborator Contribution Eva Navarro and Prof. Lio are exploring the possibility of improving the models for predicting the evolution of different types of cancer. Prof. Lio brings to the collaboration his sound background in stochastic systems, cancer and systems biology.
Impact Thanks to the advice of Prof. Lio, I have designed a PhD project. This collaboration is multi-disciplinary: computer science, control engineering, mathematics, systems biology, medicine
Start Year 2011
 
Description Collaboration with Roberto García Aguilar (EADS-CASA/AIRBUS Military Flight Test Instrumentation, Madrid, Spain) 
Organisation Airbus Group
Department Airbus Spain
Country Spain 
Sector Private 
PI Contribution This collaboration is related to the control of discontinuous mechanical systems.
Collaborator Contribution This collaboration is related to the control of discontinuous mechanical systems.
Impact One journal paper. Please, see list of publications.
Start Year 2010
 
Description Collaboration within Spinnaker project in Manchester 
Organisation University of Manchester
Department School of Computer Science
Country United Kingdom 
Sector Academic/University 
PI Contribution I have established a collaboration with the group led by Prof. Steve Furber, mainly, with Dr. David Lester. We think that the hybrid models, control and formal verification techniques generated in DYVERSE can be used to improve the models of SpiNNaker machine.
Collaborator Contribution Furber and Lester have basically give me contacts for further collaborations.
Impact Furber and Lester were partners in the major grant Neuro-DYVERSE that I submitted to EPSRC in 2012. This collaboration is highly multi-disciplinary: computer science, control engineering, network science, many-core architectures, computer engineering, applied mathematics, computational neuroscience
Start Year 2011
 
Description Collaborations with Dr. Tucker Gilman (Faculty Life Sciences, Manchester) and Prof. Erik Svensson (Lund University, Sweden) 
Organisation Lund University
Country Sweden 
Sector Academic/University 
PI Contribution These collaborations are related to the application of the hybrid-system modelling and analysis framework produced in DYVERSE to study the evolution of sexual imprinting behaviour in animals. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution Tucker Gilman and Prof. Svensson are bringing his knowledge in ecology.
Impact Award of one of the 4-year PhD studentships within The University of Manchester BBSRC Doctoral Training Partnership (DTP). Project: "The evolution of sexual imprinting behavior". Supervisors: Dr. Tucker Gilman (Faculty of Life Sciences, Manchester), Dr. Eva M. Navarro-López. Collaboration with Prof. Erik Svensson from the Department of Experimental Evolution, Ecology, and Behavior (Lund University, Sweden). This project applies the hybrid-system modelling and analysis framework produced in DYVERSE to study the evolution of sexual imprinting behaviour in animals. Student: Miguel Ángel Gómez Llano. These studentships are hard to get due to the high competition. Period: from September 2013 to September 2017. This collaboration is highly multi-disciplinary: control theory, mathematics, computer science, ecology, systems biology, network science.
Start Year 2012
 
Description Collaborations with Dr. Tucker Gilman (Faculty Life Sciences, Manchester) and Prof. Erik Svensson (Lund University, Sweden) 
Organisation University of Manchester
Country United Kingdom 
Sector Academic/University 
PI Contribution These collaborations are related to the application of the hybrid-system modelling and analysis framework produced in DYVERSE to study the evolution of sexual imprinting behaviour in animals. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution Tucker Gilman and Prof. Svensson are bringing his knowledge in ecology.
Impact Award of one of the 4-year PhD studentships within The University of Manchester BBSRC Doctoral Training Partnership (DTP). Project: "The evolution of sexual imprinting behavior". Supervisors: Dr. Tucker Gilman (Faculty of Life Sciences, Manchester), Dr. Eva M. Navarro-López. Collaboration with Prof. Erik Svensson from the Department of Experimental Evolution, Ecology, and Behavior (Lund University, Sweden). This project applies the hybrid-system modelling and analysis framework produced in DYVERSE to study the evolution of sexual imprinting behaviour in animals. Student: Miguel Ángel Gómez Llano. These studentships are hard to get due to the high competition. Period: from September 2013 to September 2017. This collaboration is highly multi-disciplinary: control theory, mathematics, computer science, ecology, systems biology, network science.
Start Year 2012
 
Description Collaborations with Prof. Alexander Loukianov and Prof. Edgar Sánchez (both from CINVESTAV Guadalajara,México) 
Organisation Centre for Research and Advanced Studies of the National Polytechnic Institute (CINVESTAV)
Country Mexico 
Sector Academic/University 
PI Contribution Collaboration related to the part of control of DYVERSE. We have two papers together. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution Collaboration related to the part of control of DYVERSE. We have two papers together. This is part of the impact plan of the DYVERSE project.
Impact 2 papers. See list of publications.
Start Year 2010
 
Description Collaborations with Prof. Ricardo Femat and Dr. Gonzalo Barajas (IPICYT, México) 
Organisation Potosino Institute of Scientific and Technological Research
Country Mexico 
Sector Public 
PI Contribution Prof. Femat and Dr. Barajas are one of the experts in the world in control of complex networks and complex systems in general. This is part of the impact plan of the DYVERSE project.
Collaborator Contribution Prof. Femat and Dr. Barajas are one of the experts in the world in control of complex networks and complex systems in general. This is part of the impact plan of the DYVERSE project. Prof. Barajas and Femat are advising me in the new avenues open by my research in complex networks.
Impact Prof. Femat, Dr. Barajas and me submitted a grant proposal to the Royal Society Research Grants scheme in 2011. This collaboration is multi-disciplinary: control theory, computer science, network science, mathematics, systems biology.
Start Year 2010
 
Title Implementation of a pilot software tool called DeadRegions 
Description The DeadRegions toolbox creates a dead region on a hybrid automaton for a given inevitability property of reaching some desired live region. It is available at http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/ 
Type Of Technology Software 
Year Produced 2012 
Open Source License? Yes  
Impact Nothing to report. 
URL http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/
 
Title Implementation of a pilot software tool called DyverseBMC 
Description DyverseBMC (Dyverse Bounded Model Checker). DyverseBMC is a bounded model checker based on a lazy SMT (Satisfiability Modulo Theories) approach especially designed for verifying safety properties of systems with multiple impacts and friction. DyverseBMC uses the transition system generated by DyverseRBT as the computational semantics of the mechanical system. 
Type Of Technology Software 
Year Produced 2012 
Open Source License? Yes  
Impact Nothing to report. 
 
Title Implementation of a pilot software tool called DyverseRBT 
Description DyverseRBT (Dyverse Rigid Body Toolbox). DyverseRBT generates automatically a general-purpose dynamical transition system - based on a new type of hybrid automata - for the description of mechanical systems subject to multiple impacts with friction. DyverseRBT automatically generates a hybrid automaton - which includes non-dynamical discrete location - and its simulation from a mechanical specification given by the user. The implementation uses S-functions in the Simulink environment of MATLAB. We have built several demos under Simulink and Matlab and sent them to several groups of the UK, Europe and the USA (mainly, related to control of discontinuous dynamical systems and systems with impacts and friction). We also liaised with MathWorks Inc. to explore the possibilities of DyverseRBT to validate different types of models and controllers of discontinuous control systems. 
Type Of Technology Software 
Year Produced 2012 
Open Source License? Yes  
Impact Nothing to report. 
 
Title Implementation of a pilot software tool called PWproveByTA 
Description The package PWproveByTA abstracts a piecewise-linear system of a class of the form dx/dt=Ax to a timed automaton (TA) for proving inevitability (reaching a specified live zone). It then uses the stand-alone prover of TA prover UPPAAL to prove the property. It is available at http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/ 
Type Of Technology Software 
Year Produced 2012 
Open Source License? Yes  
Impact Nothing to report. 
URL http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/
 
Title Implementation of a pilot software tool called proveByTA 
Description proveByTA toolbox (prove by timed automata toolbox). The proveByTA toolbox uses abstraction methods to prove inevitability properties for classes of continuous and hybrid systems (piecewise continuous dynamical systems). The implementation for the piecewise-continuous part involves extra complexities from the interaction of different dynamics. An inevitability property says that a region of the state space will eventually be reached: this is a type of liveness property from the computer science viewpoint, and is related to attractivity of sets in dynamical systems. It is available at http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/ 
Type Of Technology Software 
Year Produced 2012 
Open Source License? Yes  
Impact Nothing to report. 
URL http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/
 
Description Attendance to the Workshop Impact with Friction and the Painlevé Paradox (Michael O'Toole) 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Michael O'Toole attended the workshop of Impact with Friction and the Painlevé Paradox, in the University of Bristol. Dates: 21-22 November, 2011. Organiser: Alan Champneys. Dr. O'Toole interacted with well-reputed experts in the modelling and analysis of mechanical systems with impacts and friction.

Dr. O'Toole interacted with well-reputed experts in the modelling and analysis of mechanical systems with impacts and friction.
Year(s) Of Engagement Activity 2011
 
Description Attendance to the Workshop on Modelling of Multibody Systems (Michael O'Toole) 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Professional Practitioners
Results and Impact Michael O'Toole attended the Workshop on Modelling of Multibody Systems at Imperial College London. Dates: 16-17 November, 2011. Organiser: Simos A. Evangelou

Prof. Roberto Lot from University of Padova delivered a two-day workshop at Imperial College on Modelling of Multibody Systems based on the MBSymba software, which is a collection of methods and procedures for the automatic generation of the equations of motion of multibody systems with Maple.

Networking and raise the profile of Dr. O'Toole. Training.
Year(s) Of Engagement Activity 2011
 
Description CS Distinguished Lecture series at the School of Computing Science, University of Glasgow, Glasgow, Scotland, UK 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Professional Practitioners
Results and Impact Talk "DYVERSE: From formal verification and control to neuroscience". CS Distinguished Lecture series. School of Computing Science, University of Glasgow, Glasgow, Scotland, UK. 23rd June, 2016. This talk opened the possibility of future collaborations with the School of Computing Science in Glasgow in order to apply hybrid systems work developed in DYVERSE to different research conducted within this department.
Year(s) Of Engagement Activity 2016
URL http://staff.cs.manchester.ac.uk/~navarroe/talks/eva_poster.pdf
 
Description Contributor to the exhibition Alan Turing and Life's Enigma in the Manchester Museum about Alan Turing's morphogenesis 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? Yes
Geographic Reach National
Primary Audience Public/other audiences
Results and Impact The new results of DYVERSE related to systems biology were incorporated to the exhibition mentioned in the Manchester Museum. This was related to the expansion of DYVERSE to complex networked systems, and presented the idea of "biologically-inspired real-time self-organising systems". This exhibition run from 24th March to 18th November 2012. It was part of the Manchester Science Festival and received thousands of visitants over year 2012.

This was a great opportunity to publicise the research to an important number of public audience.

It was a very successful exhibition, with many good comments from the public.

Many people in Manchester and around the country knew about my research. Many students (under 18) sent me emails and came to visit me in my office to know more about my research.
Year(s) Of Engagement Activity 2012
 
Description Interview by Google company 
Form Of Engagement Activity A broadcast e.g. TV/radio/film/podcast (other than news/press)
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Undergraduate students
Results and Impact Interview by Google within the series "CS on Air - Women in Engineering" to encourage women into science and engineering. Currently with more than 1,692 views. 12th March, 2013. This is one of the few times that Google has interviewed a woman outside Google.
Year(s) Of Engagement Activity 2013
URL https://tinyurl.com/m4ezh9q
 
Description Invited research seminar at Instituto Cajal (Madrid, Spain) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact "Hybrid systems neuroscience: challenging existing orthodoxy of computational neuroscience". Invited Cajal research seminar. Instituto Cajal, Madrid, Spain. 7th October, 2016.

This talk is part of one of the impact outcomes of DYVERSE and its application to neuroscience. This talk is part of the sabbatical year I am carrying out at Instituto Cajal (one of the most prestigious institutes of neurobiology in the world, founded by the father of neuroscience) and raised the interest of neurobiologists of using hybrid automaton models and verification techniques to better understand the behaviour of brain networks.
Year(s) Of Engagement Activity 2016
URL http://www.cajal.csic.es/
 
Description Invited research seminar at Instituto Tecnologico Autonomo de Mexico (ITAM), Mexico City, D.F., Mexico 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Invited talk "Neuro-DYVERSE... Neuro ¿qué?" ("Neuro-DYVERSE... Neuro what?"). Invited research seminar. Instituto Tecnologico Autonomo de Mexico (ITAM), Mexico City, D.F., Mexico. 16th August, 2016. This talk opened the possibility of future collaborations with ITAM in order to apply hybrid systems work developed in DYVERSE to different research conducted within this university.
Year(s) Of Engagement Activity 2016
 
Description Invited seminar to undergraduate students (Baja California, Mexico) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Undergraduate students
Results and Impact Seminar "Sistemas dinamicos hibridos: cerrando el lazo de control en computacion" ("Hybrid dynamical systems: closing the loop in computer science"). Universidad Autonoma de Baja California, Ensenada, Baja California, Mexico. 8th October, 2015. This talk raised the interest of undergraduate students in hybrid dynamical systems, a field that was unknown to them.
Year(s) Of Engagement Activity 2015
 
Description Invited talk and research seminar at Universidad Autonoma de Madrid, Spain 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Invited talk "Hybrid systems neuroscience: challenging existing orthodoxy of hybrid systems and neuroscience". Invited research seminar. Biological Neurocomputation Group, Computer Science and Engineering Department, Universidad Autonoma de Madrid, Spain. 24th October, 2016. This talk raised the interest of postgraduate students and researchers of the department. There is an intention of using hybrid automata for modelling neural systems they are studying in this department.
Year(s) Of Engagement Activity 2016
 
Description Invited talk at meeting of European COST Action (Malaga, Spain). 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Invited talk "Novel verification paradigms for nonlinear hybrid automata" at the Workshop of Multi-Paradigm Modelling for Cyber-Physical Systems, University of Malaga, Spain. 24-25th November, 2016. This was part of a meeting of the COST Action European "Multi-Paradigm Modelling for Cyber-Physical Systems" (MPM4CPS) funded by the Cooperation in Science and Technology (COST) Association (European Commission). After this talk, some ideas emerged to apply the results of the project DYVERSE to the current work of modelling of complex systems carried out at the University of Antwerp (Belgium) and the University of Wroclaw (Poland).
Year(s) Of Engagement Activity 2016
 
Description Invited talk in conference/meeting (London, UK) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Professional Practitioners
Results and Impact Invited talk "DYVERSE with Y of dYnamical". IV International Symposium of the Society of Spanish Researchers in the United Kingdom (SRUK/CERU). University College London, London, UK, 9th July, 2016. This talk raised the interest of many people in the audience who were not aware of the theory of hybrid dynamical systems and sparked several discussions afterwards.
Year(s) Of Engagement Activity 2016
 
Description Invited talk, research seminar (Instituto Cajal, Madrid, Spain). Title: Hybrid dynamical systems: the control theory of tomorrow. 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Invited research seminar. Neural Rehabilitation Group, Instituto Cajal, Madrid, Spain. 27th February, 2017. Researchers from the Neural Rehabilitation Group were interested to apply my findings in hybrid systems to robots they have in the lab. Potential project participation in the future.
Year(s) Of Engagement Activity 2017
 
Description Invited talk. Computational tools are advancing life sciences 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Invited talk in the Inaugural 2013 MathWorks Research Faculty Summit. Netwon, MA, USA. 3rd June, 2013. This talk summed up the new applications of the results of DYVERSE in life sciences.

The participation to this event was only by invitation, and only around 40 scientist around the world were invited to this event organised by MathWorks.

The general objective of the summit was to provide a forum for academia and industry to explore the latest research and technology results and directions in "Design Automation". The event fostered discussion among engineers, scientist, and research faculty about challenges and research opportunities for the Design Automation community at large with a particular interest in exploring cross-disciplinary research avenues.



My talk generated a lot of controversy, and also enthusiasm in the audience. I made contact with the most important researchers in hybrid systems and design automation in the world. I also have the contacts of managers in the company MathWorks.
Year(s) Of Engagement Activity 2013
 
Description Keynote invited talk in conference (Baja California, Mexico) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Keynote invited talk. "Hybrid systems neuroscience". Encuentro Nacional de Ciencias de la Computación, ENC2015 (Mexican National Congress of Computer Science), Ensenada, Baja California, México. 6th October, 2015. This talk raised the interest of professors, postgraduate and undergraduate students who asked for further information, collaborations and discussions. There was a group of 14-16-year-old students in the audience who were encouraged to pursue a degree in computer science thanks to my talk.
Year(s) Of Engagement Activity 2015
URL http://smcc.mx/
 
Description Member of the IEEE-CSS Technical Committee on Power Generation Control 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Navarro is a member of the IEEE-CSS Technical Committee on Power Generation and Control. She is one of the only two members of the UK within this international committee. This is a unique opportunity to publicise the results of DYVERSE at an international level. Awarding Body - IEEE, Name of Scheme - Technical Committee on Power Generation Control. Since January 2011

This is a unique opportunity to publicise the results of DYVERSE at an international level. Awarding Body - IEEE, Name of Scheme - Technical Committee on Power Generation Control
Year(s) Of Engagement Activity 2011,2012,2013,2014
 
Description Member of the IFAC Technical Committee of Biological and Medical Systems 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Based on the worked developed in DYVERSE and in Navarro's track record in hybrid systems, the UK Automatic Control Council nominated Navarro to be a member of this IFAC Technical Committee. This is the international body that oversees research on control applied to biological and medical systems worldwide. This is a clear recognition of the research done within the project DYVERSE. This nomination is due to the dissemination and impact programme developed by Navarro. Since January 2012.



This is a unique opportunity to publicise the results of DYVERSE at an international level within the control community. It is also an opportunity to influence the future directions of the research in the area. Awarding Body - IFAC, Name of Scheme - IFAC Technical Committee of Biological and Medical Systems
Year(s) Of Engagement Activity 2012,2013,2014
 
Description Member of the IFAC Technical Committee of Discrete Event and Hybrid Systems 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Based on the worked developed in DYVERSE and in Navarro's track record in hybrid systems, the UK Automatic Control Council nominated Navarro to be a member of this IFAC Technical Committee. Navarro is one of the only five representatives of the UK in this international committee. This is the international body that defines the research on hybrid systems and organises all major related events worldwide. Since January 2012.



This is a clear recognition of the research done within the project DYVERSE. This nomination is due to the dissemination and impact programme developed by Navarro. This is a unique opportunity to publicise the results of DYVERSE at an international level within the hybrid-system community.. Awarding Body - IFAC, Name of Scheme - Technical Committee of Discrete Event and Hybrid Systems


This is a unique opportunity to publicise the results of DYVERSE at an international level within the increasingly important hybrid systems community. It is also an opportunity to influence the future directions of the research in the area. Awarding Body - IFAC.
Year(s) Of Engagement Activity 2012,2013,2014
 
Description Member of the International Programme Committee of major workshops and conferences dedicated to the control of hybrid systems and complex systems 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Navarro has been and is member of the International Programme Committee of the folllowing emerging conferences dedicated to the control of hybrid systems and complex systems

(a) 5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2015). Atlanta, USA. 14-16 October, 2015.
(b) 5th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2015). Cancún, México. 25-27. May, 2015.
(d) 4th IFACWorkshop on Dependable Control of Discrete Systems (DCDS 2013). York, UK. September, 2013.
(e) 3rd IFAC Conference on Analysis and Control of Chaotic Systems (CHAOS 2012). Cancún, México. June, 2012.

Increase of international standing in hybrid systems and cyber-physical systems.
Year(s) Of Engagement Activity 2012,2013,2014
 
Description Member/founder of the 1st ACM-Women Europe Board within the ACM Europe Council 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Navarro was appointed by the ACM Europe Council to serve in the executive committee of the 1st ACM-Women Europe. This body is in charge of promoting the work of women in computer science worldwide. This is a unique opportunity to publicise the results of DYVERSE at an international level within the computer science community. Awarding Body - ACM, Name of Scheme - ACM-Women Europe Board.

I am also the 1st ACM-Women Europe Celebrations Leader, the founder of the ACM series of conferences womENcourage in Europe, and the chair of the 1st ACM womENcourage Conference Europe (held in Manchester, March 2014).

This is a unique opportunity to change the course of computer science and increase the number of women in the area.
Year(s) Of Engagement Activity 2012,2013,2014
URL http://womencourage.acm.org/
 
Description Panel discussion at conference (Baja California, Mexico) 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Panel discussion "What is doing research in computer science?". Encuentro Nacional de Ciencias de la Computacion, ENC2015 (Mexican National Congress of Computer Science), Ensenada, Baja California, México. 7th October, 2015. There was an amazing response of 14-16-year-old students who after what I said in the panel and during the dialogue with the audience wanted to be scientists and computer scientists.
Year(s) Of Engagement Activity 2015
URL http://smcc.mx/
 
Description Research seminar. DYVERSE: a new kind of control for hybrid systems 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Professional Practitioners
Results and Impact Invited talk. Department of Automatic Control and Systems Engineering, The University of Sheffield, UK. 21st March, 2012. There were many questions during and after my talk.

I realised how hard is to make a multi-disciplinary research be understood, and how hard is to introduce new theories and ideas in the control engineering community.
Year(s) Of Engagement Activity 2012
 
Description Research seminar. Neuro-DYVERSE: building hybrid systems neuroscience 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact David Bodian Seminars in Neuroscience. Department of Neuroscience, Johns Hopkins University, Baltimore, USA. 5th June, 2013.

This talk summed up the potential impact of DYVERSE in neuroscience, and the new framework that I am building of Neuro-DYVERSE.



The impact of this talk was that one of the best departments of neuroscience in the world recognised the potential impact of the project DYVERSE in neuroscience with its new direction of Neuro-DYVERSE.
Year(s) Of Engagement Activity 2013