Publications
Filters: Author is M. Silva [Clear All Filters]
[RP-89-07] A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
.
1989.
[RP-83-06] La enseñanza de la Informática en la E.T.S. Ingenieros Industriales de la Universidad de Zaragoza. :165-186.
.
1983.
[RP-84-09] A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. :72-77.
.
1984.
[199] Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
.
1993.
[1364] Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
.
1993.
[RP-89-08] Logical controllers. :157-166bis.
.
1989.
[RP-86-07] Maximun firing deviation and fair relations in Petri nets. :1008-1010.
.
1986.
[RP-80-05] Memoria de actividades del Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :111-116.
.
1980.
[RP-89-13] Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
.
1989.
[RP-90-08] Minimal Deadlocks in Free Choice nets.
.
1990.
[1281] Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.
[1464] Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
.
2013.
[1547] Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
.
2014.
[RP-87-05] Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
.
1987.
[1362] Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
.
1993.
.
1999.
[RP-84-04] Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
.
1984.
[RP-93-14] Modular composition of intelligent control policies for FMS models. :405-410.
.
1993.
[RP-90-09] Modular Synthesis of Free Choice Nets.
.
1990.
[RP-89-11] Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
.
1989.
[1254] New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
.
2009.
.
2008.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
.
1996. .
1995.