Laura Recalde

42 papers B 1C 1Journal 15Unranked 25
YearRankTypeTitle / Venue / Authors
2010 J jnl
Continuous Petri Nets: Expressive Power and Decidability Issues.
Int. J. Found. Comput. Sci.
Laura Recalde, Serge Haddad, Manuel Silva Suárez
2009 J jnl
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets.
Discret. Event Dyn. Syst.
Cristian Mahulea, Laura Recalde, Manuel Silva Suárez
2009 J jnl
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement.
Discret. Event Dyn. Syst.
Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva Suárez
2009 C conf
Observer design for untimed continuous Petri nets.
ACC
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva
2008 — conf
Formal analysis of timed continuous Petri nets.
CDC
Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez
2008 — conf
On Controllability of Timed Continuous Petri Nets.
HSCC
Carlos Renato Vázquez, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez
2008 J jnl
On Observability and Design of Observers inTimed Continuous Petri Net Systems.
IEEE Trans Autom. Sci. Eng.
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
2008 J jnl
Optimal Model Predictive Control of Timed Continuous Petri Nets.
IEEE Trans. Autom. Control.
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
2008 J jnl
Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems.
IEEE Trans Autom. Sci. Eng.
Cristian Mahulea, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez
2008 — conf
Stochastic continuous-state approximation of Markovian Petri net systems.
CDC
Carlos Renato Vázquez, Laura Recalde, Manuel Silva Suárez
2008 J jnl
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics.
Discret. Event Dyn. Syst.
Jing Xu, Laura Recalde, Manuel Silva Suárez
2007 B conf
Continuous Petri Nets: Expressive Power and Decidability Issues.
ATVA
Laura Recalde, Serge Haddad, Manuel Silva Suárez
2007 — conf
State Estimation of Petri Nets by Transformation.
CASE
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
2006 J jnl
Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets.
IEEE Trans. Autom. Control.
Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
2006 — conf
Improving analysis and simulation of continuous Petri Nets.
CASE
Laura Recalde, Cristian Mahulea, Manuel Silva Suárez
2006 — conf
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.
ADHS
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva
2006 — conf
On the Computational Power of Timed Differentiable Petri Nets.
FORMATS
Serge Haddad, Laura Recalde, Manuel Silva Suárez
2006 — conf
Optimal Control of Timed Continuous Petri Nets via Explicit MPC.
POSTA
Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva
2006 — conf
Tracking control of Join-Free Timed continuous Petri Net Systems.
ADHS
Jing Xu, Laura Recalde, Manuel Silva
2005 — conf
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
ICATPN
Manuel Silva Suárez, Laura Recalde
2005 — conf
On Controllability of Timed Continuous Petri Net Systems: the Join Free Case.
CDC/ECC
Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva
2005 J jnl
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets.
Autom.
Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
2004 J jnl
A deadlock avoidance approach for nonsequential resource allocation systems.
IEEE Trans. Syst. Man Cybern. Part A
Joaquin Ezpeleta, Laura Recalde
2004 — conf
Design of observers for timed continuous Petri net systems.
SMC (2)
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
2004 — conf
Event-driven optimal control of continuous Petri nets.
CDC
Jorge Júlvez, Alberto Bemporad, Laura Recalde, Manuel Silva
2004 — conf
On Observability in Timed Continuous Petri Net Systems.
QEST
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
2004 J jnl
On fluidification of Petri Nets: from discrete to hybrid and continuous models.
Annu. Rev. Control.
Manuel Silva Suárez, Laura Recalde
2004 — conf
Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets.
SMC (5)
Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
2003 — conf
On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models.
ADHS
Manuel Silva, Laura Recalde
2003 — conf
On Reachability in Autonomous Continuous Petri Net Systems.
ICATPN
Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
2003 — conf
Petri Nets and Manufacturing Systems: An Examples-Driven Tour.
Lectures on Concurrency and Petri Nets
Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel
2003 — conf
Unforced Continuous Petri Nets and Positive Systems.
POSTA
Manuel Silva Suárez, Laura Recalde
2002 — conf
On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets.
CDC
Jorge Júlvez, Laura Recalde, Manuel Silva
2002 J jnl
Petri nets and integrality relaxations: A view of continuous Petri net models.
IEEE Trans. Syst. Man Cybern. Part C
Manuel Silva Suárez, Laura Recalde
2001 — conf
A Comparison of the Expressiveness of SPA and Bounded SPN Models.
PNPM
Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez
2001 — conf
Forrester diagrams and continuous Petri nets: a comparative view.
ETFA (2)
Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
2001 J jnl
Structure theory of multi-level deterministically synchronized sequential processes.
Theor. Comput. Sci.
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1999 — conf
Autonomous Continuous P/T Systems.
ICATPN
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1998 J jnl
Modeling and analysis of sequential processes that cooperate through buffers.
IEEE Trans. Robotics Autom.
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1998 J jnl
On Linear Algebraic Techniques for Liveness Analysis of P/T Systems.
J. Circuits Syst. Comput.
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1996 — conf
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems.
Application and Theory of Petri Nets
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1995 — conf
On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes.
STRICT
Laura Recalde, Enrique Teruel, Manuel Silva