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
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
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
A method to design a manufacturing control system considering flexible reconfiguration. 82-87 - Edgar M. Silva
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
An opportunistic approach to deal with real-time mesh communication in wireless sensor networks. 100-105 - Carlos M. D. Viegas
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
Quality of service provision assessment for DDBP approach in IEEE 802.15.4 networks. 118-123 - Daniel G. Costa
Relevance-based balanced sink mobility in wireless visual sensor networks. 124-129 - Daniel G. Costa
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
A dual-layer bus arbiter for mixed-criticality systems with hypervisors. 147-151 - Marcela Leite, Cristiano D. Vasconcellos
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
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
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
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system. 221-226 - A. R. Paulon, Antônio Augusto Fröhlich
Wireless sensor network UML profile to support model-driven development. 227-232 - Mario Lucio Roloff, Marcelo Ricardo Stemmer
A multi-agent system for the production control of printed circuit boards using JaCaMo and Prometheus AEOlus. 236-241 - Guilherme Serpa Sestito
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
IMC-AESOP outcomes: Paving the way to collaborative manufacturing systems. 255-260 - Nicole Beatriz Portilla, Max Hering de Queiroz
Integration of supervisory control with SCADA system for a flexible manufacturing cell. 261-266 - Daniel Schütz, Christoph Legat
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
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
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
Algorithmic iterative sampling in coordinate metrology plan for coordinate metrology using dynamic uncertainty analysis. 316-319 - Felipe O. Silva
An alternative linear topology for conditioning resistive sensors. 320-325 - Luis Garrote
An RRT-based navigation approach for mobile robots and automated vehicles. 326-331 - Cassius Zanetti Resende
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
Mesh generation for surfaces with distinct boundary segmentation. 344-348 - Rogerio Y. Takimoto
Shape reconstruction from multiple RGB-D point cloud registration. 349-352 - Felipe Gomes de Carvalho, Alberto Barbosa Raposo
Virtual reality techniques for planning the offshore robotizing. 353-358 - Leonardo Ascorti, Stefano Savazzi
Cloud-based wirelesshart networking for critical industrial monitoring and control. 362-369 - Jean Michel Winter, Ivan Müller
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
RBESP: Reliable and best effort stack protocol for UAV collaboration with WSN. 382-387 - Ipek Caliskanelli
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
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. 411-417 - Matthias Neubauer
Subject-oriented process design across organizational control layers. 418-423 - Alexandre Solon Nery, Nadia Nedjah
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
A model-based design space exploration for embedded image processing in industrial applications. 434-439 - Cheng Pang, Sandeep Patil
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
Prognostics algorithms for circuit breaker application: A benchmark analysis. 463-468 - Philip Woodall
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
Automation project framework for energy management ISO50001 compatible. 483-488 - Javad Jassbi
The impact of cloud manufacturing on supply chain agility. 495-500 - André Dionísio Rocha
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
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
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
Conceptual approach for integrating tactical spare parts inventory management and transport planning. 548-553 - Marcos Zuccolotto, Thiago Regal da Silva, Carlos Eduardo Pereira
Device layer agents for an artificial immune intelligent maintenance system. 554-559 - Enzo Morosini Frazzon
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
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
A survey of service-based systems-of-systems manufacturing systems related to product life-cycle support and energy efficiency. 582-587 - Sebastian Scholze
Cross-domain methods and tools for decision support services based on context sensitivity approach. 588-593 - Dragan Stokic, Sebastian Scholze
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
Benchmarking Internet of things devices. 611-616 - Carel P. Kruger
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
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
Reliability evaluation of wirelesshart under faulty link scenarios. 676-682 - Vittorio Rampa
Safe human-robot cooperation through sensor-less radio localization. 683-689 - J. K. Ariza, Ivan Müller
WirelessHART localization algorithm. 690-695 - Tatiane Machado, Ivan Müller
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
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
Keeping requirements and test cases consistent: Towards an ontology-based approach. 726-732 - Borja Ramis
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
Ontology-based modeling of production systems for design and performance evaluation. 748-753 - Yihsin Ho, Eri Sato-Shimokawara
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
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 - Marcos Zuccolotto:
Artificial Immune Intelligent Maintenance System. 795-798 - Alvaro Alvares de C. C. Sobrinho
Biomedical signal acquisition systems: Towards a hybrid methodology for certification-based development. 799-802 - Jean Michel Winter, Carlos Eduardo Pereira
Coexistence aware for WirelessHART networks. 803-806
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: