Profile (CV) of the research teaching staff

Silva Suárez, Manuel

Email: silva@unizar.es

ORCID number: 0000-0001-8631-8770



Seis sexenios de investigación Seis quinquenios docentes Journal articles Silva, M. On the history of Discrete Event Systems. ANNUAL REVIEWS IN CONTROL. 2018. DOI: 10.1016/j.arcontrol.2018.03.004 Silva, M. Editorial Special section on the history of Discrete Event Systems. ANNUAL REVIEWS IN CONTROL. 2018. DOI: 10.1016/j.arcontrol.2018.04.005 Clavel, D.; Mahulea, C.; Albareda, J.; Silva, M. Towards efficient algorithms for planning surgeries in operation rooms. PROCEEDINGS (IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION). 2018. DOI: 10.1109/ETFA.2017.8247620 Navarro-Gutiérrez, M.; Ramírez-Treviño, A.; Silva, M. On monotonicity and continuity: computing problematic configurations in timed continuous Petri nets. IFAC PAPERSONLINE. 2018. DOI: 10.1016/j.ifacol.2018.06.345 Giua, A.; Silva, M. Petri nets and Automatic Control: A historical perspective. ANNUAL REVIEWS IN CONTROL. 2018. DOI: 10.1016/j.arcontrol.2018.04.006 Fraca, E.; Júlvez, J.; Silva, M. Fluid approximation of Petri net models with relatively small populations. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS. 2017. DOI: 10.1007/s10626-017-0238-9 Navarro-Gutiérrez, M.; Ramírez-Treviño, A.; Silva, M. Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics. NONLINEAR ANALYSIS. HYBRID SYSTEMS. 2017. DOI: 10.1016/j.nahs.2017.04.005 Giua, A.; Silva, M. Modeling, analysis and control of Discrete Event Systems: a Petri net perspective. IFAC PAPERSONLINE. 2017. DOI: 10.1016/j.ifacol.2017.08.156 Clavel, D.; Mahulea, C.; Albareda, J.; Silva, M. Operation planning of elective patients in an Orthopedic Surgery Department. PROCEEDINGS (IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION). 2016. DOI: 10.1109/ETFA.2016.7733623 Navarro-Gutierrez, M.; Ramirez-Trevino, A.; Silva, M. On the duality between firing rate and initial marking variations in TCPN. PROCEEDINGS (IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION). 2016. DOI: 10.1109/ETFA.2016.7733590 Clavel, D.; Mahulea, C.; Silva, M. On liveness enforcement of DSSP net systems. PROCEEDINGS OF THE IEEE CONFERENCE ON DECISION & CONTROL. 2016. DOI: 10.1109/CDC.2016.7798864 Wang,X.;Kloetzer,M.;Mahulea,C.;Silva,M. Collision avoidance of mobile robots by using initial time delays. PROCEEDINGS OF THE IEEE CONFERENCE ON DECISION & CONTROL. 2016. DOI: 10.1109/CDC.2015.7402221 Silva,M. Individuals, Populations and fluid approximations: A Petri net based perspective. NONLINEAR ANALYSIS. HYBRID SYSTEMS. 2016. DOI: 10.1016/j.nahs.2016.03.005 Vazquez, C. R.; Silva, M. Stochastic Hybrid Approximations of Markovian Petri Nets. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS. 2015. DOI: 10.1109/TSMC.2014.2387097 Ramírez-Treviño, A.; Silva, M.; Lafortune, S. Special issue on recent advances in control of discrete event systems. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS. 2015. DOI: 10.1007/s10626-015-0210-5 Wang, X.; Mahulea, C.; Silva, M. Diagnosis of Time Petri Nets Using Fault Diagnosis Graph. IEEE TRANSACTIONS ON AUTOMATIC CONTROL. 2015. DOI: 10.1109/TAC.2015.2405293 Navarro-Gutiérrez, M.; Ramírez-Treviño, A.; Silva, M. Bifurcations in Timed Continuous Petri Nets. IFAC PAPERSONLINE. 2015. DOI: 10.1016/j.ifacol.2015.11.149 Fraca,E.; Júlvez,J.; Silva,M. Hybrid and hybrid adaptive petri nets: On the computation of a reachability graph. NONLINEAR ANALYSIS. HYBRID SYSTEMS. 2015. DOI: 10.1016/j.nahs.2014.11.005 Vázquez, C. R.; Ramírez-Treviño, A.; Silva, M. Controllability of timed continuous Petri nets with uncontrollable transitions. INTERNATIONAL JOURNAL OF CONTROL. 2014. DOI: 10.1080/00207179.2013.846480 Fraca, E.; Júlvez, J.; Silva, M. On the fluidization of Petri nets and marking homothecy. NONLINEAR ANALYSIS. HYBRID SYSTEMS. 2014. DOI: 10.1016/j.nahs.2013.11.002 Apaydin-Özkan, H.; Mahulea, C.; Júlvez, J.; Silva, M. A control method for distributed continuous mono-T-semiflow Petri nets. INTERNATIONAL JOURNAL OF CONTROL. 2014. DOI: 10.1080/00207179.2013.826822 Wang, L.; Mahulea, C.; Júlvez, J.; Silva, M. ON/OFF strategy based minimum-time control of continuous Petri nets. NONLINEAR ANALYSIS. HYBRID SYSTEMS. 2014. DOI: 10.1016/j.nahs.2013.11.007 Wang, X.; Mahulea, C.; Silva, M. Decentralized diagnosis based on fault diagnosis graph. PROCEEDINGS (IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION). 2013. DOI: 10.1109/ETFA.2013.6648060 Wang,L.;Mahulea,C.;Julvez,J.;Silva,M. Minimum-time decentralized control of Choice-Free continuous Petri nets. NONLINEAR ANALYSIS. HYBRID SYSTEMS. 2013. DOI: 10.1016/j.nahs.2012.07.004 Vazquez,C. R.;Mahulea,C.;Julvez,J.;Silva,M. Introduction to fluid Petri nets. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES. 2013. DOI: 10.1007/978-1-4471-4276-8-18 Mahulea, C.; Júlvez, J.; Vázquez, C. R.; Silva, M. Continuous Petri nets: Observability and diagnosis. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES. 2013. DOI: 10.1007/978-1-4471-4276-8-19 Silva,M. Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field. ANNUAL REVIEWS IN CONTROL. 2013. DOI: 10.1016/j.arcontrol.2013.09.001 Julvez,J.;Vazquez,C. R.;Mahulea,C.;Silva,M. Continuous Petri nets: Controllability and control. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES. 2013. DOI: 10.1007/978-1-4471-4276-8-20 Giua,A.;Silva,M.;Zaytoon,J. Preface to the Special Section: IFAC Conference on Analysis and Design of Hybrid Systems. CONTROL ENGINEERING PRACTICE. 2012. DOI: 10.1016/j.conengprac.2011.10.012 Mahulea,C.;Seatzu,C.;Cabasino,M. P.;Silva,M. Fault diagnosis of discrete-event systems using continuous petri nets. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS. 2012. DOI: 10.1109/TSMCA.2012.2183358 Vázquez,C. R.;Silva,M. Stochastic continuous petri nets: An approximation of Markovian net models. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS. 2012. DOI: 10.1109/TSMCA.2011.2172416 Silva,M.;Júlvez,J.;Mahulea,C.;Vázquez,C. R. On fluidization of discrete event models: Observation and control of continuous Petri nets. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS. 2011. DOI: 10.1007/s10626-011-0116-9 Apaydin-Özkan, H.;Júlvez, J.;Mahulea, C. ;Silva, M. Approaching minimum time control of timed continuous Petri nets. NONLINEAR ANALYSIS. HYBRID SYSTEMS. 2011. DOI: 10.1016/j.nahs.2010.04.002 Vzquez, C. R.;Silva, M. Timing and liveness in continuous Petri nets. AUTOMATICA. 2011. DOI: 10.1016/j.automatica.2010.10.047 Giua,A.;Silva,M.;Zaytoon,J. Special issue on analysis and design of hybrid systems. NONLINEAR ANALYSIS. HYBRID SYSTEMS. 2011. DOI: 10.1016/j.nahs.2010.12.004 Wang, X.;Mahulea, C.;Júlvez, J.;Silva, M. On state estimation of timed choice-free Petri nets. IFAC PROCEEDINGS VOLUMES. 2011. DOI: 10.3182/20110828-6-IT-1002.01523 Wang,L.;Mahulea,C.;Júlvez,J.;Silva,M. Decentralized control of large scale systems modeled with continuous Marked Graphs. IFAC PROCEEDINGS VOLUMES. 2011. DOI: 10.3182/20110828-6-IT-1002.00859 Fraca,E.;Júlvez,J.;Mahulea,C.;Silva,M. On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. IFAC PROCEEDINGS VOLUMES. 2011. DOI: 10.3182/20110828-6-IT-1002.00832 Vázquez,C. R.;Van Schuppen,J. H.;Silva,M. A modular-coordinated control for continuous Petri nets. IFAC PROCEEDINGS VOLUMES. 2011. DOI: 10.3182/20110828-6-IT-1002.02111 Mahulea, C.;Recalde, L. ;Silva, M. Observability of continuous Petri nets with infinite server semantics. NONLINEAR ANALYSIS. HYBRID SYSTEMS. 2010 Kloetzer, M.;Mahulea, C.;Belta, C. ;Silva, M. An automated framework for formal verification of timed continuous petri nets. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. 2010 Recalde, L.;Haddad, S. ;Silva, M. Continuous petri nets: Expressive power and decidability issues. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. 2010 Mahulea, C.;Recalde,L.;Silva,M. Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS. 2009 Mahulea, C.;Seatzu,C.;Cabasino,M. P.;Recalde,L.;Silva,M. Observer Design for Untimed Continuous Petri Nets. PROCEEDINGS OF THE AMERICAN CONTROL CONFERENCE. 2009 Basile, F.;Recalde,L.;Chiacchio,P.;Silva,M. Closed-Loop Live Marked Graphs Under Generalized Mutual Exclusion Constraint Enforcement. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS. 2009 Vazquez, C. R.;Ramirez,A.;Recalde,L.;Silva,M. On Controllability of Timed Continuous Petri Nets. LECTURE NOTES IN COMPUTER SCIENCE. 2008 Mahulea, C.;Ramirez-Trevino,A.;Recalde,L.;Silva,M. Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. 2008 Mahulea, C.;Giua,A.;Recalde,L.;Seatzu,C.;Silva,M. Optimal Model Predictive Control of Timed Continuous Petri Nets. IEEE TRANSACTIONS ON AUTOMATIC CONTROL. 2008 Xu, J.;Recalde,L.;Silva,M. Tracking Control of Join-Free Timed Continuous Petri Net Systems Under Infinite Servers Semantics. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS. 2008 Julvez, J.;Jimenez,E.;Recalde,L.;Silva,M. On Observability and Design of Observers in Timed Continuous Petri Net Systems. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. 2008 Silva, M.;Recalde,L. Continuous Petri Nets: Expresiveness, Analysis and Control of a Class of Switched Linear Systems. REVISTA IBEROAMERICANA DE AUTOMÁTICA E INFORMÁTICA INDUSTRIAL. 2007 Perez-Jimenez, C. J.;Campos,J.;Silva,M. Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS. 2007 Giua,A.;Mahulea,C.;Recalde,L.;Seatzu,C.;Silva,M. Optimal control of timed continuous Petri nets via explicit MPC. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES. 2006 Julvez,J.;Recalde,L.;Silva,M. Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE TRANSACTIONS ON AUTOMATIC CONTROL. 2006 Haddad,S.;Recalde,L.;Silva,M. On the computational power of Timed Differentiable Petri Nets. LECTURE NOTES IN COMPUTER SCIENCE. 2006 Silva, M.;Recalde, L. Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. LECTURE NOTES IN COMPUTER SCIENCE. 2005 Julvez, Jorge;Recalde, Laura;Silva, Manuel. Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. AUTOMATICA. 2005 Silva, Manuel;Recalde, Laura. On fluidification of Petri Nets: From discrete to hybrid and continuous models. ANNUAL REVIEWS IN CONTROL. 2004 Recalde, L.;Silva, M.;Ezpeleta, J.;Teruel, E. Petri Nets and Manufacturing Systems: an Examples-Driven Tour. LECTURE NOTES IN COMPUTER SCIENCE. 2004 Silva, M.;Recalde, L. Unforced Continuous Petri Nets and Positive Systems. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES. 2003 Julvez, J.;Recalde, L.;Silva, M. On Reachability in Autonomous Continuous Petri Net Systems. LECTURE NOTES IN COMPUTER SCIENCE. 2003 Silva, Manuel;Recalde, Laura. Petri nets and integrality relaxations: A view of continuous petri net models. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS. 2002 Recalde, L.;Teruel, E.;Silva, M. Structure theory of multi-level deterministically synchronized sequential processes. THEORETICAL COMPUTER SCIENCE. 2001. DOI: 10.1016/S0304-3975(99)00112-7 Campos, J.;Donatelli, S.;Silva, M. Structured solution of asynchronously communicating stochastic modules. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 1999 Recalde, L.;Teruel, E.;Silva, M. Modeling and analysis of sequential processes that cooperate through buffers. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION. 1998 Recalde, L.;Teruel, E.;Silva, M. On linear algebraic techniques for liveness analysis of P/T systems. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS. 1998 Silva, Manuel; Teruel, Enrique; Colom, José Manuel. Linear algebraic and linear programming techniques for the analysis of place/transition net systems. LECTURE NOTES IN COMPUTER SCIENCE. 1998. DOI: 10.1007/3-540-65306-6_19 Silva,M.//Teruel,E. Petri Nets for the Design and Operation of Manufacturing Systems. EUROPEAN JOURNAL OF CONTROL. 1997 Teruel, E.;Colom, J. M.;Silva, M. Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS. 1997 Teruel, E.;Silva, M. Structure theory of equal conflict systems. THEORETICAL COMPUTER SCIENCE. 1996 Campos, J.;Colom, J. M.;Jungnitz, H.;Silva, M. Approximate Throughput Computation of Stochastic Marked Graphs. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 1994 Teruel, Enrique;Silva, Manuel. Well-formedness of Equal Conflict systems. LECTURE NOTES IN COMPUTER SCIENCE. 1994. DOI: 10.1007/3-540-58152-9_27 Desrochers, A. A.;Silva, M. Introduction to the Special Issue on Computer-Integrated Manufacturing. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION. 1994 Teruel, Enrique; Silva, Manuel. Liveness and home states in equal conflict systems. LECTURE NOTES IN COMPUTER SCIENCE. 1993. DOI: 10.1007/3-540-56863-8_59 Silva, M.;Colom, J. M. Petri Nets Applied to the Modeling and Analysis of Computer Architecture Problems. MICROPROCESSING AND MICROPROGRAMMING. 1993 Teruel, E.; Colom, Jm; Silva, M. Modeling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. IFIP TRANSACTIONS. COMPUTER SCIENCE AND TECHNOLOGY. 1993. DOI: 10.1017/S1751731110001631 Teruel,E.//Colom,Jm//Silva,M. Modeling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. IFIP TRANSACTIONS. COMPUTER SCIENCE AND TECHNOLOGY. 1993 Campos, J.;Silva, M. Embedded Product-Form Queuing-Networks and the Improvement of Performance Bounds for Petri-Net Systems. PERFORMANCE EVALUATION. 1993 Esparza, J.;Silva, M. A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. THEORETICAL COMPUTER SCIENCE. 1992 Silva, M.;Murata, T. B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 1992 Campos, J.;Chiola, G.;Colom, J. M.;Silva, M. Properties and Performance Bounds for Timed Marked Graphs. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICAT. 1992 Teruel, E.;Chrzastowskiwachtel, P.;Colom, J. M.;Silva, M. On Weighted T-Systems. LECTURE NOTES IN COMPUTER SCIENCE. 1992 Campos, J.;Silva, M. Structural Techniques and Performance Bounds of Stochastic Petri Net Models. LECTURE NOTES IN COMPUTER SCIENCE. 1992 Jungnitz, H.;Sanchez, B.;Silva, M. Approximate Throughput Computation of Stochastic Marked Graphs. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING. 1992 Campos, J.;Chiola, G.;Silva, M. Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 1991 Colom, J. M.;Silva, M. Improving the Linearly Based Characterization of P. LECTURE NOTES IN COMPUTER SCIENCE. 1991 Esparza, J.;Silva, M. On the Analysis and Synthesis of Free Choice Systems. LECTURE NOTES IN COMPUTER SCIENCE. 1991 Campos, J.;Chiola, G.;Silva, M. Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queuing-Networks. IEEE TRANSACTIONS ON AUTOMATIC CONTROL. 1991 Esparza, J.;Silva, M. Circuits, Handles, Bridges and Nets. LECTURE NOTES IN COMPUTER SCIENCE. 1991 Esparza, J.;Silva, M. Top-Down Synthesis of Live and Bounded Free Choice Nets. LECTURE NOTES IN COMPUTER SCIENCE. 1991 Colom, J. M.;Silva, M. Convex Geometry and Semiflows in P. LECTURE NOTES IN COMPUTER SCIENCE. 1991 Esparza, J.;Silva, M. Compositional Synthesis of Live and Bounded Free Choice Petri Nets. LECTURE NOTES IN COMPUTER SCIENCE. 1991 Siva, Manuel; Colom, José Manuel. On the computation of structural synchronic invariants in P/T nets. LECTURE NOTES IN COMPUTER SCIENCE. 1988. DOI: 10.1007/3-540-50580-6_39 Torres, F.; Berges, L.; Ruiz, F.; Silva, M.; Gatti, M.; Velilla, S. Diseño de un modelo de instalación automática de fabricación construida con estructuras mecánicas programables y controlada por ordenador. IMHE. INFORMACIÓN DE MÁQUINAS-HERRAMIENTA, EQUIPOS Y ACCESORIOS. 1984 Silva, M. Simplification of Petri Nets by Eliminating Implicit Places. DIGITAL PROCESSES. 1980 Conference presentations Clavel, D.; Xie, X.L.; Mahnlea, C.; Silva, M. A Three Steps Approach for Surgery Planning of Elective and Urgent Patients. IFAC PAPERSONLINE. 2018. DOI: 10.1016/j.ifacol.2018.06.308 Meyer, A.;Silva, M. Symmetry reductions in timed continuous Petri nets under infinite server semantics. IFAC PROCEEDINGS VOLUMES. 2012. DOI: 10.3182/20120606-3-NL-3011.00067 Mugarza,Jc//Camus,H.//Gentina,Jc//Teruel,E.//Silva,M. Reducing the computational complexity of scheduling problems in Petri Nets by means of transformation rules. CONFERENCE PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS. 1998. DOI: 10.1109/ICSMC.1998.725377 Recalde, L.; Teruel, E.; Silva, M. Improving the decision power of rank theorems. CONFERENCE PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS. 1997. DOI: 10.1109/ICSMC.1997.633256 Recalde,L.//Teruel,E.//Silva,M. On well-formedness analysis: The case of deterministic systems of sequential processes. WORKSHOPS IN COMPUTING. 1995. DOI: 10.1007/978-1-4471-3078-9_19 Projects UZ2018-TEC-06: GESTIÓN DE SISTEMAS DE SALUD UTILIZANDO SISTEMAS DE EVENTOS DISCRETOS. 08/06/18 - 31/12/18 GRUPO DE REFERENCIA GRUPO DE I+D EN COMPUTACIÓN DISTRIBUIDA (DisCo). 01/01/17 - 31/12/19 GRUPO CONSOLIDADO T27 GRUPO DE INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS. 01/01/16 - 31/12/16 DPI2014-57252-R: MODELOS Y MÉTODOS FORMALES PARA LA GESTÍON DE LOS SERVICIOS DE SALUD. 01/01/15 - 28/02/18 GRUPO CONSOLIDADO T27 GRUPO DE INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS. 01/01/15 - 31/12/15 GRUPO CONSOLIDADO T27 INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/14 - 31/12/14 GRUPO CONSOLIDADO T27 INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/13 - 31/12/13 INVESTIGADOR INVITADO: MARIUS KLOETZER DE LA UNIVERSIDD TÉCNICA D DE LA DUKE UNIVERSITY DEN DURHAM (EEUU). 01/01/13 - 30/11/14 DPI2010-20413.ANALISIS Y CONTROL DE GRANDES SISTEMAS DE EVENTOS DISCRETOS DISTRIBUIDOS. 01/01/11 - 31/12/13 GRUPO CONSOLIDADO T27 INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/11 - 31/12/12 SUBV. NO SUJETA A CONV. 2009. THIRD IFAC CONFERENCE ON ANALISIS OF HYBRID SYSTEMS. 01/01/09 - 14/11/09 DISTRIBUTED SUPERVISORY CONTROL OF COMPLEX PLANTS - 7º PROGRAMA MARCO. 01/09/08 - 31/12/11 GRUPO EXCELENTE T27 GRUPO DE INGENIERIA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/08 - 31/12/10 HI2006-0149. OBSERVABILIDAD Y OBSERVADORES PARA MODELOS DE SISTEMAS DE EVENTOS DISCRETOS Y SUS RELAJACIONES FLUIDAS. 01/01/07 - 31/12/08 MI060/2006 MERSEGUER HERNAIZ, JOSE JAVIER. 01/01/07 - 31/12/07 DPI2006-15390 TÉCNICAS FORMALES ANÁLISIS Y DISEÑO DE SISTEMAS DE EVENTOS DISCRETOS E HÍBRIDOS. APLICACIÓN A SISTEMAS LOGÍSTICOS Y DE TIEMPO REAL. 01/10/06 - 30/04/10 MI31/2005 PHILIPPE MOSER. 01/01/06 - 31/12/06 INF2005-TEC-002. ESTACIONES DE TRABAJO Y PERIFERIA PARA EL LABORATORIO INFORMATICO DE INVESTIGACION DEL GRUPO. 13/07/05 - 31/12/05 GRUPO EXCELENTE T27 INGENIERIA DE SISTEMAS DE EVENTOS DISCRETOS. GISED. 01/01/05 - 31/12/07 DOTACION ADICIONAL2003.DPI2003-06376. 01/12/03 - 30/11/06 DPI2003-06376. REDES DE PETRI CONTINUAS E HIBRIDAS: MODELADO, ANALISIS Y SINTESIS. 01/12/03 - 30/11/06 GRUPO CONSOLIDADO T27 INGENIERIA DE SISTEMAS DE EVENTOS DISCRETOS. 01/01/03 - 31/12/04 TIC2002-10326-E. 6TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES 02). 01/01/03 - 31/12/03 VI CONGRESOS FORMAL METRJODS IN PERFORMANCE EVALUATION AND APPLICATIONS. 02/08/99 - 02/08/00 TAP98-0679 DISEÑO Y OPERACIÓN DE SISTEMASDE EVENTOS DISCSRETOS:APROXIMACIÓN FORMAL Y APLICACIÓN A SISTEMAS DE PRODUCCIÓN. 01/10/98 - 30/09/01 Contracts GRUPO DE INVESTIGACION DE INGENIERIA DE SISTEMAS EVENTOS DISCRETOS (GISED) (RETORNO UZ). 17/11/08 - 31/12/22 PhD supervision Fuidization, Controllability and Control of Timed C ontinuous Petri Nets. Universidad de Zaragoza. Sobresaliente "Cum Laude". 24/06/11 Redes de Petri fluidas y temporizadas: análisis cuantitativo, observabilidad y control. Universidad de Zaragoza. Sobresaliente "Cum Laude". 24/09/07 Control de sistemas de eventos discretos modelados con redes de Petri. Universidad de Zaragoza. Sobresaliente "Cum Laude". 13/07/05 Técnicas algebraicas para el análisis y control de redes de Petri continuas. Universidad de Zaragoza. Sobresaliente "Cum Laude". 11/04/05 Structural methods for the design and analysis of concurrent systems mode llea with place/transition nets. Universidad de Zaragoza. Sobresaliente "Cum Laude". 09/07/98 STRUCTURE THEORY F WEIGHTED PLACE / TRANSITIONS NET SYSTEMS: THE EQUAL CONFLICT HIATUS. Universidad de Zaragoza. Apto cum laude. 25/06/94 SCHEDULING EN REDES DE PETRI. Universidad de Zaragoza. Apto cum laude. 20/12/93 PERFOMANCE BOUNDS FOR SYNCHRONIZED QUEING NETWORKS. Universidad de Zaragoza. Apto cum laude. 14/12/90 TEORIA ESTRUCTURAL DE LAS REDES DE LIBRE ELECCION. Universidad de Zaragoza. Apto cum laude. 08/06/90 Participation in conferences ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation. Participativo - Ponencia oral (comunicación oral). Deadlock prevention policy for S3PR — Application to robot planning Barcelona. 16/09/14 ECC'2014: European Control Conference. Participativo - Ponencia oral (comunicación oral). From discrete to continuous models: A perspective on fluidization of Petri nets Strasbourg. 24/06/14 WODES'2014: 12th IFAC International Workshop on Discrete Event Systems. Participativo - Ponencia oral (comunicación oral). Model Checking on Fault Diagnosis Graph. Cachan. 14/05/14 CDC'2013: 52nd IEEE Conference on Decision and Control. Participativo - Ponencia oral (comunicación oral). Distributed Model Predictive Control of timed continuous Petri nets Florencia. 15/12/13 ETFA'2013: 18th IEEE International Conference on Emerging Technologies and Factory Automation. Participativo - Ponencia oral (comunicación oral). Decentralized Diagnosis Based on Fault Diagnosis Graph. Cagliari. 10/09/13 ECC'13: European Control Conference. Participativo - Ponencia oral (comunicación oral). Fault Diagnosis Graph of time Petri nets Zurich. 17/07/13 ECC'13: European Control Conference. Participativo - Ponencia oral (comunicación oral). Minimum-time flow control of timed continuous Choice-Free nets Zurich. 17/07/13 WODES'12: 11th Int. Workshop on Discrete Event Systems. Participativo - Ponencia oral (comunicación oral). Control of continuous Petri nets using ON/OFF based method. Guadalajara. 03/10/12 ICSTCC'2011: 15th Int. Conf. on System Theory, Control and Computing. Participativo - Ponencia oral (comunicación oral). Fluidization and fluid views of discrete event systems Sinaia. 14/10/11 IFAC'2011: 18th IFAC World Congress. Participativo - Ponencia oral (comunicación oral). On State Estimation of Timed Choice-Free Petri Nets. Milano. 28/08/11 IFAC'2011: 18th IFAC World Congress. Participativo - Ponencia oral (comunicación oral). On Reachability and Deadlock-Freeness of Hybrid Adaptive Petri Nets. Milano. 28/08/11 IFAC'2011: 18th IFAC World Congress. Participativo - Ponencia oral (comunicación oral). Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. Milano. 28/08/11 CDC'2010: 49th IEEE Conference on Decision and Control. Participativo - Ponencia oral (comunicación oral). Minimum-Time Control for Structurally Persistent Continuous Petri Nets. Atlanta, Georgia. 15/12/10 CDC'2010: 49th IEEE Conference on Decision and Control. Participativo - Ponencia oral (comunicación oral). An Iterative Control Method for Distributed Continuous Petri Nets. Atlanta, Georgia. 15/12/10 SMC'2010: International Conference on Systems, Man, and Cybernetics. Participativo - Ponencia oral (comunicación oral). Fault diagnosis of manufacturing systems using continuous Petri nets. Estambul. 10/10/10 ACC'2010: American Control Conference,. Participativo - Ponencia oral (comunicación oral). A control method for timed distributed continuous Petri nets Baltimore. 30/06/10 UNIZAR teaching of the last six courses Evaluation and control of production systems. Master's Degree in Informatics Engineering. During academic year 2021-22 Evaluation and control of production systems. From the 2020-21 course to the 2021-22 course Evaluation and control of production systems. From the 2020-21 course to the 2021-22 course Evaluation and control of production systems. From the 2020-21 course to the 2021-22 course Evaluation and control of production systems. Master's in Industrial Engineering. From the 2019-20 course to the 2021-22 course Control engineering. Bachelor's Degree in Industrial Engineering Technology. From the 2019-20 course to the 2020-21 course Signals and systems. Bachelor's Degree in Electronic and Automatic Engineering. From the 2019-20 course to the 2020-21 course