Manuel Silva

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 9

Top Topics

Discrete Event Systems

Timed Petri Nets

Top Venues

Annu. Rev. Control.

Discret. Event Dyn. Syst.

Publications

Daniel Clavel, Cristian Mahulea, Manuel Silva
On Liveness Enforcement of Distributed Petri Net Systems. IEEE Trans. Autom. Control. 68 (6) (2023)
César Arzola, Carlos Renato Vázquez, Antonio Ramírez-Treviño, Manuel Silva
Structural controllability in timed continuous Petri nets. Autom. 153 (2023)
Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva
Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: Firing rate and initial marking variations. Autom. 136 (2022)
Daniel Clavel, Cristian Mahulea, Manuel Silva
On Liveness Enforcement of Distributed Petri Net Systems. CoRR (2020)
Manuel Navarro-Gutiérrez, Jaime A. Fraustro-Valdez, Antonio Ramírez-Treviño, Manuel Silva
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties. Discret. Event Dyn. Syst. 30 (2) (2020)
Daniel Clavel, Cristian Mahulea, Manuel Silva
From Healthcare System Specifications to Formal Models. SMC (2019)
Manuel Silva
Special section on the history of Discrete Event Systems. Annu. Rev. Control. 45 (2018)
Manuel Silva
On the history of Discrete Event Systems. Annu. Rev. Control. 45 (2018)
Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva
Bifurcations in Timed Continuous Petri Nets. ADHS (2015)
Xu Wang, Cristian Mahulea, Manuel Silva
Fault Diagnosis Graph of time Petri nets. ECC (2013)
Manuel Silva
Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field. Annu. Rev. Control. 37 (2) (2013)
Liewei Wang, Cristian Mahulea, Manuel Silva
Minimum-time flow control of timed continuous Choice-Free nets. ECC (2013)
Anna-Lena Meyer, Manuel Silva
Symmetry Reductions in Timed Continuous Petri Nets Under Infinite Server Semantics. ADHS (2012)
Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva
A control method for timed distributed continuous Petri nets. ACC (2010)
Carlos Renato Vázquez, Manuel Silva
Hybrid Approximations of Markovian Petri Nets. ADHS (2009)
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva
Observer design for untimed continuous Petri nets. ACC (2009)
Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva
An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. ADHS (2009)
Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon
Preface. ADHS (2009)
Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva
Optimal Control of Timed Continuous Petri Nets via Explicit MPC. POSTA (2006)
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics. ADHS (2006)
Jing Xu, Laura Recalde, Manuel Silva
Tracking control of Join-Free Timed continuous Petri Net Systems. ADHS (2006)
Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva
On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. CDC/ECC (2005)
Jorge Júlvez, Alberto Bemporad, Laura Recalde, Manuel Silva
Event-driven optimal control of continuous Petri nets. CDC (2004)
Manuel Silva, Laura Recalde
On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models. ADHS (2003)
Jorge Júlvez, Laura Recalde, Manuel Silva
On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets. CDC (2002)
Armin Zimmermann, Diego Rodriguez, Manuel Silva
Modelling and optimisation of manufacturing systems: Petri nets and simulated annealing. ECC (1999)
Laura Recalde, Enrique Teruel, Manuel Silva
On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes. STRICT (1995)
Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel
CALIBAN - Esprit Basic Research WG 6067. STRICT (1995)