Publications
] Filters: Author is M. Silva [Clear All Filters]
[ICReSiEzTe04] .
2004. Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
[IPJuJiReSi04a] .
2004. On Observability in Timed Continuous Petri Net Systems. :60-69.
[IPSiRe03] .
2003. On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
[IPSiRe03b] .
2003. Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
[276] .
1990. Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
[CS-DS-90] .
1990. Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
[278] .
1989. Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. Third IEEE International Workshop on Petri Nets and Performance Models (PNPM'89). :200-209.
[CCS-Kyoto-89] .
1989. Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
[CS-Lyon-89] .
1989. Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.
[IPReJuSi02] .
2002. Steady State Performance evaluation for some continuous Petri nets. :N479.
[IPJuReSi02] .
2002. On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
[IPJuReSi03a] .
2003. On reachability in autonomous continuous Petri net systems.
[IPJiReSi01] .
2001. Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
[ICReTeSi96] .
1996. SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
[IPJiJuReSi05] .
2005. On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
[IPJuJiReSi04b] .
2004. Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.
[ARJuReSi05] .
2005. Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
[IPJuBeReSi04] .
2004. Event-driven optimal control of continuous Petri nets. :69-74.
[IPHaReSi06] .
2006. On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
[IPMaReSi06] .
2006. On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
[IPMaGiReSeSi06] .
2006. On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
[IPGiMaReSeSi06a] .
2006. Optimal control of continuous Petri nets via model predictive control. :235–241.
[IPGiMaReSeSi06b] .
2006. Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
[IPXuReSi06] .
2006. Tracking control of join-free timed continuous Petri net systems.
[ARReTeSi97] .
1998. Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
