Browse by Subject Automata

Showing results 1 to 8 of 8

1
(A) two-phase approach for design of supervisory controllers for robot cells : model checking and markov decision models = 모델검증기법 및 마코프 의사결정 모형을 이용한 로보트 작업장의 운영제어로직의 설계 기법link

Lee, Jin-Hwan; 이진환; et al, 한국과학기술원, 1996

2
Autonomous Vehicle Cut-In Algorithm for Lane-Merging Scenarios via Policy-Based Reinforcement Learning Nested Within Finite-State Machine

Hwang, Seulbin; Lee, Kibeom; Jeon, Hyeongseok; Kum, Dongsuk, IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, v.23, no.10, pp.17594 - 17606, 2022-10

3
Design of supervisory control logic of a multi-robot assembly cell by automata-based model checking and markov decision models = 오토마타 기반의 모델검증기법 및 마코프 의사결정 모형에 의한 복수 로봇조립 작업장의 운영로직의 설계link

Jung, Jae-Man; 정재만; et al, 한국과학기술원, 1997

4
Esterel 문법구조 바탕의 오토마타 생성

이철우; 윤정한; 한태숙; 최광무; 김철주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.11, pp.1136 - 1140, 2010-11

5
Esterel을 위한 오토마타 생성 기반구조 = An automata generation framework for esterellink

이철우; Lee, Chul-Woo; et al, 한국과학기술원, 2011

6
Esterel을 위한 오토마타 생성 기반구조 = An automata generation framework for esterellink

이철우; Lee, Chul-Woo; et al, 한국과학기술원, 2011

7
Supervisory Control of Blockchain Networks

Seow, Kiam Tian, IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, v.50, no.1, pp.159 - 171, 2020-01

8
지문자를 포함한 한글 수화의 실시간 인식 시스템 구현에 관한 연구 = A study on real-time recognition system for the Korean sign language(KSL) mixed with Korean manual alphabet(KMA)link

이찬수; Lee, Chan-Su; et al, 한국과학기술원, 1997

rss_1.0 rss_2.0 atom_1.0