Publications

Export 653 results:
Sort by: [ Author (Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
[1276] Gómez-Martínez, E, Merseguer J.  2010.  Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
application/pdf icon
GMM_EPEW2010.pdf
[IPGiJuSe03] Giua, A, Julvez J, Seatzu C.  2003.  Marking Estimation of Petri Nets based on Partial Observation. :-.
0 icon
ACC2003.pdf
M
[IPMaCaGiSe07] Mahulea, C, Cabasino MP, Giua A, Seatzu C.  2007.  A State Estimation Problem for Timed Continuous Petri Nets. :1770-1775.
C
[IPCoGiSeJu03] Corona, D, Giua A, Seatzu C, Julvez J.  2003.  Observers for nondeterministic l-free labeled Petri nets.
0 icon
etfa2003.pdf
F
[1251] Franceschelli, M, Egerstedt M, Giua A, Mahulea C.  2009.  Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
C
[1446] Cabasino, MP, Giua A, Mahulea C, Seatzu C.  2011.  On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
D
[1395] de-Miguel-Casado, G, García-Chamizo JM.  2008.  A Software Library for Reliable Online-Arithmetic with Rational Numbers. Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures.
P
[1398] Pont, MT S, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2007.  Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
D
[1403] de-Miguel-Casado, G, García-Chamizo JM.  2006.  The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.
F
[1441] F, F, B L\"owe, E M.  2012.  CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
T
[TrEz-03] Tricas, F, Ezpeleta J.  2003.  Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. :16-29.
[TricasEzpeletaETFA99] Tricas, F, Ezpeleta J.  1999.  A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.. :1047-1056.
[TricasEzpeleta97] Tricas, F, Ezpeleta J.  2000.  A Partial Approach to the Problem of Deadlocks in Processes with Resour ces. :135-150.
M
[RP-90-04] Martínez, J, Ezpeleta J.  1990.  The lift example.
[RP-90-05] Martínez, J, Ezpeleta J.  1990.  Flexible manufacturing system.
E
[RP-91-03] Ezpeleta, J, Villarroel JL.  1991.  Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
[RP-91-10] Ezpeleta, J, Martínez J.  1991.  Petri Nets as a specification language for manufacturing systems.
[RP-91-34] Ezpeleta, J, Couvreur JM.  1991.  A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. :145-164.
[RP-92-09] Ezpeleta, J, Martínez J.  1992.  Formal specification and validation in production plants. :64-73.
[RP-92-33] Ezpeleta, J, Martínez J.  1992.  Petri Nets as a specification language for manufacturing systems. :427-436.
[RP-92-34] Ezpeleta, J, Villarroel JL.  1992.  A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
[RP-93-07] Ezpeleta, J, Martínez J.  1993.  Synthesis of live models for a class of FMS. :557-563.
[RP-93-21] Ezpeleta, J, Haddad S.  1993.  A distributed algorithm for ressource management. :15-26.
[RP-93-38] Ezpeleta, J, Haddad S.  1993.  A distributed algorithm for resource management. :61-72.
T
[TE-2] Tricas, F, Ezpeleta J.  1999.  A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources. :1047-1098.