Fernando García Vallés

Phone: 
(+34) 976762359
Email: 
gvallesatunizar [dot] es
Position: 
Ph.D. Member

Publications

2006
[1329] Carmona, J, Colom JM, Cortadella J, García-Vallés F.  2006.  Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
2005
2003
2002
[910] Ezpeleta, J, Tricas F, García-Vallés F, Colom JM.  2002.  A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation. 18(4):621-625.
[1332] García-Vallés, F, Colom JM.  2002.  Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
2000
1999
[1342] García-Vallés, F, Colom JM.  1999.  Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
1998
[1083] Ezpeleta, J, García-Vallés F, Colom JM.  1998.  A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[908] García-Vallés, F, Tricas F, Ezpeleta J, Colom JM.  1998.  Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.
[917] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  1998.  A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources. International Workshop on Discrete Event Systems, WODES’98. :273-278.
1997
[1081] García-Vallés, F, Colom JM.  1997.  Structural Analysis of Signal Transition Graphs.. Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. :123-134.
1995
[1076] García-Vallés, F, Colom JM.  1995.  A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs. 1995 IEEE International Conference on Systems, Man and Cybernetics. 4:3451-3456.