• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.2
• /
• pp.194-202
• /
• 1998

This paper describes a hardware implementation method of a Petri Net-based controller. A flexible and systematic implementation method, based on look-up tables, is suggested, which enables to build high speed Petri net-based controllers. The suggested method overcomes the inherent speed limit that arises from the microprocessors by using of matrix-based look-up tables. Based on the matrix framework, this paper suggests various specific data path structures as well as a basic data path structure, accompanied by evolution algorithms, for sub-class Petri nets. A new sub-class Petri net, named Biarced Petri Net, resolves memory explosion problem that usually comes with matrix-based look-up tables. The suggested matrix-based method based on the Biarced Petri net has as good efficiency and expendability as the list-based methods. This paper shows the usefulness of the suggested method, evaluating the size of the look-up tables and introducing an architecture of the signal processing unit of a programmable controller. The suggested implementation method is supported by an automatic design support program.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1254-1256
• /
• 1996

Design methods for sequence flow controllers play an important role in industrial automation. To design a flexible, reusable, and maintainable control software has become a key issue nowadays. Petri net has been emerging as an important tool to provide an integrated solution for modeling, analysis, simulation, and control of industrial automated systems recently. This paper describes an international standard of programming languages for programmable logic controllers, IEC 1131-3 SFC( Sequential Function Chart), and the sequence flow control method for an SFC using a Petri net-like model.

• Journal of the Institute of Convergence Signal Processing
• /
• v.7 no.3
• /
• pp.87-94
• /
• 2006

For realizing an ubiquitous home network(uHome-net), various sensors should be able to be connected to an integrated wire/wireless sensor network. This paper describes an application case of applying LonWorks technology being widely used in control network to wire/wireless sensor network in uHome-net and the design and application of LonRF device that consists of a neuron chip including LonTalk protocol, a 433.92MHz RF transceiver, a sensor, and application programs. As an application example of the LonRF device, the LonRF smart badge that can measure the 3D location of objects in indoor environment and interwork with the uHome-net was developed. LonRF device based home network services were realized on the uHome-net testbed such as indoor positioning service, remote surveillance service and remote metering service were realized. This research shows that LonWorks technology based sensor network could be applicable to the control network in an ubiquitous home network and the LonRF device can be used as a wireless node in various sensor networks.

• Journal of Information Processing Systems
• /
• v.15 no.6
• /
• pp.1472-1488
• /
• 2019

Critical elements in the China's Lunar Exploration reside in that the lunar rover travels over the surrounding undetermined environment and it conducts scientific exploration under the ground control via teleoperation system. Such an interplanetary transportation mission teleoperation system belongs to the ground application system in deep space mission, which performs terrain reconstruction, visual positioning, path planning, and rover motion control by receiving telemetry data. It plays a vital role in the whole lunar exploration operation and its so-called trustworthy evidence must be assessed before and during its implementation. Taking ISO standards and China's national military standards as trustworthy evidence source, the net assessment model and net assessment method of teleoperation system are established in this paper. The multi-dimensional net assessment model covering the life cycle of software is defined by extracting the trustworthy evidences from trustworthy evidence source. The qualitative decisions are converted to quantitative weights through the net assessment method (NAM) combined with fuzzy analytic hierarchy process (FAHP) and entropy weight method (EWM) to determine the weight of the evidence elements in the net assessment model. The paper employs the teleoperation system for interplanetary transportation as a case study. The experimental result drawn shows the validity and rationality of net assessment model and method. In the final part of this paper, the untrustworthy elements of the teleoperation system are discovered and an improvement scheme is established upon the "net result". The work completed in this paper has been applied in the development of the teleoperation system of China's Chang'e-3 (CE-3) "Jade Rabbit-1" and Chang'e-4 (CE-4) "Jade Rabbit-2" rover successfully. Besides, it will be implemented in China's Chang'e-5 (CE-5) mission in 2019. What's more, it will be promoted in the Mars exploration mission in 2020. Therefore it is valuable to the development process improvement of aerospace information system.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.16 no.1
• /
• pp.101-108
• /
• 2021

This paper builds a real-time home security system based on the OneNet cloud platform to control the status of the house through a smartphone. The system consists of a local part and a cloud part. The local part has I/O devices, router and Raspberry Pi (RPi) that collects and monitors sensor data and sends the data to the cloud, and the Flask web server is implemented on a Rasberry Pi. When a user is at home, the user can access the Flask web server to obtain the data directly. The cloud part is OneNet in China Mobile, which provides remote access service. The hybrid App is designed to provide the interaction between users and the home security system in the smartphone, and the EDP and RTSP protocol is implemented to transmit data and video stream. Experimental results show that users can receive sensor data and warning text message through the smartphone and monitor, and control home status through OneNet cloud.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.324-329
• /
• 1993

A reduction method of GSPN (generalized stochastic Petri net) is proposed. A GSPN is basically a SPN (stochastic Petri net) with transition a that are either timed or immediate. Then the proposed method is defined on the basis of the dynamic behavior and the structure of the net. The reduction preserves the properties such as liveness, boundedness, and allows easy analysis of the GSPN.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.438-441
• /
• 1997

This paper studies a semi-active suspension with ER damper controlled Fuzzy Net Controller designed GA(Genetic Algorithm). Apparent viscosity of ERF(Electro-Rheological Fluid) can be changed rapidly by applying electric field. Semi-active suspension for ground vehicles are expected to improve ride quality with less vibration. This paper deals with a two-degree -of-freedom suspension using the ER damper for a quarter vehicle system. In this paper, the GA is applied for generating Fuzzy Net Controllers. The GA designs the optimal structure and performance of Fuzzy Net Controller having hybrid structure. Computer simulation results show that the semi-active suspension with ER damper has good performances of ride quality.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1727-1731
• /
• 2003

In this paper we proposed backward fuzzy Petri-net to diagnoses faults in power systems by using the time sequence information of protection system. As the complexity of power systems increases, especially in the case of multiple faults or incorrect operation of protective devices, fault diagnosis requires new and systematic methods to the reasoning process, which improves both its accuracy and its efficiency. The fuzzy Petri-net models of protection system are composed of the operating process of protective devices and the fault diagnosis process. Fault diagnosis model, which makes use of the nature of fuzzy Petri-net, is developed to overcome the drawbacks of methods that depend on operator knowledge. The proposed method can reduce processing time and increase accuracy when compared with the traditional methods. And also this method covers online processing of real-time data from SCADA (Supervisory Control and Data Acquisition)

• International Journal of Control, Automation, and Systems
• /
• v.1 no.4
• /
• pp.431-443
• /
• 2003

This paper presents an efficient method to evaluate the performance of an extended stochastic Petri net by simple algebraic operations. The reachability graph is derived from an extended stochastic Petri net, and then converted to a timed stochastic state machine, using a semi-Markov process. The n-th moments of the performance index are derived by algebraic manipulations with each of the n-th moments of transition time and transition probability. For the derivation, three reduction rules are introduced on the transition trajectories in a well-formed regular expression. Efficient computation algorithms are provided to automate the suggested method. The presented method provides a proficient means to derive both the numerical and the symbolic solutions for the performance of an extended stochastic Petri net by simple algebraic manipulations.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10b
• /
• pp.1173-1177
• /
• 1990

Cerebellar Model Linear Associator Net(CMLAN), a kind of neuro-net based adaptive control function generator, was applied to the problem of direct inverse calibration of three and six d.o.f. POMA 560 robot. Since CMLAN autonomously maps and generalizes a desired system function via learning on the sampled input/output pair nodes, CMLAN allows no knowledge in system modeling and other error sources. The CMLAN based direct inverse calibration avoids the complex procedure of identifying various system parameters such as geometric(kinematic) or nongeometric(dynamic) ones and generates the corresponding desired compensated joint commands directly to each joint for given target commands in the world coordinate. The generated net outputs automatically handles the effect of unknown system parameters and dynamic error sources. On-line sequential learning on the prespecified sampled nodes requires only the measurement of the corresponding tool tip locations for three d.o.f. manipulator but location and orientation for six d.o.f. manipulator. The proposed calibration procedure can be applied to any robot.