Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Petri net generating development support systemT Oumi G Ding; H Murakoshi; M Sugiyama; Y Dohi; Y Cai; Heloisa Helena Oliveira Martins Shih 1961-; Takashi Sekiguchi; International Conference on Industrial Electronics, Control and Instrumentation (1991 Kobe)Kobe : Ieee/Sice, 1991 Proceedings Iecon`91Kobe Ieee/Sice 1991Item não circula. Consulte sua biblioteca.(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Open distributed supervisory system design using Petri netsGladys Deifan Bastidas Gustin Fabrício Junqueira 1975-; Paulo Eigi Miyagi 1959-; IEEE International Symposium on Industrial Electronics (2003 Rio de Janeiro)ISIE'2003 Piscataway : IEEE, 2003Piscataway IEEE 2003Item não circula. Consulte sua biblioteca.(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
An object-oriented approach for hybrid system modellingEmília Villani Paulo Eigi Miyagi 1959-; Robert Valette; Triennial World Congress of the International Federation of Automatic Control (15. 2002 Barcelona)Proceedings Kindlington : Elsevier, 2002Kindlington, Oxford Elsevier 2002Item não circula. Consulte sua biblioteca.(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Automatic generation of the production system controlFrancisco Yastami Nakamoto Paulo Eigi Miyagi 1959-; Diolino Jose dos Santos Filho 1961-; International Congress of Mechanical Engineering (17. 2003 São Paulo)COBEM 2003: proceedings São Paulo : ABCM, 2003São Paulo ABCM 2003Item não circula. Consulte sua biblioteca.(Acessar) |
|
5 |
Material Type: Relatório Técnico
|
Formal verification of the rafaele landing systemEmília Villani Paulo Eigi Miyagi 1959-São Paulo EPUSP 2005Item não circula. Consulte sua biblioteca.(Acessar) |
|
6 |
Material Type: Livro
|
Automatic generation of the production system controlFrancisco Yastami Nakamoto Paulo Eigi Miyagi 1959-; Diolino Jose dos Santos Filho 1961-Adamowski, Julio; Tamai, Edilson Hiroshi; Villani, Emília; Miyagi, Paulo Eigi, ed Mechatronics Rio de Janeiro : ABCM, 2004Rio de Janeiro ABCM 2004Acesso online |
|
7 |
Material Type: Artigo de Congresso
|
Uniform computational tretament of heterogeneous discrete-event dynamic system modelsWilson Munemassa Arata Paulo Eigi Miyagi 1959-; IEEE International Symposium on Industrial Electronics (2003 Rio de Janeiro)ISIE'2003 Piscataway : IEEE, 2003Piscataway IEEE 2003Item não circula. Consulte sua biblioteca.(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Systematization of the project of the production system controlFrancisco Yastami Nakamoto Paulo Eigi Miyagi 1959-; Diolino Jose dos Santos Filho 1961-; IEEE International Symposium on Industrial Electronics (2003 Rio de Janeiro)ISIE'2003 Piscataway : IEEE, 2003Piscataway IEEE 2003Item não circula. Consulte sua biblioteca.(Acessar) |
|
9 |
Material Type: Livro
|
Using petri nets and rule-based system in manufacturing systemsMárcio Rillo 1953-2010Huber, R (*) et Al Berlin : J C Baltzer, 1989 Artificial Intelligence in Scientific Computation: Towards Second Generation SystemsBerlin J C Baltzer 1989Item não circula. Consulte sua biblioteca.(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Uncertainty in hybrid systems and the fire management system designEmília Villani Percy Javier Igei Kaneshiro; Paulo Eigi Miyagi 1959-; World Conference on Experimental Heat Transfer, Fluid Mechanics , and Thermodynamics (6. 2005 Matsushima, Miyagi, Japan)IFAC : Peprints Prague : IFAC, 2005Prague IFAC 2005Item não circula. Consulte sua biblioteca.(Acessar) |