Manuel Silva

40 papers B 1C 2Journal 9Unranked 21
YearRankTypeTitle / Venue / Authors
2023 J jnl
On Liveness Enforcement of Distributed Petri Net Systems.
IEEE Trans. Autom. Control.
Daniel Clavel, Cristian Mahulea, Manuel Silva
2023 J jnl
Structural controllability in timed continuous Petri nets.
Autom.
César Arzola, Carlos Renato Vázquez, Antonio Ramírez-Treviño, Manuel Silva
2022 J jnl
Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: Firing rate and initial marking variations.
Autom.
Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva
2020 J jnl
On Liveness Enforcement of Distributed Petri Net Systems.
CoRR
Daniel Clavel, Cristian Mahulea, Manuel Silva
2020 J jnl
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties.
Discret. Event Dyn. Syst.
Manuel Navarro-Gutiérrez, Jaime A. Fraustro-Valdez, Antonio Ramírez-Treviño, Manuel Silva
2019 B conf
From Healthcare System Specifications to Formal Models.
SMC
Daniel Clavel, Cristian Mahulea, Manuel Silva
2019 — ch.
Some Interactions with Carl Adam Petri over Three Decades.
Carl Adam Petri: Ideas, Personality, Impact
Manuel Silva
2018 J jnl
On the history of Discrete Event Systems.
Annu. Rev. Control.
Manuel Silva
2018 J jnl
Special section on the history of Discrete Event Systems.
Annu. Rev. Control.
Manuel Silva
2015 — conf
Bifurcations in Timed Continuous Petri Nets.
ADHS
Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva
2015 — conf
Discrete and fluid Petri nets: Dealing with individuals, populations and fluidization.
MED
Manuel Silva
2015 — ch.
Modeling, Analysis and Control of Discrete Event Systems as Petri Nets.
Encyclopedia of Systems and Control
Manuel Silva
2013 — ch.
Continuous Petri Nets: Controllability and Control.
Control of Discrete-Event Systems
Jorge Júlvez, Carlos Renato Vázquez, Cristian Mahulea, Manuel Silva
2013 — ch.
Continuous Petri Nets: Observability and Diagnosis.
Control of Discrete-Event Systems
Cristian Mahulea, Jorge Júlvez, Carlos Renato Vázquez, Manuel Silva
2013 — book
Control of Discrete-Event Systems
Carla Seatzu, Manuel Silva, Jan H. van Schuppen
2013 — conf
Fault Diagnosis Graph of time Petri nets.
ECC
Xu Wang, Cristian Mahulea, Manuel Silva
2013 J jnl
Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field.
Annu. Rev. Control.
Manuel Silva
2013 — ch.
Introduction to Fluid Petri Nets.
Control of Discrete-Event Systems
Carlos Renato Vázquez, Cristian Mahulea, Jorge Júlvez, Manuel Silva
2013 — conf
Minimum-time flow control of timed continuous Choice-Free nets.
ECC
Liewei Wang, Cristian Mahulea, Manuel Silva
2012 — conf
50 years after the PhD thesis of Carl Adam Petri: A perspective.
WODES
Manuel Silva
2012 — conf
Symmetry Reductions in Timed Continuous Petri Nets Under Infinite Server Semantics.
ADHS
Anna-Lena Meyer, Manuel Silva
2010 C conf
A control method for timed distributed continuous Petri nets.
ACC
Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva
2009 — ed.
3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009
ADHS
Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon
2009 — conf
An Efficient Heuristics for Minimum Time Control of Continuous Petri nets.
ADHS
Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva
2009 — conf
Hybrid Approximations of Markovian Petri Nets.
ADHS
Carlos Renato Vázquez, Manuel Silva
2009 C conf
Observer design for untimed continuous Petri nets.
ACC
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva
2009 — conf
Preface.
ADHS
Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon
2006 — conf
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.
ADHS
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva
2006 — conf
Optimal Control of Timed Continuous Petri Nets via Explicit MPC.
POSTA
Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva
2006 — conf
Tracking control of Join-Free Timed continuous Petri Net Systems.
ADHS
Jing Xu, Laura Recalde, Manuel Silva
2005 — conf
On Controllability of Timed Continuous Petri Net Systems: the Join Free Case.
CDC/ECC
Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva
2004 — conf
Event-driven optimal control of continuous Petri nets.
CDC
Jorge Júlvez, Alberto Bemporad, Laura Recalde, Manuel Silva
2003 — conf
On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models.
ADHS
Manuel Silva, Laura Recalde
2002 — conf
On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets.
CDC
Jorge Júlvez, Laura Recalde, Manuel Silva
1999 — conf
Modelling and optimisation of manufacturing systems: Petri nets and simulated annealing.
ECC
Armin Zimmermann, Diego Rodríguez, Manuel Silva
1995 — conf
CALIBAN - Esprit Basic Research WG 6067.
STRICT
Eike Best, Raymond Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel
1995 — conf
On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes.
STRICT
Laura Recalde, Enrique Teruel, Manuel Silva
1993 — conf
Interleaving Functional and Performance Structural Analysis of Net Models.
Application and Theory of Petri Nets
Manuel Silva
1992 J jnl
B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems.
J. Comput. Syst. Sci.
Manuel Silva, Tadao Murata
1981 — conf
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
J. Martínez, Manuel Silva