Eva M. Navarro-López

21 papers C 1Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2021 — conf
A Novel Hybrid Automaton Framework for Multi-Phase Epidemic Modelling.
ANNSIM
Eva M. Navarro-López, Nurdan Çabukoglu
2020 — conf
Stability of Planar Switched Systems under Delayed Event Detection.
CDC
Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe
2020 J jnl
Stability of Planar Switched Systems under Delayed Event Detection.
CoRR
Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe
2019 J jnl
Evolution of communities of software: using tensor decompositions to compare software ecosystems.
Appl. Netw. Sci.
Oliver A. Blanthorn, Colin M. Caine, Eva M. Navarro-López
2017 — conf
Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios.
SEFM Workshops
Cláudio Gomes, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe
2016 J jnl
Deadness and how to disprove liveness in hybrid dynamical systems.
Theor. Comput. Sci.
Eva M. Navarro-López, Rebekah Carter
2014 — ch.
DYVERSE: From Formal Verification to Biologically Inspired Real-Time Self-Organizing Systems.
Computation for Humanity
Eva M. Navarro-López
2013 J jnl
Group and Total Dissipativity and Stability of Multi-Equilibria Hybrid Automata.
IEEE Trans. Autom. Control.
Eva M. Navarro-López, Dina Shona Laila
2013 J jnl
Towards
Syst. Control. Lett.
Joaquín Carrasco, Eva M. Navarro-López
2012 — conf
A Hybrid Automaton for a Class of Multi-Contact Rigid-Body Systems with Friction and Impacts.
ADHS
Michael D. O'Toole, Eva M. Navarro-López
2012 — conf
Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.
FORMATS
Rebekah Carter, Eva M. Navarro-López
2011 J jnl
Hybrid automata: an insight into the discrete abstraction of discontinuous systems.
Int. J. Syst. Sci.
Eva M. Navarro-López, Rebekah Carter
2011 — conf
Speed-gradient inverse optimal control for discrete-time nonlinear systems.
CDC/ECC
Fernando Ornelas-Tellez, Edgar N. Sánchez, Alexander G. Loukianov, Eva M. Navarro-López
2010 J jnl
Combining passivity and classical frequency-domain methods: An insight into decentralised control.
Appl. Math. Comput.
Eva M. Navarro-López, Eduardo Licéaga-Castro
2009 — conf
Hybrid-automaton models for simulating systems with sliding motion: still a challenge.
ADHS
Eva M. Navarro-López
2007 — conf
Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System.
HSCC
Eva M. Navarro-López, Domingo Cortés
2007 J jnl
Local feedback passivation of nonlinear discrete-time systems through the speed-gradient algorithm.
Autom.
Eva M. Navarro-López
2007 C conf
Sliding-mode control of a multi-DOF oilwell drillstring with stick-slip oscillations.
ACC
Eva M. Navarro-López, Domingo Cortés
2005 — conf
D-OSKIL: a New Mechanism for Suppressing Stick-Slip in Oil Well Drillstrings.
CDC/ECC
Carlos Canudas-de-Wit, Miguel A. Corchero, Francisco R. Rubio, Eva M. Navarro-López
2004 J jnl
Feedback passivity of nonlinear discrete-time systems with direct input-output link
Autom.
Eva M. Navarro-López, Enric Fossas-Colet
2001 — conf
Stabilization of the variable-length pendulum.
ECC
Eva M. Navarro-López, Enric Fossas-Colet