• Proceedings of the KIEE Conference
• /
• 2000.11d
• /
• pp.679-681
• /
• 2000

This thesis presents a analysis method of hybrid synthesis petri net for automated manufacturing systems in discrete event dynamic system. There are many errors that can happen to petri net modeling of complex systems because petri net modeling process has so many steps. A new matrix analysis method presented in this thesis can confirm the property of petri net such as boundedness, liveness and reversibility, modify errors which can be occurred in modeling.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.368-373
• /
• 2005

This paper presents a new framework for the traffic flow control based on integrated model descriptions as the Hybrid Dynamical System (HDS).

• Proceedings of the IEEK Conference
• /
• 1999.06a
• /
• pp.13-16
• /
• 1999

The terrestrial/satellite hybrid network may replace or supply the terrestrial network in some areas or certain application. Futhermore, it can play an important role in the development of B-ISDN due to their features of flexible wide coverage, independent of ground distances and geographical constraints, multiple access and multipoint broadcast. Also, satellite have the capability to supply terrestrial ATM and B-ISDN with flexible links for access networks as well as trunk networks. This paper describes the design and verification of the interworking protocol between terrestrial B-ISDN and satellite network. For the verification, the designed interworking protocol is modeled by Petri-net and analyzed by reachability tree.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1909-1918
• /
• 1999

The terrestrial/satellite hybrid network may replace or supply the terrestrial network in some areas or certain applications. For example, it may play a major role in global B-ISDN or in certain areas where the deployment of optical cable is not feasible, especially at the early stage of implementing terrestrial B-ISDN. Furthermore, it can play an important role in the development of B-ISDN due to their features of flexible wide coverage, independent of ground distances and geographical constraints, multiple access and multipoint broadcast. Also, satellite have the capability to supply terrestrial B-ISDN/ATM with flexible links for access networks as well as trunk networks. This paper describes the design and verification of the interworking protocol between terrestrial B-ISDN뭉 satellite network. For the verification, the designed interworking protocol is modeled by Petri-net and the model is analyzed by reachability tree.

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

This paper describes an integrated navigation strategy for the autonomous service robot PSR. The PSR is under development at the KIST for service tasks in indoor public environments. The PSR is a multi-functional mobile-manipulator typed agent, which works in daily life. Major advantages of proposed navigation are as follows: 1) Structured control architecture for a systematic integration of various software modules. A Petri net based configuration design enables stable control flow of a robot. 2) A range sensor based generalized scheme of navigation. Any range sensor can be selectively applied using the proposed navigation scheme. 3) No need for modification of environments. (No use of artificial landmarks.) 4) Hybrid approaches combining reactive behavior as well as deliberative planner, and local grid maps as well as global topological maps. A presented experimental result shows that the proposed navigation scheme is useful for mobile service robot in practical applications.