2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)
Latest Publications

TOTAL DOCUMENTS

223

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424408252, 9781424408269

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Onto computing the uncertainty for the odometry pose estimate of a mobile robot

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416936 ◽

2007 ◽

Cited By ~ 1

Author(s):

Josep M. Mirats Tur

Keyword(s):

Mobile Robot

Download Full-text

A formal approach for the specification, verification and control of flexible manufacturing systems

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416897 ◽

2007 ◽

Cited By ~ 1

Author(s):

Sajeh Zairi ◽

Belhassen Zouari ◽

Laurent Pitrac

Keyword(s):

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Formal Approach ◽

And Control

Download Full-text

New developments in EPOS tools for configuring and generating embedded systems

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416855 ◽

2007 ◽

Author(s):

Rafael L. Cancian ◽

Marcelo R. Stemmer ◽

Antonio Augusto M. Frohlich

Keyword(s):

Embedded Systems ◽

New Developments

Download Full-text

Introducing the modeling and verification process in SysML

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416788 ◽

2007 ◽

Cited By ~ 22

Author(s):

Marcos V Linhares ◽

Romulo S. de Oliveira ◽

Jean-Marie Farines ◽

Francois Vernadat

Keyword(s):

Verification Process

Download Full-text

Application of the supervisory control theory to automated systems of multi-product manufacturing

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416836 ◽

2007 ◽

Cited By ~ 4

Author(s):

Daniel B. Silva ◽

Agnelo D. Vieira ◽

Eduardo A.P. Santos ◽

Marco A.B. de Paula

Keyword(s):

Control Theory ◽

Supervisory Control ◽

Automated Systems ◽

Supervisory Control Theory ◽

Product Manufacturing

Download Full-text

Agent-based control of rapidly reconfigurable material handling system

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416920 ◽

2007 ◽

Cited By ~ 1

Author(s):

Jani Jokinen ◽

Jose L. Martinez Lastra

Keyword(s):

Material Handling ◽

Material Handling System ◽

Agent Based ◽

Handling System

Download Full-text

Modelling MajorCAN with UPPAAL

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416948 ◽

2007 ◽

Cited By ~ 2

Author(s):

Matias Bonet ◽

Gabriel Donaire ◽

Julian Proenza

Download Full-text

Prediction of end-to-end deadline missing in distributed threads systems

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416749 ◽

2007 ◽

Cited By ~ 4

Author(s):

Patricia Della Mea Plentz ◽

Carlos Montez ◽

Romulo Silva de Oliveira

Keyword(s):

End To End

Download Full-text

Simple PID control algorithm adapted to deadband sampling

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416884 ◽

2007 ◽

Cited By ~ 18

Author(s):

Volodymyr Vasyutynskyy ◽

Klaus Kabitzsch

Keyword(s):

Pid Control ◽

Control Algorithm

Download Full-text

Trust based decision making approach for protein ontology

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416862 ◽

2007 ◽

Cited By ~ 4

Author(s):

Amandeep S. Sidhu ◽

Farookh K. Hussain ◽

Tharam S. Dillon ◽

Elizabeth Chang

Keyword(s):

Decision Making

Download Full-text

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Onto computing the uncertainty for the odometry pose estimate of a mobile robot

A formal approach for the specification, verification and control of flexible manufacturing systems

New developments in EPOS tools for configuring and generating embedded systems

Introducing the modeling and verification process in SysML

Application of the supervisory control theory to automated systems of multi-product manufacturing

Agent-based control of rapidly reconfigurable material handling system

Modelling MajorCAN with UPPAAL

Prediction of end-to-end deadline missing in distributed threads systems

Simple PID control algorithm adapted to deadband sampling

Trust based decision making approach for protein ontology

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)
Latest Publications