default search action
12th INDIN 2014: Porto Alegre, RS, Brazil
- 12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014. IEEE 2014, ISBN 978-1-4799-4905-2
- Markus Oertel, Sebastian Gerwinn, Achim Rettberg:
Simulative evaluation of contract-based change management. 16-21 - Kiran Mantripragada, José Alberto Quintanilha, Mariana Abrantes Giannotti:
Active learning classification and change detection on multispectral images. 26-30 - Gabriela Miranda, Adriano Chaves Lisboa, Douglas A. G. Vieira, Francisco Queiroz, Carlos Nascimento:
Color feature selection for smoke detection in videos. 31-36 - Fernando H. D. Guaracy, Carlos A. M. Pinheiro, Luis Henrique de Carvalho Ferreira:
Converting fuzzy models to rough models. 37-42 - Leonardo D. Tavares, Rodney R. Saldanha, Douglas A. G. Vieira:
Extreme learning machine with initialized hidden weight. 43-47 - Stanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin:
Knowledge-based routing in mechanical transportation systems. 48-53 - David Perez, Monica Villaverde, Félix Moreno, Noemi Nogar, Felix Ezcurra, Ekaitz Aznar:
Low-cost radar-based target identification prototype using an expert system. 54-59 - Alexander Maier:
Online passive learning of timed automata for cyber-physical production systems. 60-66 - Francisco de Assis Boldt, Thomas W. Rauber, Flávio Miguel Varejão, Marcos Pellegrini Ribeiro:
Performance analysis of extreme learning machine for automatic diagnosis of electrical submersible pump conditions. 67-72 - Arianna Z. Olivera Salmon, Pedro M. Gonzalez del Foyo, Jose R. Silva:
Scheduling real-time systems with periodic tasks using a model-checking approach. 73-78 - Robson Marinho da Silva, Fabrício Junqueira, Diolino José dos Santos Filho, Paulo E. Miyagi:
A method to design a manufacturing control system considering flexible reconfiguration. 82-87 - Edgar M. Silva, Pedro Maló, Luís Gomes:
A platform independent communication support for distributed controller systems modelled by Petri nets. 88-93 - Rodrigo Martins, Felipe Meneguzzi:
A smart home model using JaCaMo framework. 94-99 - Érico Leão, Francisco Vasques, Paulo Portugal, Carlos Montez:
An opportunistic approach to deal with real-time mesh communication in wireless sensor networks. 100-105 - Carlos M. D. Viegas, Francisco Vasques, Paulo Portugal:
Evaluating the impact of uncontrolled traffic sources upon real-time communication in IEEE 802.11s mesh networks. 106-111 - Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin:
Function block implementation of service oriented architecture: Case study. 112-117 - Tiago Semprebom, Ricardo de Moraes, Carlos Montez, Paulo Portugal, Francisco Vasques:
Quality of service provision assessment for DDBP approach in IEEE 802.15.4 networks. 118-123 - Daniel G. Costa, Luiz Affonso Guedes, Francisco Vasques, Paulo Portugal:
Relevance-based balanced sink mobility in wireless visual sensor networks. 124-129 - Daniel G. Costa, Ivanovitch M. D. Silva, Luiz Affonso Guedes, Paulo Portugal, Francisco Vasques:
Selecting redundant nodes when addressing availability in wireless visual sensor networks. 130-135 - Alexandre Giordani Andreoli, Fabricio da Silva Stein, Carlos Eduardo Pereira:
Development of an electronic management system for a rotary combustion engine. 140-146 - Bekim Cilku, Bernhard Frömel, Peter P. Puschner:
A dual-layer bus arbiter for mixed-criticality systems with hypervisors. 147-151 - Marcela Leite, Cristiano D. Vasconcellos, Marco Aurélio Wehrmeister:
Enhancing automatic generation of VHDL descriptions from UML/MARTE models. 152-157 - Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg:
Evaluation of a state-based real-time scheduling analysis technique. 158-163 - Marisol García-Valls, Diego Perez-Palacin, Raffaela Mirandola:
Extending the verification capabilities of middleware for reliable distributed self-adaptive systems. 164-169 - Guilherme Baumgarten, Markus Oertel, Achim Rettberg, Marcelo Götz:
First results of automatic fault-injection in an AUTOSAR tool-chain. 170-175 - Milena Rota Sena Marques, Eliane Siegert, Lisane B. de Brisolara:
Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain. 176-181 - Frank Reichenbach, Jan Endresen, Stein Erik Ellevseth:
Maximizing diversity in CPUs: Using GPUs as coprocessors to achieve safety integrity. 182-187 - Imad Sanduka, Roman Obermaisser:
Model-based development of Systems-of-Systems with real-time requirements. 188-194 - Bharath Sudev, Leandro Soares Indrusiak:
Predictability enhancement in non-preemptive NoCs using selective packet splitting. 195-200 - Rodrigo Lange, Rômulo Silva de Oliveira:
Probabilistic scheduling of the FlexRay dynamic segment. 201-206 - João Paulo Barros, Isabel Sofia Brito, Luís Gomes:
Requirements specification for controller design - From use cases to IOPT net models. 207-212 - Stefan Seifert, Roman Obermaisser:
Secure automotive gateway - Secure communication for future cars. 213-220 - Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Paulo Cunha:
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system. 221-226 - A. R. Paulon, Antônio Augusto Fröhlich, Leandro Buss Becker, Fábio Paulo Basso:
Wireless sensor network UML profile to support model-driven development. 227-232 - Mario Lucio Roloff, Marcelo Ricardo Stemmer, Jomi Fred Hübner, Robert H. Schmitt, Tilo Pfeifer, Guido Huttemann:
A multi-agent system for the production control of printed circuit boards using JaCaMo and Prometheus AEOlus. 236-241 - Guilherme Serpa Sestito, Paulo Henrique Toledo de Oliveira e Souza, Eduardo A. Mossin, Dennis Brandão, Andre Luis Dias:
Artificial neural networks and signal clipping for Profibus DP diagnostics. 242-247 - Fabien Bouffaron, Pascale Marange, Gérard Morel:
Checking models based on an iterative co-specification process of a critical system. 248-254 - Armando Walter Colombo, Thomas Bangemann, Stamatis Karnouskos:
IMC-AESOP outcomes: Paving the way to collaborative manufacturing systems. 255-260 - Nicole Beatriz Portilla, Max Hering de Queiroz, José Eduardo Ribeiro Cury:
Integration of supervisory control with SCADA system for a flexible manufacturing cell. 261-266 - Daniel Schütz, Christoph Legat, Birgit Vogel-Heuser:
MDE of manufacturing automation software - Integrating SysML and standard development tools. 267-273 - Sten Grüner, Peter Weber, Ulrich Epple:
Rule-based engineering using declarative graph database queries. 274-279 - Javier Castillo-Garcia, Sandra M. T. Muller, Eduardo Caicedo, Anibal Cotrina, Teodiano F. Bastos:
Comparison among feature extraction techniques based on power spectrum for a SSVEP-BCI. 284-288 - Dominic Gorecky, Mathias Schmitt, Matthias Loskyll, Detlef Zühlke:
Human-machine-interaction in the industry 4.0 era. 289-294 - Silvia S. C. Botelho, Nelson Duarte Filho, Danúbia Bueno Espíndola, Marcos Amaral, Leonardo R. Emmendorfer, Rafael Penna, Enzo Morosini Frazzon, Carlos Eduardo Pereira, Renato Ventura Henriques:
Including operator's skill and environment conditions in IMS. 295-300 - Taiser T. T. Barros, Walter Fetter Lages:
A backstepping non-linear controller for a mobile robot implemented in ROS. 304-309 - Adilson Souza Candido, Roberto Kawakami Harrop Galvão, Takashi Yoneyama:
Actuator fault diagnosis and control of a quadrotor. 310-315 - Thiago de Castro Martins, Marcos de Sales Guerra Tsuzuki, Rogerio Y. Takimoto, Ahmad Barari, Giulliano B. Gallo, Marcos A. A. Garcia, Hamilton Tiba:
Algorithmic iterative sampling in coordinate metrology plan for coordinate metrology using dynamic uncertainty analysis. 316-319 - Felipe O. Silva, Luis Henrique de Carvalho Ferreira, Leonardo Breseghello Zoccal, Fernando H. D. Guaracy:
An alternative linear topology for conditioning resistive sensors. 320-325 - Luis Garrote, Cristiano Premebida, Marco Silva, Urbano Nunes:
An RRT-based navigation approach for mobile robots and automated vehicles. 326-331 - Cassius Zanetti Resende, Ricardo O. Carelli, Mário Sarcinelli Filho:
Coordinated path-following for multi-robot systems using the cluster space framework approach. 332-337 - Salim Ibrir, Craig J. Ramlal:
Iterative learning control schemes for a class of nonlinear systems: Theory and real-time implementation. 338-343 - Joao Batista M. Silva Filho, Marcos de Sales Guerra Tsuzuki, Edson K. Ueda, Thiago de Castro Martins, Rogerio Y. Takimoto, Giulliano B. Gallo, Marcos A. A. Garcia, Hamilton Tiba:
Mesh generation for surfaces with distinct boundary segmentation. 344-348 - Rogerio Y. Takimoto, Marcos de Sales Guerra Tsuzuki, Renato Vogelaar, Thiago de Castro Martins, Yuma Iwao, Toshiyuki Gotoh, Seiichiro Kagei, Giulliano B. Gallo, Marcos A. A. Garcia, Hamilton Tiba:
Shape reconstruction from multiple RGB-D point cloud registration. 349-352 - Felipe Gomes de Carvalho, Alberto Barbosa Raposo, Ismael H. F. dos Santos, Mauricio Galassi:
Virtual reality techniques for planning the offshore robotizing. 353-358 - Leonardo Ascorti, Stefano Savazzi, Stefano Galimberti:
Cloud-based wirelesshart networking for critical industrial monitoring and control. 362-369 - Jean Michel Winter, Ivan Müller, Carlos Eduardo Pereira, Stefano Savazzi, Leandro Buss Becker, João Cesar Netto:
Coexistence issues in wireless networks for factory automation. 370-375 - Johannes Dell, Thomas Greiner, Wolfgang Rosenstiel:
Model-based platform design and evaluation of cloud-based cyber-physical systems (CCPS). 376-381 - João Paulo Bodanese, Gustavo Medeiros de Araújo, Guilherme V. Raffo, Leandro Buss Becker:
RBESP: Reliable and best effort stack protocol for UAV collaboration with WSN. 382-387 - Ipek Caliskanelli, Leandro Soares Indrusiak:
Using mobile robotic agents to increase service availability and extend network lifetime on WSRNs. 388-393 - Luis Ribeiro, Joao Dias Ferreira, Catarina Moura, José Barata:
A network inference tool for JADE-based systems. 398-403 - Joao Dias Ferreira, Luis Ribeiro, Hakan Akillioglu, Pedro Neves, Antonio Maffei, Mauro Onori:
Characterization of an agile bio-inspired shop-floor. 404-410 - Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin:
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. 411-417 - Matthias Neubauer, Christian Stary, Florian Krenn:
Subject-oriented process design across organizational control layers. 418-423 - Alexandre Solon Nery, Nadia Nedjah, Felipe Maia Galvão França, Lech Józwiak, Henk Corporaal:
A framework for automatic custom instruction identification on multi-issue ASIPs. 428-433 - Rafael Lerm, Dionísio Doering, Rodrigo H. A. Rech, Carlos Eduardo Pereira, Achim Rettberg:
A model-based design space exploration for embedded image processing in industrial applications. 434-439 - Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto:
A portability study of IEC 61499: Semantics and tools. 440-445 - Gustavo Künzel, Matheus Antonio Correa Ribeiro, Carlos Eduardo Pereira:
A tool for response time and schedulability analysis in modbus serial communications. 446-451 - Rooney Ribeiro Albuquerque Coelho, Ricardo Silva The Pontes:
An algorithm for rodbed ground resistance calculation with FEM validation. 452-456 - Sérgio Leal, Stefan Hauer, Florian Judex, Stefan Gahr:
Implementation of an automated building model generation tool. 457-462 - Luca Fasanotti, Sergio Cavalieri, Marco Tomasini, Fabio Floreani, Stefano Ierace:
Prognostics algorithms for circuit breaker application: A benchmark analysis. 463-468 - Philip Woodall, Torben Jess, Mark Harrison, Duncan C. McFarlane, Amar Shah, William E. Krechel, Eric Nicks:
A framework for detecting unnecessary industrial data in ETL processes. 472-476 - Rafael Giordano Vieira, Omir Correia Alves Junior, Adriano Fiorese:
A multicriteria method for evaluating risks in virtual organizations. 477-482 - Renato Ely Castro, Carlos Eduardo Pereira, Fausto Bastos Líbano, Luciano F. Chaves, J. G. Hermes Jr.:
Automation project framework for energy management ISO50001 compatible. 483-488 - Javad Jassbi, Giovanni Di Orio, Diogo Barata, José Barata:
The impact of cloud manufacturing on supply chain agility. 495-500 - André Dionísio Rocha, Giovanni Di Orio, José Barata, Nikolas Antzoulatos, Elkin Castro, Daniele Scrimieri, Svetan M. Ratchev, Luis Ribeiro:
An agent based framework to support plug and produce. 504-510 - Pedro Neves, Luis Ribeiro, Joao Dias Ferreira, Mauro Onori, José Barata:
Exploring reconfiguration alternatives in self-organising evolvable production systems through simulation. 511-518 - Sebastian Ulewicz, Daniel Schütz, Birgit Vogel-Heuser:
Integration of distributed hybrid multi-agent systems into an industrial IT environment: Improving interconnectivity of industrial IT systems to the shop floor. 519-525 - Adriano Ferreira, Paulo Leitão, Pavel Vrba:
Managing intelligent self-sustained electrical micro-grids. 526-531 - Shirley Cavin, Niels Lohse:
Multi-level skill-based allocation methodology for evolvable assembly systems. 532-537 - Oliver Höftberger, Roman Obermaisser:
Runtime evaluation of ontology-based reconfiguration of distributed embedded real-time systems. 538-544 - Ann-Kristin Cordes, Bernd Hellingrath:
Conceptual approach for integrating tactical spare parts inventory management and transport planning. 548-553 - Marcos Zuccolotto, Thiago Regal da Silva, Carlos Eduardo Pereira, Luca Fasanotti, Sergio Cavalieri, Stefano Ierace:
Device layer agents for an artificial immune intelligent maintenance system. 554-559 - Enzo Morosini Frazzon, André Albrecht, Bernd Hellingrath, Ann-Kristin Cordes, Philipp Saalmann:
Simulation model concept for evaluating spare parts supply chain planning methods. 560-565 - Rafael Penna, Marcos Amaral, Danúbia Bueno Espíndola, Silvia S. C. Botelho, Nelson Duarte Filho, Carlos Eduardo Pereira, Marcos Zuccolotto, Enzo Morosini Frazzon:
Visualization tool for cyber-physical maintenance systems. 566-571 - Diogo S. Dutra, Valter D. Oliveira, José Reinaldo Silva:
A service-oriented approach to technology based industry. 576-581 - Kevin Nagorny, Armando Walter Colombo, José Barata:
A survey of service-based systems-of-systems manufacturing systems related to product life-cycle support and energy efficiency. 582-587 - Sebastian Scholze, Dragan Stokic, Oliver Kotte:
Cross-domain methods and tools for decision support services based on context sensitivity approach. 588-593 - Dragan Stokic, Sebastian Scholze, Christian Decker, Karsten Stobener:
Engineering methods and tools for collaborative development of industrial cyber-physical based products and services. 594-599 - Muthoni Masinde:
An assessment of field readiness for wireless sensor based weatherboards - A calibration report. 604-610 - Carel P. Kruger, Gerhard P. Hancke:
Benchmarking Internet of things devices. 611-616 - Carel P. Kruger, Gerhard P. Hancke:
Implementing the Internet of Things vision in industrial wireless sensor networks. 627-632 - Muthoni Masinde:
IoT applications that work for the African continent: Innovation or adoption? 633-638 - P. L. Croucamp, Suvendi Rimer, Carel P. Kruger:
Locomotive monitoring system using wireless sensor networks. 639-644 - Danúbia Soares Pires, Ginalber Luiz de Oliveira Serra:
Fuzzy digital PID controller design based on robust stability criteria. 654-659 - Tanisia De Carli Foletto, Ubirajara Franco Moreno:
On the performance of unscented Kalman filter with intermittent observations. 660-665 - Marcelo Nobre, Ivanovitch M. D. Silva, Luiz Affonso Guedes:
Reliability evaluation of wirelesshart under faulty link scenarios. 676-682 - Vittorio Rampa, Federico Vicentini, Stefano Savazzi, Nicola Pedrocchi, Marcello Ioppolo, Matteo Giussani:
Safe human-robot cooperation through sensor-less radio localization. 683-689 - J. K. Ariza, Ivan Müller, Jean Michel Winter, João Cesar Netto, Carlos Eduardo Pereira, Valner Joao Brusamarello:
WirelessHART localization algorithm. 690-695 - Tatiane Machado, Ivan Müller, Jean Michel Winter, Victor Dickow, Carlos Eduardo Pereira, João Cesar Netto:
WirelessHART network analyzer with coexistence detection. 696-701 - Lisa Abele, Stephan Grimm, Sonja Zillner, Martin Kleinsteuber:
An ontology-based approach for decentralized monitoring and diagnostics. 706-712 - Birgit Vogel-Heuser, Christian Diedrich, Dorothea Pantförder, Peter Göhner:
Coupling heterogeneous production systems by a multi-agent based cyber-physical production system. 713-719 - Nina Solomakhina, Thomas Hubauer, Steffen Lamparter, Mikhail Roshchin, Stephan Grimm:
Extending statistical data quality improvement with explicit domain models. 720-725 - Stefan Feldmann, Susanne Rösch, Christoph Legat, Birgit Vogel-Heuser:
Keeping requirements and test cases consistent: Towards an ontology-based approach. 726-732 - Borja Ramis, Luis Gonzalez, Sergii Iarovyi, Andrei Lobov, José L. Martínez Lastra, Valeriy Vyatkin, Wenbin William Dai:
Knowledge-based web service integration for industrial automation. 733-739 - Shastri L. Nimmagadda, Heinz Dreher:
Multidimensional ontology modelling - A robust methodology for managing complex and heterogeneous petroleum digital ecosystems. 740-747 - Walter Terkaj, Marcello Urgo:
Ontology-based modeling of production systems for design and performance evaluation. 748-753 - Yihsin Ho, Eri Sato-Shimokawara, Kazuyoshi Wada, Toru Yamaguchi, Norio Tagawa:
A study for assistant robotic system using motion capture method for adapting to human-robot interface. 758-762 - Atsuro Takimoto, Hiroshi Hashimoto, Mihoko Niitsuma:
Effective destination determination for semi-autonomous smart electric wheelchair based on history of human activity. 763-769 - Sho Yokota, Hiroshi Hashimoto, Daisuke Chugo, Kuniaki Kawabata:
Motion design of service robot - Study on human impression. 770-774 - Jinhua She, Hitoshi Nakamura, Junya Imani, Yasuhiro Ohyama, Hiroshi Hashimoto, Min Wu:
Verification of relationship between heart rate and body movement for fatigue estimation. 775-779 - Luca Fasanotti:
A distributed intelligent maintenance system based on artificial immune approach and multi-agent systems. 783-786 - Dionísio Doering:
A model driven engineering methodology for embedded system designs - HIPAO2. 787-790 - Leandro Rosniak Tibola:
A proposal of engineering education architecture: Improve engineer's competencies through practice labs and 3D virtual worlds. 791-794