Pub Date : 2016-07-18DOI: 10.1109/INDIN.2016.7819147
P. Lindgren, Marcus Lindner, David Pereira, L. M. Pinho
The IEC 61499 standard proposes an event driven execution model for component based (in terms of Function Blocks), distributed industrial automation applications. However, the standard provides only an informal execution semantics, thus in consequence behavior and correctness relies on the design decisions made by the tool vendor. In this paper we present the formalization of a subset of the IEC 61499 standard in order to provide an underpinning for the static verification of Function Block models by means of deductive reasoning. Specifically, we contribute by addressing verification at the component, algorithm, and ECC levels. From Function Block descriptions, enriched with formal contracts, we show that correctness of component compositions, as well as functional and transitional behavior can be ensured. Feasibility of the approach is demonstrated by manually encoding a set of representative use-cases in WhyML, for which the verification conditions are automatically derived (through the Why3 platform) and discharged (using automatic SMT-based solvers). Furthermore, we discuss opportunities and challenges towards deriving certified executables for IEC 61499 models.
{"title":"Contract based verification of IEC 61499","authors":"P. Lindgren, Marcus Lindner, David Pereira, L. M. Pinho","doi":"10.1109/INDIN.2016.7819147","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819147","url":null,"abstract":"The IEC 61499 standard proposes an event driven execution model for component based (in terms of Function Blocks), distributed industrial automation applications. However, the standard provides only an informal execution semantics, thus in consequence behavior and correctness relies on the design decisions made by the tool vendor. In this paper we present the formalization of a subset of the IEC 61499 standard in order to provide an underpinning for the static verification of Function Block models by means of deductive reasoning. Specifically, we contribute by addressing verification at the component, algorithm, and ECC levels. From Function Block descriptions, enriched with formal contracts, we show that correctness of component compositions, as well as functional and transitional behavior can be ensured. Feasibility of the approach is demonstrated by manually encoding a set of representative use-cases in WhyML, for which the verification conditions are automatically derived (through the Why3 platform) and discharged (using automatic SMT-based solvers). Furthermore, we discuss opportunities and challenges towards deriving certified executables for IEC 61499 models.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130873502","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-07-18DOI: 10.1109/INDIN.2016.7819306
T. Shiobara, Guillaume Habault, J. Bonnin, H. Nishi
The number of connected devices — also known as Internet of Things (IoT) — is exponentially increasing. Such sensors and devices also appear in transportation systems giving some intelligence to roads, equipment and vehicles. Nowadays, it is possible to communicate with the environment in order to have better everyday services. Furthermore, the number of registered — public or private — Electric Vehicle (EVs) is continuously increasing. These vehicles, equipped with large battery, need to be charged and so, have a significant impact on power grids. However, these EVs can also be seen as energy sources. It is therefore important to be able to plan both the charge and discharge of EVs. Including these vehicles into Vehicle-to-Grid technology is a way to efficiently manage such pools of batteries. But, as a consequence, grid requires to have almost real-time data on these vehicles and especially their battery status. This paper studies an optimized data aggregation method for a fleet of electric buses. Each bus provides different type of information with different priority level. The efficiency of the studied method was evaluated with a simulation platform developed with ns-3. Simulation results — based on real route and bus stop positions — show that an optimal buffer size has been found to both satisfy transmission delays and optimize communications.
{"title":"Effective communicating optimization for V2G with electric bus","authors":"T. Shiobara, Guillaume Habault, J. Bonnin, H. Nishi","doi":"10.1109/INDIN.2016.7819306","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819306","url":null,"abstract":"The number of connected devices — also known as Internet of Things (IoT) — is exponentially increasing. Such sensors and devices also appear in transportation systems giving some intelligence to roads, equipment and vehicles. Nowadays, it is possible to communicate with the environment in order to have better everyday services. Furthermore, the number of registered — public or private — Electric Vehicle (EVs) is continuously increasing. These vehicles, equipped with large battery, need to be charged and so, have a significant impact on power grids. However, these EVs can also be seen as energy sources. It is therefore important to be able to plan both the charge and discharge of EVs. Including these vehicles into Vehicle-to-Grid technology is a way to efficiently manage such pools of batteries. But, as a consequence, grid requires to have almost real-time data on these vehicles and especially their battery status. This paper studies an optimized data aggregation method for a fleet of electric buses. Each bus provides different type of information with different priority level. The efficiency of the studied method was evaluated with a simulation platform developed with ns-3. Simulation results — based on real route and bus stop positions — show that an optimal buffer size has been found to both satisfy transmission delays and optimize communications.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127771128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-07-02DOI: 10.1109/INDIN.2016.7819318
T. Matsui, H. Nishi
Automated metering infrastructure is employed widely in scientific fields as well as in industrial and commercial areas due to the development of wireless sensor network (WSN) technology. WSNs provide important features such as wireless multi-hop communication and they are easy to install everywhere; thus, extending the lifetime of WSNs is highly desirable. All WSN nodes consume a limited amount of energy from the battery during operations such as sensing, calculating, control, and communication and most of the power consumption is attributable to wireless communication. In this study, we propose energy consumption-oriented route selection (ECORS), which is a route selection algorithm that focuses on the remaining energy and energy consumption by WSN nodes. In ECORS, a sink node calculates all of the routes in the system by using the route lifetime (RL) as a metric according to the minimum residual energy (MRE) and the expected route cost (ERC). The route with the longest RL is selected by the proposed algorithm. By changing the route periodically using ECORS, the WSN system lasts 1.14 times longer as compared to that when the routes are fixed. We evaluated the performance of ECORS using an original WSN simulator. In realistic simulations, we measured the distance-packet error rate, current consumption, and discharge characteristic of a battery using actual sensor nodes assembled with an Arduino micro controller, XBee ZigBee wireless module, and lithium-polymer battery.
{"title":"ECORS: Energy consumption-oriented route selection for wireless sensor network","authors":"T. Matsui, H. Nishi","doi":"10.1109/INDIN.2016.7819318","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819318","url":null,"abstract":"Automated metering infrastructure is employed widely in scientific fields as well as in industrial and commercial areas due to the development of wireless sensor network (WSN) technology. WSNs provide important features such as wireless multi-hop communication and they are easy to install everywhere; thus, extending the lifetime of WSNs is highly desirable. All WSN nodes consume a limited amount of energy from the battery during operations such as sensing, calculating, control, and communication and most of the power consumption is attributable to wireless communication. In this study, we propose energy consumption-oriented route selection (ECORS), which is a route selection algorithm that focuses on the remaining energy and energy consumption by WSN nodes. In ECORS, a sink node calculates all of the routes in the system by using the route lifetime (RL) as a metric according to the minimum residual energy (MRE) and the expected route cost (ERC). The route with the longest RL is selected by the proposed algorithm. By changing the route periodically using ECORS, the WSN system lasts 1.14 times longer as compared to that when the routes are fixed. We evaluated the performance of ECORS using an original WSN simulator. In realistic simulations, we measured the distance-packet error rate, current consumption, and discharge characteristic of a battery using actual sensor nodes assembled with an Arduino micro controller, XBee ZigBee wireless module, and lithium-polymer battery.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131018790","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-07-01DOI: 10.1109/INDIN.2016.7819299
Yinlong Zhang, Wei Liang, Jindong Tan
This paper presents an orientation estimation methods using inertial cues (IMU) and visual feature constraint. Our proposed approach combines both of these two modalities in an original way. Two feature-point correspondences between consecutive frames are firstly selected that not merely meet the requirement of descriptor similarity constraint but the locality constraint. Secondly, these two selected correspondences together with inertial quaternions are jointly employed to derive the initial body pose. Thirdly, a coarse-to-fine procedure proceeds in removing visual false matches and in estimating body poses iteratively using the Posteriori Bayes Rule and Expectation Maximization. Eventually, the optimal orientation is estimated via the iteratively selected visual inliers. Experimental results validate that our proposed strategy is effective and accurate in orientation estimate.
{"title":"A novel approach to orientation estimation using inertial cues and visual feature locality constraint","authors":"Yinlong Zhang, Wei Liang, Jindong Tan","doi":"10.1109/INDIN.2016.7819299","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819299","url":null,"abstract":"This paper presents an orientation estimation methods using inertial cues (IMU) and visual feature constraint. Our proposed approach combines both of these two modalities in an original way. Two feature-point correspondences between consecutive frames are firstly selected that not merely meet the requirement of descriptor similarity constraint but the locality constraint. Secondly, these two selected correspondences together with inertial quaternions are jointly employed to derive the initial body pose. Thirdly, a coarse-to-fine procedure proceeds in removing visual false matches and in estimating body poses iteratively using the Posteriori Bayes Rule and Expectation Maximization. Eventually, the optimal orientation is estimated via the iteratively selected visual inliers. Experimental results validate that our proposed strategy is effective and accurate in orientation estimate.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114994883","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-07-01DOI: 10.1109/INDIN.2016.7819160
H. Fischer, P. Vulliez, J. Gazeau, S. Zeghloul
This paper presents the challenges in the development of a new middleware for collaborative robotics and also for the new needs of interaction between robots and humans. The authors introduce first the main characteristics of a middleware; three types of middleware are proposed in the literature: Message Oriented Middleware, Middleware based on Remote Procedure Calls and also middleware based on the Object Request Broker. Thus a state of art of the most common middleware is given; ROS, RT-middleware and Orocos are detailed. Strong points and weak points are highlighted to justify the need to develop a new middleware. Based on this statement, the specifications of a new middleware are given with an important issue: develop a middleware that will meet complex research issues and also industrial issues for the future of robotics. In order to meet these issues, we propose the foundations of our approach. The middleware will be realtime, transferable, maintainable and multi-manufacturers. These requirements will also be able to guaranty the safety interaction of humans and machines in a dynamic and collaborative environment. Finally the efficiency of the proposed approach is demonstrated by using two different robots: a 6 dof industrial robot and a new 16 dof dextrous robot hand.
{"title":"An industrial standard based control architecture for multi-robot real time coordination","authors":"H. Fischer, P. Vulliez, J. Gazeau, S. Zeghloul","doi":"10.1109/INDIN.2016.7819160","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819160","url":null,"abstract":"This paper presents the challenges in the development of a new middleware for collaborative robotics and also for the new needs of interaction between robots and humans. The authors introduce first the main characteristics of a middleware; three types of middleware are proposed in the literature: Message Oriented Middleware, Middleware based on Remote Procedure Calls and also middleware based on the Object Request Broker. Thus a state of art of the most common middleware is given; ROS, RT-middleware and Orocos are detailed. Strong points and weak points are highlighted to justify the need to develop a new middleware. Based on this statement, the specifications of a new middleware are given with an important issue: develop a middleware that will meet complex research issues and also industrial issues for the future of robotics. In order to meet these issues, we propose the foundations of our approach. The middleware will be realtime, transferable, maintainable and multi-manufacturers. These requirements will also be able to guaranty the safety interaction of humans and machines in a dynamic and collaborative environment. Finally the efficiency of the proposed approach is demonstrated by using two different robots: a 6 dof industrial robot and a new 16 dof dextrous robot hand.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116701105","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-07-01DOI: 10.1109/INDIN.2016.7819262
D. Avola, G. Foresti, L. Cinque, Cristiano Massaroni, G. Vitale, L. Lombardi
In recent years, the technological improvements of consumer robots, in terms of processing capacity and sensors, are enabling an ever-increasing number of researchers to quickly develop both scale prototypes and alternative low cost solutions. In these contexts, a critical aspect is the design of ad-hoc algorithms according to the features of the available hardware. This paper proposes a prototype of an autonomous robot for mapping unknown environments and recognizing target objects. During the setup phase one or more target objects are shown to the RGB camera of the robot which, for each of them, extracts and stores a set of A-KAZE features. Afterwards, the robot adopts the ultrasonic distance measurement and the RGB stream to map the whole environment and search a set of A-KAZE features matchable with those previously acquired. The paper also reports both preliminary tests carried out on a reference indoor environment and a case study performed in an outdoor one that validate the proposed system.
{"title":"A multipurpose autonomous robot for target recognition in unknown environments","authors":"D. Avola, G. Foresti, L. Cinque, Cristiano Massaroni, G. Vitale, L. Lombardi","doi":"10.1109/INDIN.2016.7819262","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819262","url":null,"abstract":"In recent years, the technological improvements of consumer robots, in terms of processing capacity and sensors, are enabling an ever-increasing number of researchers to quickly develop both scale prototypes and alternative low cost solutions. In these contexts, a critical aspect is the design of ad-hoc algorithms according to the features of the available hardware. This paper proposes a prototype of an autonomous robot for mapping unknown environments and recognizing target objects. During the setup phase one or more target objects are shown to the RGB camera of the robot which, for each of them, extracts and stores a set of A-KAZE features. Afterwards, the robot adopts the ultrasonic distance measurement and the RGB stream to map the whole environment and search a set of A-KAZE features matchable with those previously acquired. The paper also reports both preliminary tests carried out on a reference indoor environment and a case study performed in an outdoor one that validate the proposed system.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121020479","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-07-01DOI: 10.1109/INDIN.2016.7819237
M. Lavassani, Filip Barac, M. Gidlund, Tingting Zhang
This work investigates various methods to expand the deployment of Wireless Sensor-Actuator Networks (WSANs) to mission critical applications. We address the neglected open issues of hard deadline and deterministic delivery for event-triggered traffic in safety and closed-loop regulatory systems. DeMAC algorithm is proposed by utilizing TDMA-based subslots in emergency access periods, group acknowledgement, alternative packet structure, and relay node. The proposed algorithm displayed promising results in comparison with contention-based methods, in improving delivery rate of critical data within the deadline, and lowering the worst-case delay.
{"title":"Handling event-triggered traffic of safety and closed-loop control systems in WSANs","authors":"M. Lavassani, Filip Barac, M. Gidlund, Tingting Zhang","doi":"10.1109/INDIN.2016.7819237","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819237","url":null,"abstract":"This work investigates various methods to expand the deployment of Wireless Sensor-Actuator Networks (WSANs) to mission critical applications. We address the neglected open issues of hard deadline and deterministic delivery for event-triggered traffic in safety and closed-loop regulatory systems. DeMAC algorithm is proposed by utilizing TDMA-based subslots in emergency access periods, group acknowledgement, alternative packet structure, and relay node. The proposed algorithm displayed promising results in comparison with contention-based methods, in improving delivery rate of critical data within the deadline, and lowering the worst-case delay.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123224276","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-07-01DOI: 10.1109/INDIN.2016.7819277
Hamed Memari, S. Rahimi, B. Gupta, K. Sinha, N. Debnath
This study aims to optimize patient flow in emergency departments (ED) while minimizing associated costs. In order to compare the effects of the optimization, a simulation model for emergency departments has been implemented using District Event Simulation (DES) and queuing theory, while for the optimization, Genetic Algorithm is used to find the best arrangements. Principally, a discrete event based, multi-class, multi-server queuing network is designed considering the emergency department as a set of stages each associated with a queue of patients waiting to be served. Each stage has multiple service providers such as Nurses, Doctors or other staff. We also classified patients passing through the stages according to their acuity level and personal characteristics. Then, a function is defined to measure the ED performance in respect to the calculated wait times and the cost. Finally, a customized genetic algorithm was developed to discover the best performance which reflects the best allocation of service providers to the different stages of the emergency department.
{"title":"Towards patient flow optimization in emergency departments using genetic algorithms","authors":"Hamed Memari, S. Rahimi, B. Gupta, K. Sinha, N. Debnath","doi":"10.1109/INDIN.2016.7819277","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819277","url":null,"abstract":"This study aims to optimize patient flow in emergency departments (ED) while minimizing associated costs. In order to compare the effects of the optimization, a simulation model for emergency departments has been implemented using District Event Simulation (DES) and queuing theory, while for the optimization, Genetic Algorithm is used to find the best arrangements. Principally, a discrete event based, multi-class, multi-server queuing network is designed considering the emergency department as a set of stages each associated with a queue of patients waiting to be served. Each stage has multiple service providers such as Nurses, Doctors or other staff. We also classified patients passing through the stages according to their acuity level and personal characteristics. Then, a function is defined to measure the ED performance in respect to the calculated wait times and the cost. Finally, a customized genetic algorithm was developed to discover the best performance which reflects the best allocation of service providers to the different stages of the emergency department.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123238984","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-07-01DOI: 10.1109/INDIN.2016.7819324
Sebastian Abele, M. Weyrich
With growing complexity of premium cars, the end-of-line test systems also increase in complexity. The test systems have to provide more and more functionality like flashing of electronic control units (ECUs) and sensor calibration. Current end-of-line test systems evolved to complex networked IT-systems, which consist of various components and subsystems from different suppliers. Automotive production maintenance engineers are challenged to keep the availability of the test system on a high level to not cause production delays. In a case study with automotive test experts, we considered fault diagnosis and test case selection as two major tasks to maintain a high system availability. The experts combine their knowledge and experience about fault-prone system parts and former faults to optimize fault diagnosis and test case selection for regression testing. To support the experts to manage the growing complexity, we propose a combined fault diagnosis and test case selection assistance system. The combination of both techniques enables synergy effects by supporting the fault diagnosis with test case selection and by considering fault data in regression testing. This paper presents the concept of that combined assistant system and describes a prototypical realization used in an exemplary scenario.
{"title":"A combined fault diagnosis and test case selection assistant for automotive end-of-line test systems","authors":"Sebastian Abele, M. Weyrich","doi":"10.1109/INDIN.2016.7819324","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819324","url":null,"abstract":"With growing complexity of premium cars, the end-of-line test systems also increase in complexity. The test systems have to provide more and more functionality like flashing of electronic control units (ECUs) and sensor calibration. Current end-of-line test systems evolved to complex networked IT-systems, which consist of various components and subsystems from different suppliers. Automotive production maintenance engineers are challenged to keep the availability of the test system on a high level to not cause production delays. In a case study with automotive test experts, we considered fault diagnosis and test case selection as two major tasks to maintain a high system availability. The experts combine their knowledge and experience about fault-prone system parts and former faults to optimize fault diagnosis and test case selection for regression testing. To support the experts to manage the growing complexity, we propose a combined fault diagnosis and test case selection assistance system. The combination of both techniques enables synergy effects by supporting the fault diagnosis with test case selection and by considering fault data in regression testing. This paper presents the concept of that combined assistant system and describes a prototypical realization used in an exemplary scenario.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126733121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-07-01DOI: 10.1109/INDIN.2016.7819141
Tiago Santos, L. Ribeiro, A. Rocha, J. Barata
As web related technologies continue to find their way into production related activities, their true potential can only be explored with a shop floor that is cyber-physically agile. This means the ability to quickly reconfigure a production system during production changeovers while significantly reducing setup times and non value-adding activities keeping the overall performance of the control system. Currently, system reconfiguration in mainly supported by reprogramming. However, reprogramming of large complex systems is often a time consuming and risky activity since it has a non negligible potential for introducing errors which normally result in long debugging times. In this context, this paper details an agent-based system architecture that enables quick system reconfiguration and minimizes the reprogramming effort. For this purpose a production system is abstracted as a multiagent system that dynamically interacts with a native, programmable-logic-controller-based control system and is able to re-parametrize it. The focus on re-parametrization means that the native system can still operate in the absence of the agent system which improves the overall robustness of the solution, using readily available equipment and enables its integration with legacy systems.
{"title":"A system reconfiguration architecture for hybrid automation systems based in agents and programmable logic controllers","authors":"Tiago Santos, L. Ribeiro, A. Rocha, J. Barata","doi":"10.1109/INDIN.2016.7819141","DOIUrl":"https://doi.org/10.1109/INDIN.2016.7819141","url":null,"abstract":"As web related technologies continue to find their way into production related activities, their true potential can only be explored with a shop floor that is cyber-physically agile. This means the ability to quickly reconfigure a production system during production changeovers while significantly reducing setup times and non value-adding activities keeping the overall performance of the control system. Currently, system reconfiguration in mainly supported by reprogramming. However, reprogramming of large complex systems is often a time consuming and risky activity since it has a non negligible potential for introducing errors which normally result in long debugging times. In this context, this paper details an agent-based system architecture that enables quick system reconfiguration and minimizes the reprogramming effort. For this purpose a production system is abstracted as a multiagent system that dynamically interacts with a native, programmable-logic-controller-based control system and is able to re-parametrize it. The focus on re-parametrization means that the native system can still operate in the absence of the agent system which improves the overall robustness of the solution, using readily available equipment and enables its integration with legacy systems.","PeriodicalId":421680,"journal":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116048684","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：