Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"University of Manchester" +contributor:("Navarro Lopez, Eva"). Showing records 1 – 3 of 3 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Manchester

1. Gómez, Miguel. Plasticity in reproductive behaviours as a response to ecological changes.

Degree: 2018, University of Manchester

The thesis presented here utilizes a variety of methods and study systems to address how ecological promote plasticity in reproductive behaviours. We study mate choice, copulation and parental care as the different reproductive behaviours, as they can be envisioned as representatives of different stages of the reproductive cycle and can be subject to different selection pressures. With the use of computer simulations we study the conditions of sex ratio and cost of courting under which a learned mate preference in males or in both sexes can evolve. We found that for males, maternal imprinting is the most advantageous imprinting strategy, but when both sexes imprint, paternal imprinting in both sexes is the most advantageous strategy. We show that environmental change can lead to the evolution of sexual imprinting by both sexes. A study using mesocosm and mating trial experiments, measuring female survival and male mating success was used to study the role of intra- and interspecific interactions in mating behaviour (competition and harassment) in Calopteryx splendens. We showed that intense intraspecific male-male competition reduces harassment over females and increases female survival. On the other side, interspecific reproductive interference can reduce male mating success and can increase female survival. Finally, theory on the use of social learning was tested using Drosophila melanogaster oviposition site choice. We show that fruit flies use social learning more after they experience heterogeneous environments. However, our results suggest that the use of social learning was driven by fruit flies signalling more when they experience heterogeneous environments, instead of driven by copying others decisions, as theoretical predictions suggest. We also show that the use of social learning is an innate trait, opening the opportunity for the study of the genomic basis of social learning. Advisors/Committee Members: NAVARRO LOPEZ, EVA EM, Gilman, Tucker, Navarro Lopez, Eva.

Subjects/Keywords: sexual selection; plasticity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gómez, M. (2018). Plasticity in reproductive behaviours as a response to ecological changes. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:315700

Chicago Manual of Style (16th Edition):

Gómez, Miguel. “Plasticity in reproductive behaviours as a response to ecological changes.” 2018. Doctoral Dissertation, University of Manchester. Accessed October 23, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:315700.

MLA Handbook (7th Edition):

Gómez, Miguel. “Plasticity in reproductive behaviours as a response to ecological changes.” 2018. Web. 23 Oct 2019.

Vancouver:

Gómez M. Plasticity in reproductive behaviours as a response to ecological changes. [Internet] [Doctoral dissertation]. University of Manchester; 2018. [cited 2019 Oct 23]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:315700.

Council of Science Editors:

Gómez M. Plasticity in reproductive behaviours as a response to ecological changes. [Doctoral Dissertation]. University of Manchester; 2018. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:315700

2. Carter, Rebekah. Verification of Liveness Properties on Hybrid Dynamical Systems.

Degree: 2013, University of Manchester

A hybrid dynamical system is a mathematical model for a part of the real world where discrete and continuous parts interact with each other. Typically such systems are complex, and it is difficult to know how they will behave for general parameters and initial conditions. However, the method of formal verification gives us the ability to prove automatically that certain behaviour does or does not happen for a range of parameters in a system. The challenge is then to define suitable methods for proving properties on hybrid systems.This thesis looks at using formal verification for proving liveness properties on hybrid systems: a liveness property says that something good eventually happens in the system. This work presents the theoretical background and practical application of various methods for proving and disproving inevitability properties (a type of liveness) in different classes of hybrid systems. The methods combine knowledge of dynamical behaviour of a system with the brute-force approach of model checking, in order to make the most of the benefits of both sides. The work on proving liveness properties is based on abstraction of dynamical systems to timed automata. This thesis explores the limits of a pre-defined abstraction method, adds some dynamical knowledge to the method, and shows that this improvement makes liveness properties provable in certain continuous dynamical systems. The limits are then pushed further to see how this method can be used for piecewise-continuous dynamical systems. The resulting algorithms are implemented for both classes of systems.In order to disprove liveness properties in hybrid systems a novel framework is proposed, using a new property called deadness. Deadness is a dynamically-aware property of the hybrid system which, if true, disproves the liveness property by means of a finite execution: we usually require an infinite execution to disprove a liveness property. An algorithm is proposed which uses dynamical properties of hybrid systems to derive deadness properties automatically, and the implementation of this algorithm is discussed and applied to a simplified model of an oilwell drillstring. Advisors/Committee Members: Navarro Lopez, Eva.

Subjects/Keywords: Hybrid systems; Formal verification; Liveness

…all executions reach L . . . . . . . . 172 9 10 Abstract The University of Manchester… …the “Copyright”) and s/he has given The University of Manchester certain rights to use… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Carter, R. (2013). Verification of Liveness Properties on Hybrid Dynamical Systems. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:199162

Chicago Manual of Style (16th Edition):

Carter, Rebekah. “Verification of Liveness Properties on Hybrid Dynamical Systems.” 2013. Doctoral Dissertation, University of Manchester. Accessed October 23, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:199162.

MLA Handbook (7th Edition):

Carter, Rebekah. “Verification of Liveness Properties on Hybrid Dynamical Systems.” 2013. Web. 23 Oct 2019.

Vancouver:

Carter R. Verification of Liveness Properties on Hybrid Dynamical Systems. [Internet] [Doctoral dissertation]. University of Manchester; 2013. [cited 2019 Oct 23]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:199162.

Council of Science Editors:

Carter R. Verification of Liveness Properties on Hybrid Dynamical Systems. [Doctoral Dissertation]. University of Manchester; 2013. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:199162


University of Manchester

3. Karalis, Paschalis. STABILITY AND STABILISATION OF SWITCHING AND HYBRID DISSIPATIVE SYSTEMS.

Degree: 2018, University of Manchester

A method is proposed to infer stability properties for non-linear switching under continuous state feedback. Continuous-time systems which are dissipative in the multiple storage function sense are considered. A partition of the state space, induced by the cross-supply rates and the feedback function, is used to derive a restriction on switching. Then, conditions are proposed, under which, systems controlled by the feedback function and switching according to the rule are stable. In particular, Lyapunov and asymptotic stability are proved, both in a local and in a global context. Further, it is shown that the approach can be extended when one uses multiple controllers, and, therefore, is able to construct multiple partitions; conditions for this case are also presented. Finally, it is shown that, for the switching families that satisfy the switching rule posited by the results, one is able to find elements (that is, stabilising switching laws for the system) which are non-Zeno. Additional rule-sets that allow this are provided. It is argued that the conditions proposed here are easier to verify and apply, and that they offer additional flexibility when compared to those proposed by other approaches in the literature. The same infrastructure is used in the study of hybrid systems. For a general class of non-linear hybrid systems, a new property is proposed, that retains some of the properties of dissipativity, but it differs from it, crucially in the fact that it is not purely input-output. For systems having this property, it is shown that the partition used in the switching case can also be used. This, along with a set of conditions allows for the characterisation of the system behaviour in two scenaria. First, when the continuous behaviours and the jumping scheme act co-operatively, leading the system to lower energy levels (from the dissipativity point of view). Second, when the continuous behaviours are allowed to increase the stored energy, but the jumping is able to 6 compensate this increase. In the first case, it is shown that the equilibrium point under study is stable; in the second, it is shown that the system exhibits a type of attractivity, and, under additional conditions, it is asymptotically stable. Besides stability, a collection of stabilisation results are given for the case of dissipative switching systems. It is shown that one may design state feedback functions (controllers) with the objective that they satisfy the conditions of the stability theorems in this work. Then, systems under the designed controllers are shown to be stable, provided that the switching adheres to a specific switching rule. This problem is approached using a variety of tools taken from analysis, multi-valued functions and the space of non-switching stabilisation. In addition to the main results, an extensive overview of the literature in the area of switching and hybrid systems is offered, with emphasis on the topics of stability and dissipativity. Finally, a collection of numerical examples are given, validating the… Advisors/Committee Members: SAKELLARIOU, RIZOS R, Navarro Lopez, Eva, Sakellariou, Rizos.

Subjects/Keywords: Hybrid Systems; Switching Systems; Dissipativity; Stability; Feedback

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Karalis, P. (2018). STABILITY AND STABILISATION OF SWITCHING AND HYBRID DISSIPATIVE SYSTEMS. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:316883

Chicago Manual of Style (16th Edition):

Karalis, Paschalis. “STABILITY AND STABILISATION OF SWITCHING AND HYBRID DISSIPATIVE SYSTEMS.” 2018. Doctoral Dissertation, University of Manchester. Accessed October 23, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:316883.

MLA Handbook (7th Edition):

Karalis, Paschalis. “STABILITY AND STABILISATION OF SWITCHING AND HYBRID DISSIPATIVE SYSTEMS.” 2018. Web. 23 Oct 2019.

Vancouver:

Karalis P. STABILITY AND STABILISATION OF SWITCHING AND HYBRID DISSIPATIVE SYSTEMS. [Internet] [Doctoral dissertation]. University of Manchester; 2018. [cited 2019 Oct 23]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:316883.

Council of Science Editors:

Karalis P. STABILITY AND STABILISATION OF SWITCHING AND HYBRID DISSIPATIVE SYSTEMS. [Doctoral Dissertation]. University of Manchester; 2018. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:316883

.