Publications

Export 135 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is R  [Clear All Filters]
2006
[IPXuReSi06] Xu, J, Recalde L, Silva M.  2006.  Tracking control of join-free timed continuous Petri net systems.
[RoEMSS06] Rodríguez, D.  2006.  AN OPTIMIZATION METHOD FOR CONTINUOUS PETRI NET MODELS: APPLICATION TO MANUFACTURING SYSTEMS.
[ARJuReSi06] Julvez, J, Recalde L, Silva M.  2006.  Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
[LCRM06] Lobov, A, Popescu C, Rodríguez D, Lastra L.  2006.  A Graphical Environment for Modeling and Analysis of Concurrent Systems in Manufacturing: An Educational Perspective.
[IPReMaSi06] Recalde, L, Mahulea C, Silva M.  2006.  Improving analysis and simulation of continuous Petri Nets. :7–12.
[IPMaGiReSeSi06] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2006.  On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
[IPMaReSi06] Mahulea, C, Recalde L, Silva M.  2006.  On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
[IPGiMaReSeSi06a] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2006.  Optimal control of continuous Petri nets via model predictive control. :235–241.
[RoIndin06] Rodríguez, D.  2006.  Time and Supervisory Control of Manufacturing Systems: a Flexible Manufacturing Cell experience. :CD-Rom.
[RCDM2006] Rodríguez, D, Popescu C, Delamer I, Martinez-Lastra.  2006.  Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
[IPGiMaReSeSi06b] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2006.  Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
2007
[IPReHaSi07] Recalde, L, Haddad S, Silva M.  2007.  Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.
[IPCaGiMaReSeSi07] Cabasino, MP, Giua A, Mahulea C, Recalde L, Seatzu C, Silva M.  2007.  State Estimation of Petri Nets by Transformation. :194-199.
2008
[TRMaGiReSeSi07] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2008.  Optimal model predictive control of Timed Continuous Petri nets.
[IPVaMaMiReSi08] Vázquez, CR, Mangini AM, Mihalache A, Recalde L, Silva M.  2008.  Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
0 icon
Timing for deadlock-freeness v submitted.pdf
[IPKLMA08] Kloetzer, M, Mahulea C, Belta C, Recalde L, Silva M.  2008.  Formal analysis of timed continuous Petri net.
[IPVaReSi08] Vázquez, CR, Recalde L, Silva M.  2008.  Stochastic-Continuous State Approximation of Markovian Petri Net Systems. IEEE Conference on Decision and Control.
0 icon
Draft Stochastic Continuous-State Approximation of Markovian Petri Net Systems.pdf
[ARMARARESI08] Mahulea, C, Ramirez A, Recalde L, Silva M.  2008.  Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
[IPGIMARESESI08] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2008.  Properties of continuous Petri nets controlled via model predictive control.
[IPMARESI08] Mahulea, C, Recalde L, Silva M.  2008.  Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems.
[IPVaRaReSi08] Vázquez, CR, Ramirez A, Recalde L, Silva M.  2008.  On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
0 icon
Controllability draft.pdf
[ARMAGIRESESI08] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2008.  Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
2009
[1250] Mahulea, C, Seatzu C, Cabasino MP, Recalde L, Silva M.  2009.  Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[1257] Mahulea, C, Recalde L, Silva M.  2009.  Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.
2010
[RMB_SERENE10] Rodríguez, RJ, Merseguer J, Bernardi S.  2010.  Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
application/pdf icon
serene2010_camera_ready.pdf