| 1 | A slicing-based approach to enhance Petri net reachability analysis w.j. lee; Cha, Sungdeok; Kwon, Yong Rae; h.n. kim, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.32, no.2, pp.131 - 143, 2000-05 |
| 2 | Comparative study of search methods and heuristic functions for scheduling of flexible manufacturing systems = 유연생산시스템의 스케쥴링을 위한 탐색방법과 경험적 함수의 비교연구link Yim, Seong-Jin; 임성진; et al, 한국과학기술원, 1997 |
| 3 | Cyclic scheduling of timed petri nets : behavior, optimization, and application to cluster tools = 시간을 갖는 페트리넷의 주기적 스케쥴링 : 행태, 최적화, 클러스터 장비에의 응용link Jung, Chi-Hyun; 정치현; et al, 한국과학기술원, 2010 |
| 4 | Feedback Control of Cluster Tools: Stability Against Random Time Disruptions Kim, Chulhan; Yu, Tae-Sun; Lee, Tae-Eog, IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, v.19, no.3, pp.2008 - 2015, 2022-07 |
| 5 | Formation control of multiple autonomous mobile robots with inaccurate sensor information = 부정확한 센서 정보를 이용한 다 개체 이동 로봇의 대형 형성 방법론link Kim, Gun-Hee; 김건희; et al, 한국과학기술원, 2001 |
| 6 | Integration and analysis of use cases using modular Petri nets in requirements engineering Lee, Woo Jin; Cha, Sungdeok; Kwon, Yong Rae, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.24, no.12, pp.1115 - 1130, 1998-12 |
| 7 | Modeling and scheduling of periodic shops = 반복생산시스템의 모델링과 스케줄링link Song, Ju-Seog; 송주석; et al, 한국과학기술원, 1996 |
| 8 | Modelling and simulation of automated manufacturing systems for evaluation of complex schedules Kim, Chulhan; Lee, Tae-Eog, INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, v.51, no.12, pp.3734 - 3747, 2013-06 |
| 9 | Non-Cyclic Scheduling of a Wet Station Kim, Hyunjung; Lee, Jun-Ho; Lee, Tae-Eog, IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, v.11, no.4, pp.1262 - 1274, 2014-10 |
| 10 | Reachability Tree-Based Optimization Algorithm for Cyclic Scheduling of Timed Petri Nets Kim, Chulhan; Yu, Tae-Sun; Lee, Tae-Eog, IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, v.18, no.3, pp.1441 - 1452, 2021-07 |
| 11 | Schedule Restoration for Single-Armed Cluster Tools Kim, Ja-Hee; Zhou, MengChu; Lee, Tae-Eog, IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, v.27, no.3, pp.388 - 399, 2014-08 |
| 12 | Scheduling a wet station for wafer cleaning with multiple job flows and multiple wafer-handling robots Lee, Tae-Eog; Lee, HY; Lee, SJ, INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, v.45, no.3, pp.487 - 507, 2007-02 |
| 13 | SCHEDULING FLEXIBLE MANUFACTURING SYSTEMS USING PETRI NETS AND HEURISTIC SEARCH Lee, Doo Yong; DICESARE F, IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, v.10, no.2, pp.123 - 132, 1994-04 |
| 14 | Specification and analysis of timing requirements for real-time systems in the CBD approach Lee, Ho Kyoung; Lee, Woo Jin; Chae, Heung Seok; Kwon, Yong Rae, REAL-TIME SYSTEMS, v.36, no.1-2, pp.135 - 158, 2007-07 |
| 15 | Workflow management for product development process with uncertain and dynamic characteristics = 불확실성과 동적 특성의 제품개발환경을 지원하는 워크플로우 관리 기법link Ha, Seung-Chul; 하승철; et al, 한국과학기술원, 2007 |
| 16 | 교통 시스템의 단위적 모델링 및 제어 = Modular modeling and control of a traffic systemlink 오명환; Oh, Myung-Hwan; et al, 한국과학기술원, 1998 |
| 17 | 다개체 이동 로봇을 위한 협동 제어 방법론 = Cooperative control method for multiple mobile robotslink 이경노; Lee, Kyung-No; et al, 한국과학기술원, 1998 |
| 18 | 소형 이동 로봇의 제작 및 자율적 군집 제어 시스템 설계 = Implementation of the collective control method for the autonomous mobile robotslink 장해섭; Jang, Hae-Seop; et al, 한국과학기술원, 1999 |
