Publications

Export 57 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Title is C  [Clear All Filters]
2015
2014
2013
[1462] Fraca, E, Haddad S.  2013.  Complexity Analysis of Continuous Petri Nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN).
[1492] Mahulea, C, Julvez J, Vazquez CR, Silva M.  2013.  Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:387-406.
[1493] Julvez, J, Vazquez CR, Mahulea C, Silva M.  2013.  Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
[1498] Vazquez, CR, Ramirez-Treviño A, Silva M.  2013.  Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
[1505] Seatzu, C, Silva M, van Schuppen J.(ed.).  2013.  Control of Discrete-Event Systems: Automata and Petri-Net Perspectives. Lecture Notes y Control and Information Sciences. 433:478.
2012
[1435] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems.
[1448] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems (WODES'12). :47-53.
[1408] Requeno, JI, Colom JM.  2012.  Compact representation of biological sequences using set decision diagrams. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1426] Mayordomo, E, Becher V, Bienvenu L, Downey R.  2012.  Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports. 2(1)
[1441] F, F, B L\"owe, E M.  2012.  CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
2011
[1376] Catalán, C, Serna F, Blesa A, Rams JM, Colom JM.  2011.  COSME: A Distributed Control Platform for Communicating Machine Tools in Agile Manufacturing Systems. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
[1384] Catalán, C, Serna F, Civera T, Blesa A, Rams JM.  2011.  Control design for machine tools using Domiciano, an IDE based on software components. 16th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2011).
[1508] Murua, A, González I, Gómez-Martínez E.  2011.  Cloud-based Assistive Technology Services. Proceedings of the 3rd Workshop on Software Services: Semantic-based Software Services (WoSS) at the Federated Conference on Computer Science and Information Systems (FedCSIS).
[1371] Serna, F, Catalán C, Blesa A, Rams JM, Colom JM.  2011.  Control software for a cutting glass machine tool built using the COSME platform. A case study. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
[1372] Catalán, C, Serna F, Blesa A, Rams JM, Colom JM.  2011.  Communication types for manufacturing systems. A proposal to Distributed Control System based on IEC 61499. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
[1293] Gu, X, Lutz JH, Mayordomo E.  2011.  Curves that must be retraced. Information and Computation. 209:992--1006.
2010
[1255] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.
[1288] Recalde, L, Haddad S, Silva M.  2010.  Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.
2009