Biblioteca Digital do Instituto Politécnico de Bragança   Instituto Politécnico de Bragança

Biblioteca Digital do IPB >

Browsing by Author Leitão, Paulo

Jump to: 0-9 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
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 40 to 59 of 139
< previous   next >
Issue DateTitleAuthor(s)
2010Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automationLeitão, Paulo; Alves, Joel; Mendes, João M.; Colombo, Armando W.
2009Engineering tools for the integration of service-oriented production systemsLeitão, Paulo; Mendes, João M.; Bepperling, Axel; Cachapa, Daniel; Colombo, Armando W.
2011Enhancing ADACOR with biology insights towards reconfigurable manufacturing systemsBarbosa, José; Leitão, Paulo; Adam, Emmanuel; Trentesaux, Damien
2011Enhancing service-oriented holonic multi-agent systems with self-organizationBarbosa, José; Leitão, Paulo
2007Evolvable production systems in a RMS context: enabling concepts and technologiesBarata, José; Onori, Mauro; Frei, Regina; Leitão, Paulo
2005Experimental validation of ADACOR holonic control systemLeitão, Paulo; Restivo, Francisco
2009Extraction of knowledge from petri nets models in service oriented based industrial automation systemsLeitão, Paulo; Alves, Joel
2006A formal specification approach for holonic control systems: the ADACOR caseLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2005Formal specification of ADACOR holonic control system: coordination modelsLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2003Formal specification of holonic control system ADACOR, product holon, using high-level Petri netsLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco; Schoop, Ronald
2003A formal validation approach for holonic control system specificationsLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2006Foundations for a core ontology of manufacturingBorgo, Stefano; Leitão, Paulo
2000A framework for distributed manufacturing applicationsLeitão, Paulo; Restivo, Francisco
2013Gestão colaborativa e inteligente em micro-gridsLeitão, Paulo; Fernandes, Tito António Moura Mesquita
2012GRACE ontology integrating process and quality controlLeitão, Paulo; Rodrigues, Nelson; Turrin, Claudio; Pagani, Arnaldo; Petrali, Pierluigi
2008High-level petri nets control modules for service-oriented devices: a case studyMendes, João M.; Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco
2012High-level petri nets for the process description and control in service-oriented manufacturing systemsLeitão, Paulo; Mendes, João M.; Colombo, Armando W.; Restivo, Francisco
2002Holonic adaptive production control systemsLeitão, Paulo; Restivo, Francisco
2008A holonic approach to dynamic manufacturing schedulingLeitão, Paulo; Restivo, Francisco
2006A holonic approach to dynamic manufacturing schedulingLeitão, Paulo; Restivo, Francisco
Showing results 40 to 59 of 139
< previous   next >

 


  © Instituto Politécnico de Bragança - Biblioteca Digital - Feedback - Statistics
  Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE