1. |
- Chen, Yingxin, et al.
(författare)
-
A Case Study on Knowledge Driven Code Generation for Software-Defined Industrial Cyber-Physical Systems
- 2018
-
Ingår i: Proceedings IECON 2018. - : IEEE. ; , s. 4687-4692
-
Konferensbidrag (refereegranskat)abstract
- Industrial Cyber-Physical Systems (iCPS) enables coordination between various subsystems and devices based on real-time feedback data from sensors. iCPS must react rapidly to new requirements and adjust itself to fulfill new functionalities in no time. On the software side, control programs of iCPS need to be reconfigured dynamically. An efficient way for massive reconfiguration is automatic code generation. In this paper, a knowledge-driven code generation method is experimented for software-defined iCPS. Based on sensor values, actuators are controlled by the reasoning process with support of ontological knowledge base. The results demonstrate that iCPS could be driven by rules completely without programming control software.
|
|
2. |
- Dai, Ruihan, et al.
(författare)
-
Electron crystallography reveals atomic structure of metal-organic nanoplate with Hf12(µ3-O)8(µ3-OH)8(µ2-OH)6 secondary building unit
- 2017
-
Ingår i: Inorganic Chemistry. - : American Chemical Society (ACS). - 0020-1669 .- 1520-510X. ; 56:14, s. 8128-8134
-
Tidskriftsartikel (refereegranskat)abstract
- Nanoscale metal–organic frameworks (nMOFs) have shown tremendous potential in cancer therapy and biomedical imaging. However, their small dimensions present a significant challenge in structure determination by single-crystal X-ray crystallography. We report here the structural determination of nMOFs by rotation electron diffraction (RED). Two isostructural Zr- and Hf-based nMOFs with linear biphenyldicarboxylate (BPDC) or bipyridinedicarboxylate (BPYDC) linkers are stable under intense electron beams to allow the collection of high-quality RED data, which reveal a MOF structure with M12(μ3-O)8(μ3-OH)8(μ2-OH)6 (M = Zr, Hf) secondary building units (SBUs). The nMOF structures differ significantly from their UiO bulk counterparts with M6(μ3-O)4(μ3-OH)4 SBUs and provide the foundation for clarifying the structures of a series of previously reported nMOFs with significant potential in cancer therapy and biological imaging. Our work clearly demonstrates the power of RED in determining nMOF structures and elucidating the formation mechanism of distinct nMOF morphologies.
|
|
3. |
- Dai, Wenbin, et al.
(författare)
-
A case study on migration from IEC 61131 PLC to IEC 61499 function block control
- 2009
-
Ingår i: INDIN 2009. - Piscataway, NJ : IEEE Communications Society. - 9781424437597 ; , s. 79-84
-
Konferensbidrag (refereegranskat)abstract
- The IEC 61499 architecture is a new standard proposed to replace current PLC technologies. This paper aims to develop a guide to migrate from IEC 61131 PLC technologies to IEC 61499 function blocks, especially for PLC programmers. Multiple PLC platforms are chosen as examples and transformed function block system is provided. Beyond migration rules, current limitation and cautions during migration are discussed on the final section of this paper.
|
|
4. |
- Dai, Wenbin, et al.
(författare)
-
A Cloud-Based Decision Support System for Self-Healing in Distributed Automation Systems Using Fault Tree Analysis
- 2018
-
Ingår i: IEEE Transactions on Industrial Informatics. - : Institute of Electrical and Electronics Engineers (IEEE). - 1551-3203 .- 1941-0050. ; 14:3, s. 989-1000
-
Tidskriftsartikel (refereegranskat)abstract
- Downtime is a key performance index for industrial automation systems. An industrial automation system achieves maximum productivity when its downtime is reduced to the minimum. One approach to minimize downtime is to predict system faults and recover from them automatically. A cloud-based decision support system is proposed for rapid problem identifications and to assist the self-management processes. By running multiple parallel simulations of control software with real-time inputs ahead of system time, faults could be detected and corrected automatically using autonomous industrial software agents. Fault trees, as well as control algorithms, are modeled using IEC 61499 function blocks that can be directly executed on both physical controllers and cloud services. A case study of water heating process is used to demonstrate the self-healing process supported by the cloud-based decision support system.
|
|
5. |
|
|
6. |
- Dai, Wenbin, et al.
(författare)
-
Automatically generated layered ontological models for semantic analysis of component-based control systems
- 2013
-
Ingår i: IEEE Transactions on Industrial Informatics. - 1551-3203 .- 1941-0050. ; 9:4, s. 2124-2136
-
Tidskriftsartikel (refereegranskat)abstract
- The IEC 61499 standard is designed for distributed control and proposes new visual form of programming using block diagrams with embedded state machines and unlimited hierarchical nesting and distribution across networking devices. Such visual programs require new methods of automatic syntactic and semantic analysis. This paper proposes a new approach to semantic analysis using multiple-layered ontological knowledge representation and rule-based inference engine. Its working is demonstrated on example.
|
|
7. |
- Dai, Wenbin, et al.
(författare)
-
Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability
- 2015
-
Ingår i: IEEE Transactions on Industrial Informatics. - 1551-3203 .- 1941-0050. ; 11:3, s. 771-781
-
Tidskriftsartikel (refereegranskat)abstract
- In recent years, requirements for interoperability, flexibility, and reconfigurability of complex automation industry applications have increased dramatically. The adoption of service-oriented architectures (SOAs) could be a feasible solution to meet these challenges. The IEC 61499 standard defines a set of management commands, which provides the capability of dynamic reconfiguration without affecting normal operation. In this paper, a formal model is proposed for the application of SOAs in the distributed automation domain in order to achieve flexible automation systems. Practical scenarios of applying SOA in industrial automation are discussed. In order to support the SOA IEC 61499 model, a service-based execution environment architecture is proposed. One main characteristic of flexibility-dynamic reconfiguration-is also demonstrated using a case study example.
|
|
8. |
- Dai, Wenbin, et al.
(författare)
-
Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems
- 2020
-
Ingår i: IEEE Transactions on Systems, Man & Cybernetics. Systems. - : Institute of Electrical and Electronics Engineers (IEEE). - 2168-2216 .- 2168-2232. ; 50:3, s. 851-862
-
Tidskriftsartikel (refereegranskat)abstract
- Cyber-physical systems (CPSs) are becoming common in the industrial automation domain. In industrial CPS, distributed programmable logic controllers collaborate to control manufacturing plants. Design and analysis of such systems require a system model that covers control, computation, and communication with physical plant dynamics. This paper focuses on execution semantics for industrial CPS with the aim of providing a deterministic and platform-independent execution environment. A discrete-event-based execution semantics augmented with timestamp mechanism is proposed for IEC 61499 to provide deterministic behavior and guarantee compliance with real-time constraints for industrial CPS. The timestamped discrete-event-based execution semantics is implemented in an IEC 61499 runtime with service-enabled features. A case study of building automation system is used to prove the proposed semantics.
|
|
9. |
- Dai, Wenbin, et al.
(författare)
-
Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm
- 2016
-
Ingår i: IECON Proceedings (Industrial Electronics Conference). - Piscataway, NJ : IEEE Computer Society. - 9781509034741 ; , s. 5253-5258
-
Konferensbidrag (refereegranskat)abstract
- Industrial cyber-physical systems provide a vision of collaborative industrial automation systems with maximized flexibility and interoperability. Service-oriented architecture is considered as the key to enabling collaboration in industrial cyber-physical systems. On the device level, software components are expected to act as services that can be published and accessed from other distributed nodes. In this paper, a plug-and-play service component approach is proposed based on web service description language (WSDL) and IEC 61499 function blocks. Those services are able to be discovered by adopting device profiles for web services (DPWS). Plug-and-play software services are demonstrated on a building automation system example and future works on automatic service orchestration are discussed
|
|
10. |
- Dai, Wenbin, et al.
(författare)
-
IEC 61499 ontology model for semantic analysis and code generation
- 2011
-
Ingår i: 9th IEEE International Conference on Industrial Informatics (INDIN). - Piscataway, NJ : IEEE Communications Society. - 9781457704352 - 9781457704338 ; , s. 597-602
-
Konferensbidrag (refereegranskat)abstract
- The IEC 61499 standard is targeting the enhancement of the IEC 61131-3 PLC standard in distributed automation systems improving the reconfigurability, portability and reusability of automation software. This paper proposes a foundation to a novel approach for design the system based on IEC 61499 function blocks. This design process is including design recovery, configuration, semantic analysis and code generation using ontology models as the knowledge base. The IEC 61499 ontology model is provided as well as the semantic enrichment and corrections are described. The semantic analysis for IEC 61499 and the entire framework for code generation will be completed in the future.
|
|