Laura Recalde - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 42 from 42

2010

Continuous Petri Nets: Expressive Power and Decidability IssuesLaura Recalde, Serge Haddad, Manuel Silva. ijfcs, 21(2):235-256, 2010. [doi]

2009

2008

On Observability and Design of Observers inTimed Continuous Petri Net SystemsJorge JÃºlvez, Emilio JimÃ©nez, Laura Recalde, Manuel Silva. tase, 5(3):532-537, 2008. [doi]

Formal analysis of timed continuous Petri netsMarius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva. cdc 2008: 245-250 [doi]

Optimal Model Predictive Control of Timed Continuous Petri NetsCristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva. tac, 53(7):1731-1735, 2008. [doi]

Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net SystemsCristian Mahulea, Antonio RamÃrez-TreviÃ±o, Laura Recalde, Manuel Silva. tase, 5(2):307-320, 2008. [doi]

Stochastic continuous-state approximation of Markovian Petri net systemsCarlos Renato Vázquez, Laura Recalde, Manuel Silva. cdc 2008: 901-906 [doi]

On Controllability of Timed Continuous Petri NetsCarlos Renato Vázquez, Antonio Ramírez, Laura Recalde, Manuel Silva. hybrid 2008: 528-541 [doi]

Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers SemanticsJing Xu, Laura Recalde, Manuel Silva. deds, 18(2):263-283, 2008. [doi]

2007

State Estimation of Petri Nets by TransformationMaria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva. case 2007: 194-199 [doi]

Continuous Petri Nets: Expressive Power and Decidability IssuesLaura Recalde, Serge Haddad, Manuel Silva. ATVA 2007: 362-377 [doi]

2006

Optimal Control of Timed Continuous Petri Nets via Explicit MPCAlessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva 0001. posta 2006: 383-390 [doi]

On the Computational Power of Timed Differentiable Petri NetsSerge Haddad, Laura Recalde, Manuel Silva. formats 2006: 230-244 [doi]

Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri NetsJorge Júlvez, Laura Recalde, Manuel Silva. tac, 51(9):1472-1481, 2006. [doi]

On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers SemanticsCristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva 0001. adhs 2006: 37-43 [doi]

Improving analysis and simulation of continuous Petri NetsLaura Recalde, Cristian Mahulea, Manuel Silva. case 2006: 9-14 [doi]

Tracking control of Join-Free Timed continuous Petri Net SystemsJing Xu, Laura Recalde, Manuel Silva 0001. adhs 2006: 30-36 [doi]

2005

On Controllability of Timed Continuous Petri Net Systems: the Join Free CaseEmilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva 0001. cdc 2005: 7645-7650 [doi]

Steady-state performance evaluation of continuous mono-T-semiflow Petri netsJorge Júlvez, Laura Recalde, Manuel Silva. automatica, 41(4):605-616, 2005. [doi]

Continuization of Timed Petri Nets: From Performance Evaluation to Observation and ControlManuel Silva, Laura Recalde. apn 2005: 26-47 [doi]

2004

A deadlock avoidance approach for nonsequential resource allocation systemsJoaquin Ezpeleta, Laura Recalde. tsmc, 34(1):93-101, 2004. [doi]

Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri netsEmilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva. SMC 2004: 4897-4904 [doi]

Design of observers for timed continuous Petri net systemsJorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva. SMC 2004: 1678-1685 [doi]

On Observability in Timed Continuous Petri Net SystemsJorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva. qest 2004: 60-69 [doi]

Event-driven optimal control of continuous Petri netsJorge Júlvez, Alberto Bemporad, Laura Recalde, Manuel Silva 0001. cdc 2006: 69-74 [doi]

On fluidification of Petri Nets: from discrete to hybrid and continuous modelsManuel Silva, Laura Recalde. arc, 28(2):253-266, 2004. [doi]

2003

2002

On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow netsJorge Júlvez, Laura Recalde, Manuel Silva 0001. cdc 2002: 781-786 [doi]

Petri nets and integrality relaxations: A view of continuous Petri net modelsManuel Silva, Laura Recalde. tsmc, 32(4):314-327, 2002.

2001

A Comparison of the Expressiveness of SPA and Bounded SPN ModelsJane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva. pnpm 2001: 197-206 [doi]

Forrester diagrams and continuous Petri nets: a comparative viewEmilio Jiménez, Laura Recalde, Manuel Silva. etfa 2001: 85-94 [doi]

Structure theory of multi-level deterministically synchronized sequential processesLaura Recalde, Enrique Teruel, Manuel Silva. TCS, 254(1-2):1-33, 2001. [doi]

1999

Autonomous Continuous P/T SystemsLaura Recalde, Enrique Teruel, Manuel Silva. apn 1999: 107-126 [doi]

1998

On Linear Algebraic Techniques for Liveness Analysis of P/T SystemsLaura Recalde, Enrique Teruel, Manuel Silva. jcsc, 8(1):223-265, 1998. [doi]

Modeling and analysis of sequential processes that cooperate through buffersLaura Recalde, Enrique Teruel, Manuel Silva. trob, 14(2):267-277, 1998. [doi]

1996

{SC}*ECS: A Class of Modular and Hierarchical Cooperating SystemsLaura Recalde, Enrique Teruel, Manuel Silva. apn 1996: 440-459

1995

On Well-formedness Analysis: The Case of Deterministic Systems of Sequential ProcessesLaura Recalde, Enrique Teruel, Manuel Silva 0001. strict 1995: 279-293 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Laura Recalde'

Viewing Publication 1 - 42 from 42

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1999

1998

1996

1995

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Laura Recalde'

Viewing Publication 1 - 42 from 42

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1999

1998

1996

1995

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1