


default search action
17th ETFA 2012: Krakow, Poland
- Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012. IEEE 2012, ISBN 978-1-4673-4735-8

- Dirk van der Linden, Wolfgang Kastner

, Herwig Mannaert:
An ISA88 Phase in IEC 61131-3 code based on the concepts of a Normalized flow element. 1-8 - Anil Nair:

Product metrics for IEC 61131-3 languages. 1-8 - Mário de Sousa

:
Data-type checking of IEC61131-3 ST and IL applications. 1-8 - Herbert Prähofer, Florian Angerer, Rudolf Ramler, Hermann Lacheiner, Friedrich Grillenberger:

Opportunities and challenges of static code analysis of IEC 61131-3 programs. 1-8 - Georg Frey

, Rainer Drath, Bastian Schlich, Robert Eschbach:
"Safety automata" - A new specification language for the development of PLC safety applications. 1-8 - Andreas Schüller, Ulrich Epple:

PandIX - Exchanging P&I diagram model data. 1-8 - Rainer Drath, Mike Barth

:
Concept for managing multiple semantics with AutomationML - Maturity level concept of semantic standardization. 1-8 - Falk Doherr, Leon Urbas

:
An NA 114 conformant support system for automatic generation of communication structures. 1-8 - Markus Göring, Alexander Fay

:
Modeling change and structural dependencies of automation systems. 1-8 - Jens Ziegler, Markus Graube, Johannes Pfeffer, Leon Urbas:

Beyond app-chaining: Mobile app orchestration for efficient model driven software generation. 1-8 - Mike Barth

, Rainer Drath, Alexander Fay
, Florian Zimmer, Karin Eckert:
Evaluation of the openness of automation tools for interoperability in engineering tool chains. 1-8 - Andreas Thoma, Benjamin Kormann, Birgit Vogel-Heuser

:
Fault-centric system modeling using SysML for reliability testing. 1-8 - Jinsong Yang, Kristian Sandström, Thomas Nolte, Moris Behnam:

Data Distribution Service for industrial automation. 1-8 - André Gellrich, Daniel Lunkwitz, Alexander Dennert, Klaus Kabitzsch:

Rule-driven manufacturing control based on ontologies. 1-8 - Michael Steinegger, Alois Zoitl

:
Automated code generation for programmable logic controllers based on knowledge acquisition from engineering artifacts: Concept and case study. 1-8 - Nuno Cardoso

, Pedro Miguel Rodrigues, O. Ribeiro, Jorge Cabral
, João Monteiro
, José Mendes
, Adriano Tavares
:
An agile software product line model-driven design environment for video surveillance systems. 1-8 - Volodymyr Vasyutynskyy, Christian Hengstler, Drazen Nadoveza, Jessica McCarthy, Karl G. Brennan, Alexander Dennert:

Layered architecture for production and logistics cockpits. 1-9 - Chi Xu, Wei He, Yintai Ao, Xiao Xue Jian, NengSheng Zhang, Xiao Wendong, Tieyan Li:

Data synchronization with conflict resolution for RFID-based track and trace. 1-8 - Iñaki Garitano

, Christos Siaterlis, Béla Genge, Roberto Uribeetxeberria
, Urko Zurutuza
:
A method to construct network traffic models for process control systems. 1-8 - Stefan Theurich, Markus Stoess, Martin Wollschlaeger

, Leon Urbas
:
Communication and information engineering of FDI equipment packages. 1-8 - Adrián Noguero, Isidro Calvo

:
A time-triggered data distribution service for FTT-CORBA. 1-8 - Lucia Seno, Stefano Vitturi

, Federico Tramarin
:
Tuning of IEEE 802.11 MAC for improving real-time in industrial wireless networks. 1-8 - Robson Costa

, Paulo Portugal
, Francisco Vasques
, Ricardo de Moraes
:
Comparing RT-WiFi and HCCA approaches to handle real-time traffic in open communication environments. 1-8 - Hector Agustin Cozzetti, Daniele Brevi

, Riccardo Scopigno, Paolo Ferrari, Emiliano Sisinni
, Alessandra Flammini
:
MS-Aloha: Preliminary analysis of its suitability for wireless automation. 1-8 - Pouria Zand, Arta Dilo

, Paul J. M. Havinga:
Implementation of WirelessHART in NS-2 simulator. 1-8 - Kaleem Ahmad, Uwe Meier, Stefan Witte:

Predictive opportunistic spectrum access using Markov models. 1-10 - Magnus Jonsson, Kristina Kunert:

MC-EDF: A control-channel based wireless multichannel MAC protocol with real-time support. 1-6 - Gianluca Cena

, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. 1-8 - Roland Kammerer, Roman Obermaisser:

Dynamic configuration of a time-triggered router for controller area network. 1-10 - Gianluca Cena

, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication. 1-8 - Christoph Felser, Max Felser, Hassan Kaghazchi:

Improved architecture for Profinet IRT devices. 1-8 - Gerson F. Budke, Carlos Montez

, Ricardo de Moraes
, Paulo Portugal
:
A dynamic communication approach for data fusion in IEEE 802.15.4 Wireless Sensor Networks. 1-8 - Achim Berger, Albert Potsch, Andreas Springer

:
TDMA proposals for wireless sensor networks for highly reliable and energy efficient data collection in an industrial application. 1-8 - Tiago Semprebom, Carlos Montez

, Gustavo Zomer, Francisco Vasques
:
Guaranteed Time Slot allocation for periodic messages with (m, k)-firm constraints in IEEE 802.15.4 networks. 1-8 - Nicola Manica, Luigi Palopoli, Luca Abeni

:
Numerically efficient probabilistic guarantees for resource reservations. 1-8 - Pascal Richard, Georges Kemayo, Frédéric Ridouard, Emmanuel Grolleau, Thi Huyen Chau Nguyen:

Response time bounds for static-priority tasks and arbitrary relative deadlines with resource augmentation. 1-8 - Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela:

Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor scheduling. 1-8 - Mohamed Marouf, Laurent George, Yves Sorel:

Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks. 1-8 - Giorgio C. Buttazzo, Carmelo Di Franco

, Mauro Marinoni
:
Target-sensitive systems: Analysis and implementation issues. 1-8 - Haibo Zeng, Marco Di Natale

, Qi Zhu
:
Optimizing stack memory requirements for real-time embedded applications. 1-8 - TiongHoo Lim, Iain Bate, Jon Timmis

:
Validation of performance data using experimental verification process in wireless sensor network. 1-8 - Gianluca Franchino, Giorgio C. Buttazzo:

WBuST: A real-time energy-aware MAC layer protocol for wireless embedded systems. 1-8 - Dimitris Tsitsipis

, Sofia-Maria Dima, Angeliki Kritikakou
, Christos Panagiotou, John V. Gialelis, Harris E. Michail, Stavros A. Koubias
:
Priority Handling Aggregation Technique (PHAT) for Wireless Sensor Networks. 1-8 - Christos Panagiotou, Christos P. Antonopoulos, Stavros A. Koubias

:
Performance enhancement in WSN through data cache replacement policies. 1-8 - Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont

, Christian Fraboul:
An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows. 1-8 - Hamid Ayed, Ahlem Mifdaoui

, Christian Fraboul:
Frame packing strategy within gateways for multi-cluster avionics embedded networks. 1-8 - Ekain Azketa

, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour, Luís Almeida
, Marga Marcos
:
Schedulability analysis of multi-packet messages in segmented CAN. 1-8 - Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin:

Worst-case response-time analysis for mixed messages with offsets in Controller Area Network. 1-10 - Hany Kashif, Sebastian Fischmeister:

Program transformation for time-aware instrumentation. 1-8 - Marco L. Della Vedova

, Tullio Facchinetti
:
Feedback scheduling of real-time physical systems with integrator dynamics. 1-8 - Stefano Dalpez, Alessandro Vaccari, Roberto Passerone

, Alberto Penasa:
Design of an innovative proximity detection embedded-system for safety application in industrial machinery. 1-8 - Mario Collotta

, Giovanni Pau
, Valerio Mario Salerno, Gianfranco Scatà:
A distributed load balancing approach for industrial IEEE 802.11 wireless networks. 1-7 - Marco Cereia, Stefano Scanzio

:
A user space EtherCAT master architecture for hard real-time control systems. 1-8 - Christian Prehofer, Marc Zeller:

A hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems. 1-8 - Mario Bambagini, Marco Di Natale

:
A code generation framework for distributed real-time embedded systems. 1-10 - Marcel Baunach

:
Towards collaborative resource sharing under real-time conditions in multitasking and multicore environments. 1-9 - Adriano Tavares

, Adriano Didimo, T. Lobo, Paulo Cardoso
, Jorge Cabral
, Sergio Montenegro:
Rodosvisor - An ARINC 653 quasi-compliant hypervisor: CPU, memory and I/O virtualization. 1-10 - Mehrdad Saadatmand

, Mikael Sjödin, Naveed Ul Mustafa
:
Monitoring capabilities of schedulers in model-driven development of real-time systems. 1-10 - Francesco Prosperi, Mario Bambagini, Giorgio C. Buttazzo, Mauro Marinoni

, Gianluca Franchino:
Energy-aware algorithms for tasks and bandwidth co-allocation under real-time and redundancy constraints. 1-8 - Lluís Ribas-Xirgo

, Antonio Miro-Vicente, Ismael F. Chaile, A. Josep Velasco-González:
Multi-agent model of a sample transport system for modular in-vitro diagnostics laboratories. 1-8 - Nima Khansari Nia, Fredrik Danielsson

, Bengt Lennartson:
Efficient geometrical simulation and virtual commissioning performed in stamping. 1-8 - Marjan Alavi, Ming Luo, Danwei Wang, Haonan Bai:

IGBT fault detection for three phase motor drives using neural networks. 1-8 - Julien Provost, Bengt Lennartson, Martin Fabian, Åsa Fasth, Johan Stahre

:
Planning in assembly systems - A common modeling for products and resources. 1-8 - Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr:

Compositional verification of material handling systems. 1-8 - Sebastian Mechs, Steffen Lamparter, Jörg P. Müller:

On evaluation of alternative switching strategies for energy-efficient operation of modular factory automation systems. 1-8 - Emanuele Carpanzano

, Mauro Mazzolini, Andrea Orlandini
, Anna Valente
, Amedeo Cesta
, F. Marino, Riccardo Rasconi
:
Closed-loop production and automation schedule execution in RMSs under uncertain environmental conditions. 1-8 - Cristian Mahulea

, Marius Kloetzer
:
Online Petri net based algorithm for planning and controlling mobile robots. 1-8 - Cristian Mahulea

, Juan-Manuel Garcia-Soriano, José Manuel Colom
:
Modular Petri net modeling of the Spanish health system. 1-8 - Nicola Costantino, Mariagrazia Dotoli

:
A cross efficiency fuzzy Data Envelopment Analysis technique for supplier evaluation under uncertainty. 1-8 - Félix Vidal

, Manuel Álvarez Souto, R. González, I. Iglesias
:
Development of a flexible and adaptive robotic cell for marine nozzles processing. 1-8 - Sadok Turki, Olivier Bistorin, Nidhal Rezg:

Infinitesimal perturbation analysis based optimization for a manufacturing system with delivery time. 1-8 - Maziar Mashaei, Bengt Lennartson:

A universal framework for lean design and control of automated material handling systems. 1-8 - Daniel Gómez

, José Ramón Janeiro, Enrique Baeyens
, Eduardo Julio Moya de la Moya:
Performance monitoring of PID controllers through unfalsified control theory. 1-7 - Romain Bevan, Pascal Berruet, Florent de Lamotte, Mickael Adam, Olivier Cardin

, Pierre Castagna:
Generation of multiplatform control for transitic systems using a component-based approach. 1-8 - Fotis N. Koumboulis

:
On the disturbance decoupling of linear singular multi-delay systems. 1-6 - Víctor M. Alfaro, Ramón Vilanova

:
Set-point weight selection for robustly tuned PI/PID regulators for over damped processes. 1-7 - Víctor M. Alfaro, Ramón Vilanova

:
Conversion formulae and performance capabilities of two-degree-of-freedom PID control algorithms. 1-6 - Robert Piotrowski, Adam Zawadzki:

Multiregional PI control strategy for dissolved oxygen and aeration system control at biological wastewater treatment plant. 1-8 - Adam Zawadzki, Robert Piotrowski:

Nonlinear fuzzy control of the dissolved oxygen in activated sludge processes. 1-7 - Jérôme Mendes

, Rui Araújo
:
Fuzzy model predictive control for nonlinear processes. 1-8 - Juan J. Gude

, Evaristo Kahoraho:
Kappa-tau type PI tuning rules for specified robust levels: The frequency response method. 1-8 - Michael G. Skarpetis

, Fotis N. Koumboulis
, Achilleas S. Ntellis:
Robust control algorithms for a hydraulic actuator with variable displacement vane pump. 1-7 - Herminio Martínez, Antoni Grau

, Yolanda Bolea:
Current-mode one-cycle control applied to linear-assisted DC/DC converters. 1-8 - Guoyi Chi, Danwei Wang, Ming Yu, Marjan Alavi, Tung Le, Ming Luo:

Sensor placement for fault diagnosis using genetic algorithm. 1-7 - Timo Vepsäläinen, Seppo Kuikka

, Veli-Pekka Eloranta:
Software architecture knowledge management for safety systems. 1-8 - Samer Hanoun, Saeid Nahavandi, Douglas C. Creighton, Hans Kull:

Solving a multiobjective job shop scheduling problem using Pareto Archived Cuckoo Search. 1-8 - Clemens Schwenke, Johannes Ziegenbalg, Klaus Kabitzsch, Volodymyr Vasyutynskyy:

Simulation based forecast of supermarket sales. 1-8 - Katsunori Sato, Masaki Samejima, Masanori Akiyoshi, Norihisa Komoda:

A scheduling method of air conditioner operation using workers daily action plan towards energy saving and comfort at office. 1-6 - Claudio Fabiano Motta Toledo, Joao Miguel G. Lima, Márcio da Silva Arantes:

A multi-population genetic algorithm approach for PID controller auto-tuning. 1-8 - Jérôme Mendes

, Samuel Pinto, Rui Araújo
, Francisco Souza
:
Evolutionary fuzzy models for nonlinear identification. 1-8 - Grzegorz Bocewicz

, Zbigniew Antoni Banaszak, Izabela Ewa Nielsen
:
A declarative approach to cyclic processes coupling and scheduling. 1-8 - Francisco Souza

, Rui Araújo
:
An online variable selection method using recursive least squares. 1-8 - Gustavo Bezerra Paz Leitao, Luiz Affonso Guedes

, Juliano Rafael Sena de Araujo:
A correlation-based approach to determining related alarms in industrial processes. 1-7 - Anthony A. R. Diniz, R. D. da Silva, Adrião Duarte Dória Neto, Jorge Dantas de Melo:

Ontology for industrial petrochemical processes: Case study of a DEA process. 1-6 - Juan J. Cárdenas

, Francisco Giacometto, Antoni García, Luis Romeral
:
STLF in the user-side for an iEMS based on evolutionary training of Adaptive Networks. 1-8 - Nozomu Hamada, Wlodzimierz Kasprzak, Pawel Przybysz:

Auditory scene analysis by time-delay analysis with three microphones. 1-8 - Konstantinos Michail, Kyriakos M. Deliparaschos

:
Sensor fault detection with low computational cost: A proposed neural network-based control scheme. 1-6 - Edgar J. Amaya, Alberto J. Alvares:

Expert system for power generation fault diagnosis using hierarchical meta-rules. 1-8 - Cristina Budaciu

, Corneliu Lazar
:
Predictive control strategy in δ domain for damping oscillations in a driveline system. 1-8 - Andrzej Glowacz, Grzegorz Altman:

Automatic threat classification using multiclass SVM from audio signals. 1-6 - Daniele Fontanelli

, Luigi Palopoli, Tizar Rizano:
High speed robotics with low cost hardware. 1-8 - Magno Gliedes, Pedro F. Santana

, Pedro Deusdado, Ricardo Mendonça
, Francisco Marques
, Nuno A. C. Henriques
, André Lourenço
, Luís Correia
, José Barata
, Luís Flores:
ARES-III: A versatile multi-purpose all-terrain robot. 1-8 - Alejandro Cervantes Herrera, Javier Ruiz-León, Carlos López-Limón, Antonio Ramírez-Treviño

:
A distributed control design for the output regulation and output consensus of a class of switched linear multi-agent systems. 1-7 - Thaker Nayl

, George Nikolakopoulos, Thomas Gustafsson
:
Path following for an articulated vehicle based on switching model predictive control under varying speeds and slip angles. 1-7 - Esra Erdem

, Kadir Haspalamutgil, Volkan Patoglu
, Tansel Uras:
Causality-based planning and diagnostic reasoning for cognitive factories. 1-8 - Yuta Honda, Naoki Uchiyama, Shigenori Sano, Atsushi Kato, Takahiro Yonezawa:

Residual vibration suppression for industrial machines using simple motion trajectory. 1-5 - Munir Merdan, Pavel Vrba, Martin Melik-Merkumians

:
Test-driven agent-oriented software development. 1-8 - Ingo Hegny, Thomas I. Strasser

, Martin Melik-Merkumians
, Monika Wenger, Alois Zoitl
:
Towards an increased reusability of distributed control applications modeled in IEC 61499. 1-8 - Martin Melik-Merkumians

, Thomas Baier, Michael Steinegger, Wilfried Lepuschitz, Ingo Hegny, Alois Zoitl
:
Towards OPC UA as portable SOA middleware between control software and external added value applications. 1-8 - Arnaldo Pereira

, Nelson Rodrigues
, Paulo Leitão
:
Deployment of multi-agent systems for industrial applications. 1-8 - Václav Jirkovský, Petr Kadera

, Pavel Vrba:
Semantics for self-configurable distributed diagnostics. 1-6 - Michael Short

, Usama Abrar, Fathi Abugchem:
Application level compensation for burst errors in wireless control networks. 1-8 - Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat

, Julián Proenza
:
Probabilistic scheduling guarantees in distributed real-time systems under error bursts. 1-9 - Oliver Kleineberg, Peter Fröhlich, Donal Heffernan:

Fault-tolerant Audio and Video Bridging (AVB) Ethernet: A novel method for redundant stream registration configuration. 1-8 - Julián Proenza

, Manuel Barranco
, Guillermo Rodríguez-Navas
, David Gessner, Fernando Guardiola, Luís Almeida
:
The design of the CANbids architecture. 1-8 - Markus Rentschler

, Per Laukemann:
Performance analysis of parallel redundant WLAN. 1-8 - Carl Bergenhem:

A status protocol for system-operation in a fault-tolerant system - Verification and testing with SPIN. 1-8 - Ivanovitch M. D. Silva

, Luiz Affonso Guedes
, Paulo Portugal
, Francisco Vasques
:
Dependability evaluation of WirelessHART best practices. 1-9 - Dimitrios Amaxilatis, Vasileios Georgitzikis, Dimitrios Giannakopoulos, Ioannis Chatzigiannakis:

Employing Internet of Things technologies for building automation. 1-8 - Kai Fischer, Jürgen Gessner:

Security architecture elements for IoT enabled automation networks. 1-8 - Sergio Gusmeroli, Salvatore Piccione, Domenico Rotondi

:
IoT@Work automation middleware system design and architecture. 1-8 - Amine M. Houyou, Hans-Peter Huth, Christos Kloukinas

, Henning Trsek
, Domenico Rotondi
:
Agile manufacturing: General challenges and an IoT@Work perspective. 1-7 - Lars Duerkop, Henning Trsek

, Jürgen Jasperneite
, Lukasz Wisniewski
:
Towards autoconfiguration of industrial automation systems: A case study using Profinet IO. 1-8 - Florian Pethig

, Björn Kroll, Oliver Niggemann
, Alexander Maier, Tim Tack, Matthias Maag:
A generic synchronized data acquisition solution for distributed automation systems. 1-8 - Michael Spieker, Arne Noyer, Padma Iyenghar, Gert Bikker, Juergen Wuebbelmann, Clemens Westerkamp:

Model based debugging and testing of embedded systems without affecting the runtime behaviour. 1-6 - Tommy Norgren, Jonathan Styrud, Alf J. Isaksson, Johan A. Kerberg, Thomas Lindh:

Industrial evaluation of process control using non-periodic sampling. 1-8 - Rolf Behrens, Clemens Westerkamp, Holger Speckmann, Wolfgang Bisle:

Knowledge-based mobile remote engineering for maintenance processes. 1-7 - Holger Kremer, Clemens Westerkamp:

Context aware decision support for mobile participants of distributed production processes. 1-8 - Michael Weyrich

, Philipp Klein:
Assisted engineering for mechatronic manufacturing systems based on a modularization concept. 1-8 - Lorenz Hundt, Arndt Lüder:

Development of a method for the implementation of interoperable tool chains applying mechatronical thinking - Use case engineering of logic control. 1-8 - Thomas Holm, Lars Christiansen, Markus Göring, Tobias Jäger, Alexander Fay

:
ISO 15926 vs. IEC 62424 - Comparison of plant structure modeling concepts. 1-8 - Miriam Schleipen

, Dirk Gutting, Franziska Sauerwein:
Domain dependant matching of MES knowledge and domain independent mapping of AutomationML models. 1-7 - Thomas Moser

, Richard Mordinyi, Dietmar Winkler:
Extending mechatronic objects for automation systems engineering in heterogeneous engineering environments. 1-8 - Shigenori Sano, Huimin Ouyang, Naoki Uchiyama:

Residual load sway suppression for rotary cranes using simple dynamics model and S-curve trajectory. 1-5 - Adrian Köhlein, Birthe Böhm

, Jürgen Elger, Norbert Gewald, Fritz Stallinger
, Robert Neumann, Reinhold Plösch, Peter Hehenberger:
Potentials of mechatronic objects for improving mechatronic engineering: Results and insights from an online survey. 1-8 - Gülden Bayrak, Patrik J. Murr, Sebastian Ulewicz

, Birgit Vogel-Heuser
:
Comparison of a transformed Matlab/Simulink model into the programming language CFC on different IEC 61131-3 PLC environments. 1-8 - Karin Eckert, Alexander Fay

, Thomas Hadlich, Christian Diedrich
, Timo Frank, Birgit Vogel-Heuser
:
Design patterns for distributed automation systems with consideration of non-functional requirements. 1-9 - Benedikt Weißenberger, Birgit Vogel-Heuser

:
Evaluation of a graphical modeling language for the specification of manufacturing execution systems. 1-7 - Cesare Fantuzzi

, Roberto Panciroli, Mauro Gargiulo
:
Hardware in the loop simulation for distributed automation systems. 1-6 - Stefano Campanelli, Pierfrancesco Foglia

, Cosimo Antonio Prete:
Integration of existing IEC 61131-3 systems in an IEC 61499 distributed solution. 1-8 - Kleanthis Thramboulidis

:
IEC 61499: Back to the well proven practice of IEC 61131? 1-8 - Kleanthis Thramboulidis

:
Towards an Object-Oriented extension for IEC 61131. 1-8 - Rumen Kyusakov, Jens Eliasson, Jan van Deventer, Jerker Delsing, Robert Cragie:

Emerging energy management standards and technologies - Challenges and application prospects. 1-8 - Andreas Fernbach, Wolfgang Kastner

:
Certificate management in OPC UA applications: An evaluation of different trust models. 1-6 - Wojciech Grega:

Integrated control of centralized and renewable heat sources with peak demand compensation. 1-7 - Michael Short

:
Real-time infinite horizon adaptive/predictive control for Smart home HVAC applications. 1-8 - Sandeep Patil

, Valeriy Vyatkin, Majid Sorouri:
Formal verification of Intelligent Mechatronic Systems with decentralized control logic. 1-7 - Sebastian Preuße, Hans-Christian Lapp, Hans-Michael Hanisch:

Closed-loop system modeling, validation, and verification. 1-8 - Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson:

State-vector transition model applied to supervisory control. 1-8 - Olaf Stursberg

:
Hierarchical and distributed discrete event control of manufacturing processes. 1-8 - Matthieu Perin

, Jean-Marc Faure:
Coupling timed plant and controller models with urgent transitions without introducing deadlocks. 1-9 - Mohamed Abdelati, Felix Felgner, Georg Frey

:
Modeling wastewater pumping stations for cost-efficient control. 1-4 - Aitor Agirre

, Marga Marcos
, Elisabet Estévez-Estévez
:
Distributed applications management platform based on Service Component Architecture. 1-4 - Maciej Zygmunt

, Marek Budyn, Michal Orkisz
, James R. Ottewill, Victor H. Jaramillo, Agnieszka Nowak:
Visual modeling of condition monitoring systems. 1-4 - Andreas Mueller:

Meeting challenges of generic pervasive diagnostics. 1-4 - Manuel Jose Moreno Lizaranzu, Federico Cuesta Rojo

:
Model driven architecture approach in the semiconductor industry: A practical implementation. 1-4 - Jens Folmer, Benedikt Weißenberger, Birgit Vogel-Heuser

, Heiko Meyer:
Diagnosis of automation devices based on engineering and historical data. 1-4 - Aleksey Bratukhin, Thilo Sauter

, Albert Treytl
:
Integration of advanced Quality of Service in IEC 61499 based networks. 1-4 - K. Nicholas, Zeeshan Ejaz Bhatti, Partha S. Roop:

Model-driven development of industrial embedded systems: Challenges faced and lessons learnt. 1-4 - Padma Iyenghar, Michael Spieker, Juergen Wuebbelmann, Clemens Westerkamp:

A generic middleware for automated source code-level coupling of embedded software-subsystems developed using heterogeneous modeling domains. 1-3 - Nuno Cardoso

, João Vale, O. Ribeiro, Jorge Cabral
, Paulo Cardoso
, José Mendes
, Adriano Tavares
:
Model-driven template metaprogramming. 1-4 - Ashutosh Kabra, Gopinath Karmakar

, R. K. Patil:
A structured text to MISRA-C translator and issues with IEC 61131-3 standard. 1-4 - Ivan Tyrin, Sergey Kozhevnikov, Petr Skobelev

, Yaroslav Shepilov, Andrey Vylegzhanin, Oleg Kuznetsov, Elina Kolbova:
Multi-agent system "Smart Factory" for real-time workshop management: Results of design & implementation for Izhevsk Axion-Holding Factory. 1-4 - Ricardo E. Kondo, Eduardo de Freitas Rocha Loures, Eduardo A. P. dos Santos

:
Process mining for alarm rationalization and fault patterns identification. 1-4 - Gianluca Cena

, Stefano Scanzio
, Adriano Valenzano, Claudio Zunino:
The reference-broadcast infrastructure synchronization protocol. 1-4 - Petr Novák, Radek Sindelár:

Design and verification of simulation models of passive houses. 1-4 - Stefan Mätzler, Robert Lehmann, Stefan Theurich, Alexander Dennert, Martin Wollschlaeger:

Virtual industrial Ethernet devices for testing purposes. 1-4 - Klaus-Peter Kirchner, Andreas Fink, Matthias Voss, Helmut Beikirch:

Packet-based time-critical medium access for a process-oriented deterministic bus system. 1-4 - Manuel Barranco

, Julián Proenza
:
Developing TOBE-CAN: Total order broadcast enforcement in CAN. 1-4 - Julián Proenza

, Manuel Barranco
, Joan Llodra, Luís Almeida
:
Using FTT and stars to simplify node replication in CAN-based systems. 1-4 - David Gessner, Manuel Barranco

, Julián Proenza
, Michael Short
:
A first qualitative evaluation of star replication schemes for FTT-CAN. 1-4 - Franka Schuster, Andreas Paul:

A distributed intrusion detection system for industrial automation networks. 1-4 - Sergio Montero

, Javier Gozálvez
, Miguel Sepulcre
, Gonzalo Prieto:
Impact of mobility on the management and performance of WirelessHART industrial communications. 1-4 - Jose Antonio Palazon, Javier Gozálvez

, Gonzalo Prieto:
Experimental RSSI-based localization system using wireless sensor networks. 1-4 - Iain Bate, Hans Hansson

, Sasikumar Punnekkat
:
Better, faster, cheaper, and safer too - Is this really possible? 1-4 - Vania Moreira, Ana Ferraz, Vítor H. Carvalho

, Filomena O. Soares
, José Machado
:
Design of a mechatronic system for human blood typing in emergency situations. 1-4 - Christos P. Antonopoulos, Vassilis Kapsalis, Loukas Hadellis:

Optimal scheduling of smart homes' appliances for the minimization of energy cost under dynamic pricing. 1-4 - Igor Kaitovic, Rafael Rezende, Cristina Murillo, Cesare Fantuzzi

:
Model-driven approach to design ICT infrastructure for precision farming. 1-4 - Arndt Lüder, Matthias Foehr, Adrian Köhlein, Birthe Böhm:

Application of engineering processes analysis to evaluate benefits of mechatronic engineering. 1-4 - Rahil Hussain, Judith E. Y. Rossebø:

Discovery mechanisms in industrial networking. 1-4 - Herminio Martínez, Antoni Grau

, Yolanda Bolea, Juan Gamiz:
Power gyrator structures and their use as cells for energy processing in photovoltaic solar facilities. 1-4 - Guido Benetti

, Tullio Facchinetti
:
A self-configuration protocol for a cover made of smart tiles. 1-4 - Rafia Inam, Mikael Sjödin, Marcus Jägemar:

Bandwidth measurement using performance counters for predictable multicore software. 1-4 - Daniel Hallmans, Mikael Asberg, Thomas Nolte:

Towards using the Graphics Processing Unit (GPU) for embedded systems. 1-4 - Federico Ciccozzi, Mikael Sjödin:

Enhancing the generation of correct-by-construction code from design models for complex embedded systems. 1-4 - Konrad Gac, Grzegorz Karpiel

, Maciej Petko
:
FPGA based hardware accelerator for calculations of the parallel robot inverse kinematics. 1-4 - Stanislaw Widel, Jaroslaw Flak, Arkadiusz Jestratjew, Piotr Gaj:

Analysis of real-time systems using convolution of probability mass function. 1-4 - Pouria Zand, Supriyo Chatterjea, Jeroen Ketema, Paul J. M. Havinga:

A distributed scheduling algorithm for real-time (D-SAR) industrial wireless sensor and actuator networks. 1-4 - Sorin Ovidiu Marinescu, Domitian Tamas-Selicean, Vlad Acretoaie, Paul Pop

:
Timing analysis of mixed-criticality hard real-time applications implemented on distributed partitioned architectures. 1-4 - Tilman Leune

, Thorsten Wehs, Manuel Janssen, Carsten Koch, Gerd von Cölln:
Wireless locating and data communication in Harsh industrial environments. 1-4 - Giammarco Zacheo, Dragan Djukic, Aljosa Dorni, Fulvio Babich

, Fabio Ricciato:
A Software-Defined Radio implementation of an 802.11 OFDM Physical Layer transceiver. 1-4 - Fathi Abugchem, Michael Short

, Donglai Xu:
A hybrid EDF algorithm for implementing resource-constrained real-time control applications. 1-4 - Matthias May, David Ganz, Hans Dermot Doran

:
HSR and PROFINET IRT bandwidth management in generic embedded systems. 1-4 - Paulo Garcia

, Tiago Gomes
, Filipe Salgado, Paulo Cardoso
, Jorge Cabral
, Mongkol Ekpanyapong:
Reliability correlation between physical and virtual cores at the ISA level. 1-4 - Filipe Salgado

, Paulo Garcia
, Tiago Gomes
, João Vale, Sandro Pinto
, Jorge Cabral
, Mongkol Ekpanyapong:
Shifting SOA to MPSoC: An exploratory example of application. 1-4 - M. Teresa Higuera-Toledano:

Hardware-based object layout in an embedded real-time Java environments. 1-4 - Gopinath Karmakar

, Ashutosh Kabra, R. K. Patil, Krithi Ramamritham:
Partitioned environment for Programmable Controller in safety applications. 1-4 - Orestis Akribopoulos, Dimitrios Amaxilatis, Ioannis Chatzigiannakis:

Towards integrating IoT devices with the Web. 1-4 - Pau Martí, Manel Velasco

, Miguel Castilla
, Jaume Miret, Antonio Camacho
:
On the use of communication infrastructure in distributed power generation: A preliminary case study. 1-4 - Kristian Sandström, Thomas Nolte, Moris Behnam, Reinder J. Bril

:
On jitter in time partitioned real-time systems. 1-4 - Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin:

Extending response-time analysis of mixed messages in CAN with controllers implementing non-abortable transmit buffers. 1-4 - Martijn M. H. P. van den Heuvel, Reinder J. Bril

, Johan J. Lukkien, Damir Isovic, Gowri Sankar Ramachandran
:
Towards RTOS support for mixed time-triggered and event-triggered task sets. 1-4 - Andreu Carminati

, Rômulo Silva de Oliveira
:
On variations of the suspension-based multiprocessor priority ceiling syncronization protocol. 1-4 - Ernest Wozniak, Chokri Mraidha

, Sebastien Gerard:
Guided task model construction for automotive systems based on time budgets. 1-4 - Ahmad Hossny, Saeid Nahavandi, Douglas C. Creighton:

Minimizing bounded uncertainty impact on scheduling with earliest start and due-date constraints via interval computation. 1-4 - Maria Paola Cabasino, Mariagrazia Dotoli

, Carla Seatzu:
Marking estimation of fuzzy Petri nets. 1-4 - Marcos Calle Suarez, Pedro L. Gonzalez-R

:
Improved virtual build to order. 1-4 - Jasen Markovski:

Process theory for supervisory control of stochastic systems with data. 1-4 - Maria Luz Alvarez Gutierrez

, Isabel Sarachaga
, Arantzazu Burgos, Elisabet Estévez-Estévez
, Marga Marcos
:
A methodological support for designing industrial control systems. 1-4 - Christian Lehmann, Marcel Halbauer, Dirk Euhus, Daniel Overbeck:

Milling with industrial robots: Strategies to reduce and compensate process force induced accuracy influences. 1-4 - Huiyun Sheng, Michael H. Schwarz, Josef Börcsök:

New concept to develop a safety sensor network for continuous noninvasive blood pressure monitoring. 1-4 - Francesco Basile

, Pasquale Chiacchio
, Jolanda Coppola
, Diego Gerbasio:
A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring. 1-4 - Stephan Seidel, Ulrich Donath, Jürgen Haufe:

Approach to a simulation-based verification environment for material handling systems. 1-4 - Rafael Ramos Regis Barbosa, Ramin Sadre, Aiko Pras:

Towards periodicity based anomaly detection in SCADA networks. 1-4 - Stefan Szucsich, Lukas Krammer, Wolfgang Kastner

, Thomas Novak:
Information model for distributed traffic management applications. 1-4 - Thomas Hadlich, Stephan Home, Christian Diedrich

, Karin Eckert, Timo Frank, Alexander Fay
, Birgit Vogel-Heuser
:
Time as non-functional requirement in distributed control systems. 1-6 - Félix Iglesias Vázquez

, Wolfgang Kastner
:
Detecting user dissatisfaction in ambient intelligence environments. 1-4 - Ekarin Suethanuwong:

Scheduling time-triggered traffic in TTEthernet systems. 1-4 - Stefan Hausmann, Stefan Heiss:

Usage of public key infrastructures in automation networks. 1-4 - Stefan Hesse, Martin Rosjat, Vojtech Kresl, Drazen Nadoveza:

An approach for a component-based visualization of heterogeneous manufacturing data sources. 1-5 - Marco Soares dos Santos

, Jorge A. F. Ferreira
:
Improvement on control performance using FPGAs over software-based platforms. 1-4 - Nagore Iriondo

, Marga Marcos
, Elisabet Estévez-Estévez
:
Bumpless transfer multi-controller architecture for switched-mode processes. 1-4 - Paolo Demetlika, Gianfranco Fenu

, Fulvio Romano, Andrea Paoli
, Luca Cicognani:
Safety critical supervision for steel industry robotic applications. 1-4 - Panagiotis I. Arsenos, Dimitrios G. Fragkoulis

, Fotis N. Koumboulis
:
Fault detection for Sequential Interindustry Models. 1-4 - Adam Pilat

:
Control Toolbox for industrial Programmable Analog Controller - Embedding state feedback controller. 1-4 - Jiri Kocian, Jirí Koziorek

, Stepán Ozana
:
An approach to identification procedures for PID control with PLC implementation. 1-4 - Fabrizio Padula

, Antonio Visioli
, Manuel Pagnoni:
On the anti-windup schemes for fractional-order PID controllers. 1-4 - Milton Armando Cunguara, Tomás Oliveira e Silva, Paulo Bacelar Reis Pedreiras

:
Optimal control in the presence of state uncertainty. 1-4 - Xiangjun Kong, Bilal Ahmad

, Robert Harrison, Young Saeng Park, Leslie J. Lee:
Direct deployment of component-based automation systems. 1-4 - Miguel A. Davo, Alfonso Baños

:
PI+CI tuning for integrating plus deadtime systems. 1-4 - Fathi Abugchem, Michael Short

, Donglai Xu:
A test facility for experimental HIL analysis of industrial embedded control systems. 1-4 - Naoki Uchiyama, Hirofumi Yamanaka, Shigenori Sano, Phat Minh Ho, Son Doan Tran:

Force control approach for the automation of cashew-shelling operation. 1-4 - Shinichi Imai, Toru Yamamoto:

Design and experimental evaluation of an extended data-driven PID controller. 1-4 - Nuno Gonçalves, Vítor H. Carvalho

, Filomena O. Soares
, Rosa M. Vasconcelos
:
Studies on the yarn mass parameters determination using Image Processing techniques. 1-4 - Sebastian Ulewicz

, Daniel Schütz
, Birgit Vogel-Heuser
:
Design, implementation and evaluation of a hybrid approach for software agents in automation. 1-4 - Dominik Rzepka:

Fixed-budget kernel least mean squares. 1-4 - Allan R. S. Venceslau, Luiz Affonso Guedes

, Diego R. C. Silva:
Artificial neural network approach for detection and diagnosis of valve stiction. 1-4 - Grzegorz J. Nalepa, Krzysztof Kluza

, Urszula Ciaputa:
Proposal of automation of the collaborative modeling and evaluation of business processes using a semantic wiki. 1-4 - Grzegorz J. Nalepa, Krzysztof Kaczor:

Proposal of a rule-based testing framework for the automation of the unit testing process. 1-4 - Matthias Becker

, Florian Blatt, Helena Szczerbicka:
Agent-based approaches for exploration and pathfinding in unknown environments. 1-4 - Pedro Vieira, Rodrigo Ventura

:
Interactive 3D scan-matching using RGB-D data. 1-4 - Ingrid Schjølberg:

Development of robotic solutions for oil/gas, aluminum and manufacturing industry. 1-4 - Lucia Lo Bello

, Antonino Raucea, Gaetano Patti
, Orazio Mirabella:
L-PTP: A novel clock synchronization protocol for Powerline networks. 1-4 - Giuliana Alderisi, Giancarlo Iannizzotto, Lucia Lo Bello

:
Towards IEEE 802.1 Ethernet AVB for Advanced Driver Assistance Systems: A preliminary assessment. 1-4 - Holger Flatt, Sebastian Schriegel, Jürgen Jasperneite

, Frank Schewe:
An FPGA based approach for the enhancement of COTS switch ASICs with real-time Ethernet functions. 1-4 - Mladen Knezic

, Branko Dokic, Zeljko Ivanovic:
A software tool for efficient configuration of EtherCAT networks. 1-4 - Salvatore Cavalieri

, Ferdinando Chiacchio:
A Stochastic Activity Networks model for the performance evaluation of the KNXnet/IP flow control mechanism. 1-4 - Yomna I. El Faramawy, Mohamed A. Ibrahim, Hassan H. Halawa, Ahmed Elhamy, Ehab E. Abdel Reheem, Tarek K. Refaat, Ramez M. Daoud, Hassanein H. Amer:

Multicasting for cascaded fault-tolerant Wireless Networked Control Systems in noisy industrial environments. 1-4 - Iñaki Maurtua

, Aitor Ibarguren
, Alberto Tellaeche
:
Robotic solutions for Footwear Industry. 1-4 - Petr Novák, Radek Sindelár:

Semantic design and integration of simulation models in the industrial automation area. 1-8 - Matthias Foehr, Paulo Leitão

, Thomas Wagner, Tobias Jäger, Arndt Lüder:
Integrating mechatronic thinking and multi-agent approaches. 1-8 - Rainer Drath:

Let's talk AutomationML what is the effort of AutomationML programming? 1-8 - Annett Krause, Michael Obst, Leon Urbas

:
Extraction of safety relevant functions from CAE data for evaluating the reliability of communications systems. 1-7 - Richard Berger

, Herbert Prähofer, Christian Wirth, Roland Schatz:
A tool for trace visualization and offline debugging of PLC applications. 1-8 - Johannes Götz, Verena Bauer, Jörg Franke

:
Towards an engineering community as driver and basic tool support for lean approaches in engineering projects. 1-8 - Christian Lerche, Klaus Hartke, Matthias Kovatsch:

Industry adoption of the Internet of Things: A constrained application protocol survey. 1-6 - Jesús Bermejo Muñoz, Sebastián García Galán

, L. R. Lopez, Rocío Pérez de Prado
, J. Enrique Muñoz Expósito, Terje Grimstad, Diego R. López:
Interoperability in large scale cyber-physical systems. 1-6 - Marten Fischer, Ralf Tönjes:

Generating test data for black-box testing using genetic algorithms. 1-6 - Sebastian Hudert, Michael Ditze, Stefan König, Victor Fäßler:

Transactional service life cycle management in smart electromobility ecosystems. 1-6 - Stephan Flake, Jürgen Tacken, Carsten Zoth:

Real-time rating and charging in federated cloud environments. 1-6 - Nico Laum, Christian Lerche, Frank Golatowski

, Dirk Timmermann
:
A Web service-based communication architecture for smartphone/WPAN sensor ensembles. 1-7

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














