Publications
] Filters: First Letter Of Last Name is G [Clear All Filters]
[1331] .
2005. A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. 2005 IEEE International Conference on Robotics & Automation (ICRA’05). :272-278.
[1332] .
2002. Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
[1333] .
2003. Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
[1337] .
2005. Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
[1342] .
1999. Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
[EzGP-03] .
2003. COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
[1308] .
2010. Resource-bounded Dimension in Computational Learning Theory. arXiv.
[IPGiJuSe03] .
2003. Marking Estimation of Petri Nets based on Partial Observation. :-.
[IPMaGiReSeSi06] .
2006. On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
[IPGiMaReSeSi06a] .
2006. Optimal control of continuous Petri nets via model predictive control. :235–241.
[IPGiMaReSeSi06b] .
2006. Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
[IPMaCaGiSe07] .
2007. A State Estimation Problem for Timed Continuous Petri Nets. :1770-1775.
[IPCaGiMaReSeSi07] .
2007. State Estimation of Petri Nets by Transformation. :194-199.
[IPCoGiSeJu03] .
2003. Observers for nondeterministic l-free labeled Petri nets.
[TRMaGiReSeSi07] .
2008. Optimal model predictive control of Timed Continuous Petri nets.
[IPGIMARESESI08] .
2008. Properties of continuous Petri nets controlled via model predictive control.
[ARMAGIRESESI08] .
2008. Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
[1251] .
2009. Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[1446] .
2011. On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
[GMM06] .
2006. ArgoSPE: Model-based software performance engineering. 4024:401-410.
[GMM_WOMP06] .
2006. Impact of SOAP Implementations in the Performance of a Web Service-based Application. 4331:884-896.
[GIM-WOSP07] .
2007. Performance Analysis of Mobile Agents Tracking. :181-188.
[GMM-Tool] .
2005. A Software Performance Engineering Tool based on the UML-SPT.
[SPE-WS] .
2005. Performance Analysis of Web Applications.
[1276] .
2010. Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
