Manuel Silva Suárez

ORCID

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 11

Top Venues

WODES

ETFA

CDC

Discret. Event Dyn. Syst.

Publications

Alessandro Giua, Manuel Silva Suárez
Petri nets and Automatic Control: A historical perspective. Annu. Rev. Control. 45 (2018)
Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez
Towards efficient algorithms for planning surgeries in operation rooms. ETFA (2017)
Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez
Fluid approximation of Petri net models with relatively small populations. Discret. Event Dyn. Syst. 27 (3) (2017)
Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez
Operation planning of elective patients in an Orthopedic Surgery Department. ETFA (2016)
Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez
On liveness enforcement of DSSP net systems. CDC (2016)
Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva Suárez
On the duality between firing rate and initial marking variations in TCPN. ETFA (2016)
Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva Suárez
Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets. WODES (2016)
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph. IEEE Trans. Autom. Control. 60 (9) (2015)
Antonio Ramírez-Treviño, Manuel Silva Suárez, Stéphane Lafortune
Special issue on recent advances in control of discrete event systems. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Carlos Renato Vázquez, Manuel Silva Suárez
Stochastic Hybrid Approximations of Markovian Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 45 (9) (2015)
Xu Wang, Marius Kloetzer, Cristian Mahulea, Manuel Silva Suárez
Collision avoidance of mobile robots by using initial time delays. CDC (2015)
Carlos Renato Vázquez, Antonio Ramírez-Treviño, Manuel Silva Suárez
Controllability of timed continuous Petri nets with uncontrollable transitions. Int. J. Control 87 (3) (2014)
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
PR - Application to robot planning. ETFA (2014)
Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez
The "bound Reaching Problem" on the Fluidization of Timed Petri Nets. WODES (2014)
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
Model Checking on Fault Diagnosis Graph. WODES (2014)
Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
A control method for distributed continuous mono-T-semiflow Petri nets. Int. J. Control 87 (2) (2014)
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
Decentralized diagnosis based on fault diagnosis graph. ETFA (2013)
Liewei Wang, Cristian Mahulea, Manuel Silva Suárez
Distributed Model Predictive Control of timed continuous Petri nets. CDC (2013)
Carlos Renato Vázquez, Manuel Silva Suárez
Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Trans. Syst. Man Cybern. Part A 42 (3) (2012)
Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
Control of continuous Petri nets using ON/OFF based method. WODES (2012)
Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez
Preface. WODES (2012)
Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez
Marking homothetic monotonicity and fluidization of untimed Petri nets. WODES (2012)
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez
Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 42 (4) (2012)
Carlos Renato Vázquez, Manuel Silva Suárez
Timing and liveness in continuous Petri nets. Autom. 47 (2) (2011)
Manuel Silva Suárez, Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez
On fluidization of discrete event models: observation and control of continuous Petri nets. Discret. Event Dyn. Syst. 21 (4) (2011)
Carlos Renato Vázquez, Herman Y. Sutarto, René K. Boel, Manuel Silva Suárez
Hybrid Petri Net Model of a Traffic Intersection in an Urban Network. CCA (2010)
Monika Heiner, Cristian Mahulea, Manuel Silva Suárez
On the Importance of the Deadlock Trap Property for Monotonic Liveness. ACSD/Petri Nets Workshops (2010)
Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
An iterative control method for distributed continuous Petri nets. CDC (2010)
Laura Recalde, Serge Haddad, Manuel Silva Suárez
Continuous Petri Nets: Expressive Power and Decidability Issues. Int. J. Found. Comput. Sci. 21 (2) (2010)
Carlos Renato Vázquez, Manuel Silva Suárez
Timing-dependent boundedness and liveness in continuous Petri nets. WODES (2010)
Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez
Fault diagnosis of manufacturing systems using continuous Petri nets. SMC (2010)
Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
Minimum-time control for structurally persistent continuous Petri Nets. CDC (2010)
Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva Suárez
An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Trans. Ind. Informatics 6 (3) (2010)
Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez
Fault diagnoser design for untimed continuous Petri nets. CCA/ISIC (2009)
Carlos Renato Vázquez, Manuel Silva Suárez
Performance control of Markovian Petri nets via fluid models: A stock-level control example. CASE (2009)
Cristian Mahulea, Laura Recalde, Manuel Silva Suárez
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discret. Event Dyn. Syst. 19 (2) (2009)
Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva Suárez
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement. Discret. Event Dyn. Syst. 19 (1) (2009)
Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez
New results for fault detection of untimed continuous Petri nets. CDC (2009)
Carlos Renato Vázquez, Manuel Silva Suárez
Piecewise-linear constrained control for timed continuous Petri nets. CDC (2009)
Jing Xu, Laura Recalde, Manuel Silva Suárez
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics. Discret. Event Dyn. Syst. 18 (2) (2008)
Carlos Renato Vázquez, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez
On Controllability of Timed Continuous Petri Nets. HSCC (2008)
Cristian Mahulea, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez
Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems. IEEE Trans Autom. Sci. Eng. 5 (2) (2008)
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
On Observability and Design of Observers inTimed Continuous Petri Net Systems. IEEE Trans Autom. Sci. Eng. 5 (3) (2008)
Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez
Formal analysis of timed continuous Petri nets. CDC (2008)
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
Optimal Model Predictive Control of Timed Continuous Petri Nets. IEEE Trans. Autom. Control. 53 (7) (2008)
Carlos Renato Vázquez, Laura Recalde, Manuel Silva Suárez
Stochastic continuous-state approximation of Markovian Petri net systems. CDC (2008)
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
State Estimation of Petri Nets by Transformation. CASE (2007)
Laura Recalde, Serge Haddad, Manuel Silva Suárez
Continuous Petri Nets: Expressive Power and Decidability Issues. ATVA (2007)
Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets. IEEE Trans. Autom. Control. 51 (9) (2006)
Serge Haddad, Laura Recalde, Manuel Silva Suárez
On the Computational Power of Timed Differentiable Petri Nets. FORMATS (2006)
Laura Recalde, Cristian Mahulea, Manuel Silva Suárez
Improving analysis and simulation of continuous Petri Nets. CASE (2006)
Manuel Silva Suárez, Laura Recalde
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. ICATPN (2005)
Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez
Product-form and stochastic Petri nets: a structural approach. Perform. Evaluation 59 (2005)
Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Autom. 41 (4) (2005)
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
Design of observers for timed continuous Petri net systems. SMC (2) (2004)
Manuel Silva Suárez, Laura Recalde
On fluidification of Petri Nets: from discrete to hybrid and continuous models. Annu. Rev. Control. 28 (2) (2004)
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
On Observability in Timed Continuous Petri Net Systems. QEST (2004)
Diego Rodriguez, Armin Zimmermann, Manuel Silva Suárez
Two heuristics for the improvement of a two-phase optimization method for manufacturing systems. SMC (2) (2004)
Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets. SMC (5) (2004)
Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
On Reachability in Autonomous Continuous Petri Net Systems. ICATPN (2003)
Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel
Petri Nets and Manufacturing Systems: An Examples-Driven Tour. Lectures on Concurrency and Petri Nets (2003)
Manuel Silva Suárez, Laura Recalde
Unforced Continuous Petri Nets and Positive Systems. POSTA (2003)
Manuel Silva Suárez, Laura Recalde
Petri nets and integrality relaxations: A view of continuous Petri net models. IEEE Trans. Syst. Man Cybern. Part C 32 (4) (2002)
Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez
A Comparison of the Expressiveness of SPA and Bounded SPN Models. PNPM (2001)
Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
Forrester diagrams and continuous Petri nets: a comparative view. ETFA (2) (2001)
Armin Zimmermann, Diego Rodriguez, Manuel Silva Suárez
A two phase optimization method for Petri net models of manufacturing systems. J. Intell. Manuf. 12 (5-6) (2001)
Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN (2001)
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
Structure theory of multi-level deterministically synchronized sequential processes. Theor. Comput. Sci. 254 (1-2) (2001)
Javier Campos, Susanna Donatelli, Manuel Silva Suárez
Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. 25 (2) (1999)
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
Autonomous Continuous P/T Systems. ICATPN (1999)
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
Modeling and analysis of sequential processes that cooperate through buffers. IEEE Trans. Robotics Autom. 14 (2) (1998)
Juan Carlos Mugarza, Hervé Camus, Jean-Claude Gentina, Enrique Teruel, Manuel Silva Suárez
Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules. SMC (1998)
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
On Linear Algebraic Techniques for Liveness Analysis of P/T Systems. J. Circuits Syst. Comput. 8 (1) (1998)
Enrique Teruel, José Manuel Colom, Manuel Silva Suárez
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals. IEEE Trans. Syst. Man Cybern. Part A 27 (1) (1997)
Javier Campos, Manuel Silva Suárez, Susanna Donatelli
Structured solution of stochastic DSSP systems. PNPM (1997)
Vassilis Mertsiotakis, Manuel Silva Suárez
Throughput approximation of decision free processes using decomposition. PNPM (1997)
Manuel Silva Suárez, Enrique Teruel
Petri Nets for the Design and Operation of Manufacturing Systems. Eur. J. Control 3 (3) (1997)
Manuel Silva Suárez, Enrique Teruel, José Manuel Colom
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. Petri Nets (1996)
Enrique Teruel, Manuel Silva Suárez
Structure Theory of Equal Conflict Systems. Theor. Comput. Sci. 153 (1&2) (1996)
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. Application and Theory of Petri Nets (1996)
Manuel Silva Suárez, Enrique Teruel, Robert Valette, Hervé Pingaud
Petri Nets and Production Systems. Petri Nets (2) (1996)
Enrique Teruel, Manuel Silva Suárez
Well-Formedness of Equal Conflict Systems. Application and Theory of Petri Nets (1994)
Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez
Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Trans. Software Eng. 20 (7) (1994)
Enrique Teruel, José Manuel Colom, Manuel Silva Suárez
Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems (1993)
Javier Campos, Manuel Silva Suárez
Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Perform. Evaluation 18 (1) (1993)
Giovanni Chiola, Cosimo Anglano, Javier Campos, José Manuel Colom, Manuel Silva Suárez
Operational analysis of timed Petri nets and application to the computation of performance bounds. PNPM (1993)
Antonio Ramírez-Treviño, Javier Campos, Manuel Silva Suárez
On Optimal Scheduling in DEDS. ICRA (3) (1993)
Manuel Silva Suárez, José Manuel Colom
Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocess. Microprogramming 38 (1-5) (1993)
Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez
A general iterative technique for approximate throughput computation of stochastic marked graphs. PNPM (1993)
Enrique Teruel, Manuel Silva Suárez
Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets (1993)
Javier Esparza, Manuel Silva Suárez
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. Theor. Comput. Sci. 102 (1) (1992)
Hauke Jungnitz, Beatriz Sánchez, Manuel Silva Suárez
Approximate Throughput Computation of Stohastic Marked Graphs. J. Parallel Distributed Comput. 15 (3) (1992)
Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez
On Weighted T-Systems. Application and Theory of Petri Nets (1992)
Hauke Jungnitz, Beatriz Sánchez, Manuel Silva Suárez
Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs. ICRA (1992)
Javier Esparza, Manuel Silva Suárez
Compositional Synthesis of Live and Bounded Free Choice Petri Nets. CONCUR (1991)
Javier Campos, Giovanni Chiola, Manuel Silva Suárez
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Trans. Software Eng. 17 (2) (1991)
Javier Campos, Beatriz Sánchez, Manuel Silva Suárez
Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques. PNPM (1991)
Javier Campos, Manuel Silva Suárez
Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. PNPM (1991)
Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. Applications and Theory of Petri Nets (1991)
Javier Esparza, Manuel Silva Suárez
Top-down synthesis of live and bounded free choice nets. Applications and Theory of Petri Nets (1990)

Manuel Silva Suárez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel Silva Suárez