| 1. |
- Abrishambaf, Reza, et al.
(författare)
-
Distributed home automation system based on IEC61499 function blocks and wireless sensor networks
- 2017
-
Ingår i: Proceedings of the IEEE International Conference on Industrial Technology. - Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE). - 9781509053209 ; , s. 1354-1359
-
Konferensbidrag (refereegranskat)abstract
- In this paper, a distributed home automation system will be demonstrated. Traditional systems are based on a central controller where all the decisions are made. The proposed control architecture is a solution to overcome the problems such as the lack of flexibility and re-configurability that most of the conventional systems have. This has been achieved by employing a method based on the new IEC 61499 function block standard, which is proposed for distributed control systems. This paper also proposes a wireless sensor network as the system infrastructure in addition to the function blocks in order to implement the Internet-of-Things technology into the area of home automation as a solution for distributed monitoring and control. The proposed system has been implemented in both Cyber (nxtControl) and Physical (Contiki-OS) level to show the applicability of the solution
|
|
| 2. |
- Altmojo, Udayanto Dwi, et al.
(författare)
-
On Achieving Reliable Communication in IEC 61499
- 2018
-
Ingår i: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA). - Piscataway, NJ : IEEE. - 9781538671085 ; , s. 147-154
-
Konferensbidrag (refereegranskat)abstract
- This paper proposes a novel extension for communication in the IEC 61499 standard. Inspired by the features found in the formal programming language SystemJ, the extension supports reliable and guaranteed communication in distributed execution of function block application(s)/program(s). The extension utilizes mechanisms agnostic on underlying network protocols and are based on formal semantics that guarantee data delivery. The use of proposed extension, called channel, is demonstrated in an industrial automation-type example.
|
|
| 3. |
- Atmojo, Udayanto Dwi, et al.
(författare)
-
A Design Pattern for Systems Composed from Intelligent Mechatronic Modules with Wireless Communication
- 2019
-
Ingår i: Proceedings. - : IEEE. ; , s. 41-48
-
Konferensbidrag (refereegranskat)abstract
- This paper presents a software design pattern for systems composed from distributed intelligent mechatronic modules which communicate with each other via wireless interface. The design pattern is formed by integrating the reliable communication mechanism called channel, which comes from a system-level programming language SystemJ. The paper demonstrates how the design pattern can be applied in an industrial automation example.
|
|
| 4. |
- Atmojo, Udayanto Dwi, et al.
(författare)
-
Distributed control architecture for dynamic reconfiguration : Flexible assembly line case study
- 2018
-
Konferensbidrag (refereegranskat)abstract
- This article presents the development of a distributed manufacturing case study enhanced with features that enable flexibility during the production process and the capability to continue the production process in case of fault scenarios. The approach described in this paper presents solutions to achieve the production of customized products, handle changes in product order, and minimize downtime and avoid total shutdown of the manufacturing system due to the occurrence of failures during the production process.
|
|
| 5. |
- Barni, Andrea, et al.
(författare)
-
Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform
- 2019
-
Ingår i: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN). - : IEEE. ; , s. 635-640
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Daedalus is conceived to enable the full exploitation of the CPS' virtualized intelligence concept, through the adoption of a completely distributed automation platform based on IEC-61499 standard, fostering the creation of a Digital Ecosystem that could go beyond the current limits of manufacturing control systems and propose an ever-growing market of innovative solutions for the design, engineering, production and maintenance of plants' automation.
|
|
| 6. |
- Belyakov, Stanislav Leonidovich, et al.
(författare)
-
Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation Experience
- 2015
-
Ingår i: IEEE TrustCom-BigDataSE-ISPA 2015. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. 269-274
-
Konferensbidrag (refereegranskat)abstract
- This paper investigates adaptation of material flows in mechanical transportation systems to the appearance of local overloads. The adaptation mechanism is based on the deflection of the forecast of experts who oversee the behavior of flows in the network. We propose a modified version of case-based reasoning, which uses the concept of imagination of situations. Unlike known methods, imaginative description of cases increases the reliability of decision-making. We provide a modification of the algorithm for dynamically building routing tables in distributed controllers of a transportation network. Analytic evaluation of the adaptation method's effectiveness is provided. The paper is concluded with outline of the implementation mechanism using a network of distributed controllers
|
|
| 7. |
- Berezovskaya, Yulia, et al.
(författare)
-
A hybrid fault detection and diagnosis method in server rooms’ cooling systems
- 2019
-
Ingår i: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN). - : IEEE. ; , s. 1405-1410
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Data centers as all complex systems are prone to faults, and cost of them can be very high. This paper is focused on detecting the faults in the cooling systems, in particular on local fans level. In the paper, a hybrid approach is proposed. In the approach a model is used as substitute of the real system to generate dataset containing records of both normal and fault cases. On the generated data, machine learning algorithm or ensemble of algorithms are selected and trained to detect the faults. To demonstrate the approach, the rack model of real data center is created, and reliability of the model is shown. Using the model, the dataset with normal as well as abnormal records of data is generated. To detect faults of local fans, simple classifiers are built for all pairs: a local fan – a processor unit. Classifiers are trained on one part of generated data (training data), and then their accuracy is estimated on another part of generated data (test data). A real-time fault detection system is built based on the classifiers. The rack model is used as the substitute of the real plant to check operability of the system.
|
|
| 8. |
- Berezovskaya, Yulia, et al.
(författare)
-
Improvement of Energy Efficiency in Data Centers via Flexible Humidity Control
- 2016
-
Ingår i: IECON Proceedings (Industrial Electronics Conference). - Piscataway, NJ : IEEE Computer Society. - 9781509034741 ; , s. 5585-5590
-
Konferensbidrag (refereegranskat)abstract
- Abstract- The main goal of climate control systems in data centres is to keep the temperature and humidity in a suitable level for computational devices. Therefore, cooling and humidification systems are essential parts of every Building Automation System (BAS), which is utilized in server rooms. Although the current climate control systems ensure appropriate thermal conditions to computational nodes such as servers, they waste substantial amount of energy. The main cause of this inefficiency is that the current climate control systems, which are responsible for thermal management of the data centres, follow rigid control strategies that maintain constant thermal conditions irrespective of climate changes caused by various computational loads in the plant. To address this issue, in our previous works we proposed a method of optimizing energy consumption in data centre cooling systems while maintaining an acceptable level of thermal comfort for CPUs in the server room. In this paper, we present the enhancement of our previous method by incorporating humidity control into it. The enhanced method consists of a thermal model of server room, and a simulation tool to find an energy efficient control strategy for the climate control system in different situations by comparing different control strategies. The effectiveness of the proposed method has been investigated via simulation and the result, which shows 41.5% reduction in total energy consumption is presented.
|
|
| 9. |
- Berezovskaya, Yulia, et al.
(författare)
-
Smart Distribution of IT Load in Energy Efficient Data Centers with Focus on Cooling Systems
- 2018
-
Ingår i: Proceedings. - : IEEE. ; , s. 4907-4912
-
Konferensbidrag (refereegranskat)abstract
- Cooling system is the second most energy-consuming part of a modern data center; herewith it often consumes energy inefficiently. Therefore, any possibility allowing to reduce energy consumption of cooling systems should be studied and put into practice if successful. In this paper, the idea about impact of IT load distribution between servers on energy consumption of data center cooling system is proposed. The idea is in distribution of total IT load between servers according to the location of the servers inside racks. To test idea, the model simulating the thermal behaviour and energy consumption of a real data center located in Northern Sweden is developed. Comparing the data obtained from the real plant and the data generated at the simulation shows the reliability of the model. Two strategies of IT load distribution between servers are considered, and their impact on energy consumption of cooling system is demonstrated.
|
|
| 10. |
- Blech, Jan Olaf, et al.
(författare)
-
A Comparison of Formal Verification Approaches for IEC 61499
- 2016
-
Ingår i: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA). - Piscataway, NJ : IEEE conference proceedings. - 9781509013142 - 9781509013135
-
Konferensbidrag (refereegranskat)abstract
- Engineering and computer science have come up with a variety of techniques to increase the confidence in systems, increase reliability, facilitate certification, improve reuse and maintainability, improve interoperability and portability. Among them are various techniques based on formal models to enhance testing, validation and verification. In this paper, we are concentrating on formal verification both at runtime and design time of a system. Formal verification of a system property at design time is the process of mathematically proving that the property indeed holds. At runtime, one can check the validity of the property and report deviations by monitoring the system execution. Formal verification relies on semantic models, descriptions of the system and its properties. We report on ongoing verification work and present two different approaches for formal verification of IEC 61499-based programs. We provide two examples of ongoing work to exemplify the design and the runtime verification approaches
|
|
