Eva M. Navarro-López

According to our database, Eva M. Navarro-López authored at least 19 papers between 2001 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Novel Hybrid Automaton Framework for Multi-Phase Epidemic Modelling.

Eva M. Navarro-López, Nurdan Çabukoglu

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

Stability of Planar Switched Systems under Delayed Event Detection.

Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Evolution of communities of software: using tensor decompositions to compare software ecosystems.

Oliver A. Blanthorn, Colin M. Caine, Eva M. Navarro-López

Appl. Netw. Sci., 2019

2017

Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios.

Cláudio Gomes, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe

Proceedings of the Software Engineering and Formal Methods, 2017

2016

Deadness and how to disprove liveness in hybrid dynamical systems.

Eva M. Navarro-López, Rebekah Carter

Theor. Comput. Sci., 2016

2014

DYVERSE: From Formal Verification to Biologically Inspired Real-Time Self-Organizing Systems.

Eva M. Navarro-López

Proceedings of the Computation for Humanity - Information Technology to Advance Society., 2014

2013

Group and Total Dissipativity and Stability of Multi-Equilibria Hybrid Automata.

Eva M. Navarro-López, Dina Shona Laila

IEEE Trans. Autom. Control., 2013

Towards <i>ℓ</i>₂ℓ2-stability of discrete-time reset control systems via dissipativity theory.

Joaquín Carrasco, Eva M. Navarro-López

Syst. Control. Lett., 2013

2012

Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.

Rebekah Carter, Eva M. Navarro-López

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

A Hybrid Automaton for a Class of Multi-Contact Rigid-Body Systems with Friction and Impacts.

Michael D. O'Toole, Eva M. Navarro-López

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Hybrid automata: an insight into the discrete abstraction of discontinuous systems.

Eva M. Navarro-López, Rebekah Carter

Int. J. Syst. Sci., 2011

Speed-gradient inverse optimal control for discrete-time nonlinear systems.

Fernando Ornelas-Tellez, Edgar N. Sánchez, Alexander G. Loukianov, Eva M. Navarro-López

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Combining passivity and classical frequency-domain methods: An insight into decentralised control.

Eva M. Navarro-López, Eduardo Licéaga-Castro

Appl. Math. Comput., 2010

2009

Hybrid-automaton models for simulating systems with sliding motion: still a challenge.

Eva M. Navarro-López

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2007

Local feedback passivation of nonlinear discrete-time systems through the speed-gradient algorithm.

Eva M. Navarro-López

Autom., 2007

Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System.

Eva M. Navarro-López, Domingo Cortés

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Sliding-mode control of a multi-DOF oilwell drillstring with stick-slip oscillations.

Eva M. Navarro-López, Domingo Cortés

Proceedings of the American Control Conference, 2007

2004

Feedback passivity of nonlinear discrete-time systems with direct input-output link^,.

Eva M. Navarro-López, Enric Fossas-Colet

Autom., 2004

2001

Stabilization of the variable-length pendulum.

Eva M. Navarro-López, Enric Fossas-Colet

Proceedings of the 6th European Control Conference, 2001