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:  
Showing results 28 to 47 of 128 < previous   next >
Issue DateTitleAuthor(s)TypeAccess Type
2013Data collection for global monitoring and trend analysis in the GRACE multi-agent systemPereira, Arnaldo; Rodrigues, Nelson; Leitão, PauloconferenceObjectrestrictedAccess
2009Decision support system for Petri nets enabled automation componentsPinto, João; Mendes, João M.; Leitão, Paulo; Colombo, Armando W.; Bepperling, Axel; Restivo, FranciscoconferenceObjectrestrictedAccess
2008Decision support system in a service-oriented control architecture for industrial automationLeitão, Paulo; Mendes, João M.; Colombo, Armando W.conferenceObjectrestrictedAccess
2012Deployment of multi-agent systems for industrial applicationsPereira, Arnaldo; Rodrigues, Nelson; Leitão, PauloconferenceObjectrestrictedAccess
2008Distributed control patterns using device profile for Web servicesMendes, João M.; Rodrigues, Alexandre; Leitão, Paulo; Colombo, Armando W.; Restivo, FranciscoconferenceObjectrestrictedAccess
2006Disturbance detection, recover and prediction in holonic manufacturing controlLeitão, Paulo; Barbosa, JoséconferenceObjectrestrictedAccess
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.conferenceObjectopenAccess
2009Engineering tools for the integration of service-oriented production systemsLeitão, Paulo; Mendes, João M.; Bepperling, Axel; Cachapa, Daniel; Colombo, Armando W.conferenceObjectrestrictedAccess
2011Enhancing ADACOR with biology insights towards reconfigurable manufacturing systemsBarbosa, José; Leitão, Paulo; Adam, Emmanuel; Trentesaux, DamienconferenceObjectrestrictedAccess
2011Enhancing service-oriented holonic multi-agent systems with self-organizationBarbosa, José; Leitão, PauloconferenceObjectopenAccess
2007Evolvable production systems in a RMS context: enabling concepts and technologiesBarata, José; Onori, Mauro; Frei, Regina; Leitão, PauloconferenceObjectopenAccess
2005Experimental validation of ADACOR holonic control systemLeitão, Paulo; Restivo, FranciscoarticlerestrictedAccess
2013Flexible job shop scheduling problem in manufacturingCurralo, Ana; Pereira, Ana I.; Barbosa, José; Leitão, PauloconferenceObjectopenAccess
2013Flexible job shop scheduling problem in manufacturingCurralo, Ana; Pereira, Ana I.; Barbosa, José; Leitão, PauloconferenceObjectopenAccess
2006A formal specification approach for holonic control systems: the ADACOR caseLeitão, Paulo; Colombo, Armando W.; Restivo, FranciscoarticlerestrictedAccess
2005Formal specification of ADACOR holonic control system: coordination modelsLeitão, Paulo; Colombo, Armando W.; Restivo, FranciscoconferenceObjectrestrictedAccess
2003Formal specification of holonic control system ADACOR product holon, using high-level Petri NetsLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco; Schoop, RonaldconferenceObjectrestrictedAccess
2003A formal validation approach for holonic control system specificationsLeitão, Paulo; Colombo, Armando W.; Restivo, FranciscoconferenceObjectopenAccess
2006Foundations for a core ontology of manufacturingBorgo, Stefano; Leitão, PaulobookPartrestrictedAccess
2000A framework for distributed manufacturing applicationsLeitão, Paulo; Restivo, FranciscoconferenceObjectopenAccess