Showing results 1 to 5 of 5
A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models Lee, Tae-Eog; Lee, JH, ANNALS OF OPERATIONS RESEARCH, v.77, pp.157 - 182, 1998-02 |
Automata-based supervisory control logic design for a multi-robot assembly cell = 오토마타기반의 다중로봇조립셀용 감시제어로직 설계link Lee, Jin-Kyu; 이진규; et al, 한국과학기술원, 2001 |
Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems Park, Seong-Jin; Cho, Kwang-Hyun, INFORMATION SCIENCES, v.178, no.17, pp.3393 - 3401, 2008-09 |
Using formal modeling with an automated analysis tool to design and parametrically analyze a multirobot coordination protocol: A case study Esposito, JM; Kim, Moonzoo, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.37, pp.285 - 297, 2007-05 |
오토마타 기반의 클러스터 장비의 제어로직 설계 = Automata-based supervisory control logic design for cluster toolslink 이성진; Lee, Sung-Jin; et al, 한국과학기술원, 2003 |
Discover