 |
  
|  |
 |
ABCM Symposium Series in Mechatronics
Vol. 3
Section III - INDUSTRIAL INFORMATICS AND DISCRETE SYSTEMS
| III.01: |
|
VERIFICATION AND VALIDATION OF AN ANALYSIS MODEL OF CANBASED NETWORKED CONTROL SYSTEMS
Eduardo Paciência Godoy, Rafael Vieira de Sousa, Arthur José Vieira Porto, Ricardo Yassushi Inamasu |
|
pp.386-394 |
|
| III.02: |
|
RELIABILITY ANALYSIS OF ELECTRONIC EQUIPAMENT BASED ON WARRANTY FAILURE DATABASE
Danielli Villar Lemes, Érico Pessoa Felix, Gilberto Francisco Martha de Souza |
|
pp.395-404 |
|
| III.03: |
|
FLEXIBLE MANUFACTURING SYSTEMS MODELLING USING HIGH LEVEL PETRI NETS
Alexandre da Silva Ribeiro, Eduard Montgomery Meira Costa, Eduardo José Lima II |
|
pp.405-413 |
|
| III.04: |
|
ANALYSIS OF CUSTOMIZED AND COMMERCIAL SOLUTIONS FOR REMOTE MONITORING OF MANUFACTURING PROCESS
Carlos Eduardo Oliveira da Silva, Emil Yoshigae Nakao, Pedro Paulo Gomes D. de O. Santos, Tiago Pinto de Souza, Emília Villani |
|
pp.414-423 |
|
| III.05: |
|
FAULT DIAGNOSIS IN FUEL CELLS BASED ON BAYESIAN NETWORKS
Roy Andres Gomez Morales, Luis Alberto Riascos, Paulo Eigi Miyagi |
|
pp.424-433 |
|
| III.06: |
|
INTEGRATED TOOLS ENVIRONMENT FOR MODELING AND ANALYSIS OF AUTOMATED PLANNING SYSTEMS
Tiago Stegun Vaquero, Fernando Sette, Eston Almança dos Santos, José Reinaldo Silva |
|
pp.434-443 |
|
| III.07: |
|
MODELING AND ANALYSING OF THE MATERIAL ENTRY FLOW SYSTEM IN A PICKLING LINE PROCESS USING PETRI NET
Marília Gabriela Viana Nassar, José Isidro Garcia Melo, Paulo E. Miyagi, Diolino dos Santos Filho |
|
pp.444-453 |
|
| III.08: |
|
RESOURCES ALLOCATION CONTROL IN FLEXIBLE MANUFACTURING SYSTEMS USING THE DEADLOCK AVOIDANCE METHOD
Francisco Yastami Nakamoto, Paulo Eigi Miyagi, Diolino José dos Santos Filho |
|
pp.454-460 |
|
| III.09: |
|
SIMULATION AND FORMAL VERIFICATION OF INDUSTRIAL SYSTEMS CONTROLLERS
José Mendes Machado, Eurico Augusto Rodrigues Seabra, José Creissac Campos, Filomena Soares, Celina Pinto Leão, Jaime Carlos L. Ferreira da Silva |
|
pp.461-470 |
|
| III.10: |
|
USING TIME PETRI NETS FOR MODELING AND VERIFICATION OF TIMED CONSTRAINED WORKFLOW SYSTEMS
Pedro M. Gonzalez del Foyo, José Reinaldo Silva |
|
pp.471-478 |
Copyright © 2002 ABCM. All Rights Reserved.
Este site é melhor visualizado com Internet Explorer 5.5 ou superior; Netscape Navigator
6.0 ou superior; Resolução de vídeo 800x600 pixels ou superior.
Termos de uso | Política de privacidade
|
 |
 |
        
|
 |