Laura Recalde

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Publications

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