OA.uninova.pt

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | Date | Divisions | WoS Indexed | WoS Citations | No Grouping
Number of items: 25.

Article

Moutinho, Filipe and Gomes, Luís (2014) Asynchronous-channels within Petri net based GALS distributed embedded systems modeling. IEEE Transactions on Industrial Informatics, p. 1. ISSN 1551-3203. eISSN 1941-0050. URL: http://dx.doi.org/10.1109/TII.2014.2341933.

Book Section

Moutinho, Filipe and Gomes, Luís (2016) Conclusions and Future Work. In: Distributed Embedded Controller Development with Petri Nets. SpringerBriefs in Electrical and Computer Engineering, 150 . Springer, pp. 69-72. ISBN 978-3-319-20821-3. eISBN 978-3-319-20822-0. ISSN 2191-8112. eISSN 2191-8120. URL: http://dx.doi.org/10.1007/978-3-319-20822-0_5.

Moutinho, Filipe and Gomes, Luís (2016) Development of Distributed Embedded Controllers. In: Distributed Embedded Controller Development with Petri Nets. SpringerBriefs in Electrical and Computer Engineering, 150 . Springer, pp. 19-41. ISBN 978-3-319-20821-3. eISBN 978-3-319-20822-0. ISSN 2191-8112. eISSN 2191-8120. URL: http://dx.doi.org/10.1007/978-3-319-20822-0_3.

Costa, Anikó and Barbosa, Paulo E. S. and Moutinho, Filipe and Pereira, Fernando and Ramalho, Franklin and Figueiredo, Jorge C. A. and Gomes, Luís (2013) MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models. In: Formal Methods in Manufacturing Systems. IGI Global, pp. 112-135. ISBN 9781466640344. eISBN 9781466640351. URL: http://dx.doi.org/10.4018/978-1-4666-4034-4.ch006.

Gomes, Luís and Costa, Anikó and Barros, João Paulo and Moutinho, Filipe and Pereira, Fernando (2013) Merging and Splitting Petri Net Models within Distributed Embedded Controller Design. In: Embedded Computing Systems. IGI Global , pp. 160-183. ISBN 9781466639225. eISBN 9781466639232. URL: http://dx.doi.org/10.4018/978-1-4666-3922-5.ch009.

Conference or Workshop Item

Gomes, Luís and Costa, Anikó and Moutinho, Filipe and Mota, Ricardo (2015) Attracting students to engineering through autonomous sailing yacht development. [Paper]. In: 2015 IEEE International Conference on Industrial Technology (ICIT), 17-19 March 2015 , Seville. URL: http://dx.doi.org/10.1109/ICIT.2015.7125579.

Moutinho, Filipe and Ribeiro, Jose and Gomes, Luís (2015) Distributed controllers modeling through Petri nets with multi-asynchronous-channels. [Paper]. In: 2015 IEEE International Conference on Industrial Technology (ICIT), 17-19 March 2015 , Seville. URL: http://dx.doi.org/10.1109/ICIT.2015.7125319.

Silva, Edgar M. and Campos-Rebelo, Rogerio and Hirashima, Takahiro and Moutinho, Filipe and Maló, Pedro and Costa, Anikó and Gomes, Luís (2014) Communication support for Petri nets based distributed controllers. [Paper]. In: 2014 IEEE 23rd International Symposium on Industrial Electronics (ISIE), 1-4 June 2014, Istanbul. URL: http://dx.doi.org/10.1109/ISIE.2014.6864769.

Gomes, Luís and Moutinho, Filipe and Pereira, Fernando and Ribeiro, Jose and Costa, Anikó and Barros, João Paulo (2014) Extending input-output place-transition Petri nets for distributed controller systems development. [Paper]. In: 2014 International Conference on Mechatronics and Control (ICMC), 3-5 July 2014 , Jinzhou . URL: http://dx.doi.org/10.1109/ICMC.2014.7231723.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2014) IOPT-tools — Towards cloud design automation of digital controllers with Petri nets. [Paper]. In: 2014 International Conference on Mechatronics and Control (ICMC), 3-5 July 2014 , Jinzhou . URL: http://dx.doi.org/10.1109/ICMC.2014.7232002.

Moutinho, Filipe and Gomes, Luís (2013) Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. [Paper]. In: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, APR 15-17, 2013 , Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-37291-9_24.

Moutinho, Filipe and Pimenta, Jose and Gomes, Luís (2013) Configuring communication nodes for networked embedded systems specified by Petri nets. [Paper]. In: 2013 IEEE International Symposium on Industrial Electronics, 28-31 May 2013, Taipei, Taiwan . URL: http://dx.doi.org/10.1109/ISIE.2013.6563867.

Moutinho, Filipe and Gomes, Luís (2013) Distributed embedded systems design using Petri nets. [Paper]. In: 2013 23rd International Conference on Field programmable Logic and Applications, 2-4 Sept. 2013, Porto, Portugal. URL: http://dx.doi.org/10.1109/FPL.2013.6645617.

Gomes, Luís and Moutinho, Filipe and Pereira, Fernando (2013) IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets. [Paper]. In: 2013 23rd International Conference on Field programmable Logic and Applications, 2-4 Sept. 2013, Porto, Portugal. URL: http://dx.doi.org/10.1109/FPL.2013.6645633.

Moutinho, Filipe and Gomes, Luís (2013) Towards distributed execution of Petri net conflicts through model transformation. [Paper]. In: 2013 IEEE International Conference on Industrial Technology (ICIT), 225-28 Feb. 2013, Cape Town. URL: http://dx.doi.org/10.1109/ICIT.2013.6505879.

Barbosa, Paulo E. S. and Morais, Misael and Galdino, Katia and Andrade, Melquisedec and Gomes, Luís and Moutinho, Filipe and de Figueiredo, Jorge C. A. (2013) Towards medical device behavioural validation using Petri nets. [Paper]. In: Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 20-22 June 2013, Porto, Portugal. URL: http://dx.doi.org/10.1109/CBMS.2013.6627756.

Moutinho, Filipe and Pimenta, Jose and Gomes, Luís (2012) Dimensionamento da infraestrutura de comunicação em sistemas GALS especificados através de redes de Petri. [Paper]. In: REC’2012 – VIII Jornadas sobre Sistemas Reconfigurávei.

Moutinho, Filipe and Gomes, Luís and Costa, Anikó and Pimenta, Jose (2012) Asynchronous wrappers configuration within GALS systems specified by Petri nets. [Paper]. In: 2012 IEEE International Symposium on Industrial Electronics, 28-31 May 2012, Hangzhou. URL: http://dx.doi.org/10.1109/ISIE.2012.6237288.

Moutinho, Filipe and Gomes, Luís and Costa, Anikó and Pimenta, Jose (2012) Asynchronous wrappers configuration within GALS systems specified by Petri nets. [Paper]. In: 2012 IEEE International Symposium on Industrial Electronics, 28-31 May 2012, Hangzhou. URL: http://dx.doi.org/10.1109/ISIE.2012.6237288.

Moutinho, Filipe and Gomes, Luís (2012) Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_16.

Moutinho, Filipe and Gomes, Luís (2012) Extending a net splitting operation for decomposition of high-level Petri nets. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389080.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2012) Model-checking framework for embedded systems controllers development using IOPT Petri nets. [Paper]. In: 2012 IEEE International Symposium on Industrial Electronics, 28-31 May 2012, Hangzhou. URL: http://dx.doi.org/10.1109/ISIE.2012.6237295.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2012) A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_14.

Pereira, Fernando and Moutinho, Filipe and Ribeiro, Jose and Gomes, Luís (2012) Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389075.

Pereira, Fernando and Gomes, Luís and Moutinho, Filipe (2011) Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_27. (ISI Web of Science).

This list was generated on Wed Mar 29 14:12:28 2017 GMT Daylight Time.