Publications
Filters: Author is M. Silva [Clear All Filters]
[1252] Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
.
2009.
[RP-89-02] Fair control of discrete event systems via Petri nets. :19-23.
.
1989.
[IPJuBeReSi04] Event-driven optimal control of continuous Petri nets. :69-74.
.
2004.
[RP-79-02] Evaluation des performances des applications temps réel de type logique. :152-157.
.
1979.
[RP-79-03] Evaluación de funciones lógicas: Generación óptima de código a partir de un grafo de decisiones binarias. :628-636.
.
1979.
[RP-84-06] Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
.
1984.
[RP-85-11] Error detection and correction on Petri net models of discrete control systems. :921-924.
.
1985.
[CCS-TSE-91] Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
.
1991.
[CS-PE-93] Embedded Product Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Performance Evaluation. 18:3-19.
.
1993.
.
2001.
[1253] An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
.
2009.
[1504] Distributed Model Predictive Control of Timed Continuous Petri nets. 52nd IEEE Conference on Decision and Control (CDC'2013).
.
2013.
[RP-86-01] Diseño de un sistema didáctico de programación y control. :97-108.
.
1986.
[RP-80-10] Diseño de un modelo de instalación automática de fabricación construida con estructuras mecánicas programables y controlada por ordenador. :414-424.
.
1980.
[RP-84-07] Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
.
1984.
[1070] Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994 IEEE International Conference on System, Man and Cybernetics. 2:1671-1676.
.
1994.
[1539] Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
.
2015.
[RP-84-08] Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
.
1984.
[IPJuJiReSi04b] Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.
.
2004.
[SiTe-SMC98] DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
.
1998.
[1501] Decentralized Diagnosis Based on Fault Diagnosis Graph. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
.
2013.
[1388] Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
.
2011.
[1389] Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
.
2011.
[ARJuReSi06] Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
.
2006.
[1549] Deadlock Prevention Policy for S3PR - Application to Robot Planning. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2014.