Publications
Filters: Author is M. Silva [Clear All Filters]
[ICReSiEzTe04] Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
.
2004.
[IPJuJiReSi04b] Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.
.
2004.
[IPJuBeReSi04] Event-driven optimal control of continuous Petri nets. :69-74.
.
2004.
[ARSiRe04] On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
.
2004.
[IPJiJuReSi04] Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets. :4897-4904.
.
2004.
[RZS-04] Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
.
2004.
[IPJuJiReSi04a] On Observability in Timed Continuous Petri Net Systems. :60-69.
.
2004.
[IPJiJuReSi05] On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
.
2005.
[ARJuReSi05] Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
.
2005.
[IPSiRe05] Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
.
2005.
[ARMoHaSeSi05] Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
.
2005.
[IPMaRaReSi05] Steady state control, zero valued poles and token conservation laws in continuous net systems.
.
2005.
[IPMaReSi05] Optimal Observability for Continuous Petri Nets. :CDROM.
.
2005.
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
[IPHaReSi06] On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
.
2006.
.
2006.
[ARJuReSi06] Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
.
2006.
[IPReMaSi06] Improving analysis and simulation of continuous Petri Nets. :7–12.
.
2006.
[IPMaGiReSeSi06] On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
.
2006.
[IPMaReSi06] On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
.
2006.
[IPGiMaReSeSi06a] Optimal control of continuous Petri nets via model predictive control. :235–241.
.
2006.
[IPGiMaReSeSi06b] Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
.
2006.
[IPReHaSi07] Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.
.
2007.
[PJCS-TSCM07] Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans. 37:431-444.
.
2007.
[IPCaGiMaReSeSi07] State Estimation of Petri Nets by Transformation. :194-199.
.
2007.