Publications
Filters: Author is M. Silva [Clear All Filters]
[1227] Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
.
2009.
[1254] New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
.
2009.
[1226] Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2009.
[1253] An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
.
2009.
.
2009.
[1225] Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
.
2009.
[1252] Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
.
2009.
.
2009.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[1257] Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.
.
2009.
[ARMAGIRESESI08] Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
.
2008.
.
2008.
[IPVaRaReSi08] On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
.
2008.
.
2008.
[ARMARARESI08] Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
.
2008.
[IPVaReSi08] Stochastic-Continuous State Approximation of Markovian Petri Net Systems. IEEE Conference on Decision and Control.
.
2008.
[IPKLMA08] Formal analysis of timed continuous Petri net.
.
2008.
[IPVaMaMiReSi08] Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
.
2008.
[TRMaGiReSeSi07] Optimal model predictive control of Timed Continuous Petri nets.
.
2008.
[IPCaGiMaReSeSi07] State Estimation of Petri Nets by Transformation. :194-199.
.
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.
[IPReHaSi07] Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.
.
2007.
[IPGiMaReSeSi06b] Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
.
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.