Laura Recalde

According to our database1, Laura Recalde authored at least 39 papers between 1995 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Continuous Petri Nets: Expressive Power and Decidability Issues.
Int. J. Found. Comput. Sci., 2010

2009
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets.
Discret. Event Dyn. Syst., 2009

Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement.
Discret. Event Dyn. Syst., 2009

Observer design for untimed continuous Petri nets.
Proceedings of the American Control Conference, 2009

2008
Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems.
IEEE Trans Autom. Sci. Eng., 2008

On Observability and Design of Observers inTimed Continuous Petri Net Systems.
IEEE Trans Autom. Sci. Eng., 2008

Optimal Model Predictive Control of Timed Continuous Petri Nets.
IEEE Trans. Autom. Control., 2008

Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics.
Discret. Event Dyn. Syst., 2008

On Controllability of Timed Continuous Petri Nets.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Stochastic continuous-state approximation of Markovian Petri net systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Formal analysis of timed continuous Petri nets.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
State Estimation of Petri Nets by Transformation.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006
Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets.
IEEE Trans. Autom. Control., 2006

On the Computational Power of Timed Differentiable Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Improving analysis and simulation of continuous Petri Nets.
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

Tracking control of Join-Free Timed continuous Petri Net Systems.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets.
Autom., 2005

On Controllability of Timed Continuous Petri Net Systems: the Join Free Case.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
A deadlock avoidance approach for nonsequential resource allocation systems.
IEEE Trans. Syst. Man Cybern. Part A, 2004

On fluidification of Petri Nets: from discrete to hybrid and continuous models.
Annu. Rev. Control., 2004

Design of observers for timed continuous Petri net systems.
Proceedings of the IEEE International Conference on Systems, 2004

Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

On Observability in Timed Continuous Petri Net Systems.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Event-driven optimal control of continuous Petri nets.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
Unforced Continuous Petri Nets and Positive Systems.
Proceedings of the Positive Systems, 2003

On Reachability in Autonomous Continuous Petri Net Systems.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Petri Nets and Manufacturing Systems: An Examples-Driven Tour.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Petri nets and integrality relaxations: A view of continuous Petri net models.
IEEE Trans. Syst. Man Cybern. Part C, 2002

On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Structure theory of multi-level deterministically synchronized sequential processes.
Theor. Comput. Sci., 2001

A Comparison of the Expressiveness of SPA and Bounded SPN Models.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Forrester diagrams and continuous Petri nets: a comparative view.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1999
Autonomous Continuous P/T Systems.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998
Modeling and analysis of sequential processes that cooperate through buffers.
IEEE Trans. Robotics Autom., 1998

On Linear Algebraic Techniques for Liveness Analysis of P/T Systems.
J. Circuits Syst. Comput., 1998

1996
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems.
Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995
On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes.
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995


  Loading...