지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2011.11
- 수록면
- 151 - 159 (9page)
이용수
초록· 키워드
오류제보하기
유연생산 시스템의 감독제어 문제는 공장설비 모델과 사용자 명세서 모델을 합성하여 제어기를 만들고 생성된 제어기로 공장설비를 폐-루프 제어하는 것이다. 본 연구에서는 일반적인 다중 생산자-소비자 유연생산시스템을 위한 사용자 명세서 모델링 방법을 제안한다. 이를 위하여 일반적인 다중 생산자-소비자 문제가 순차상태 전이 금지 문제임을 설명하고 이를 해결하기 위한 패트리 넷 기반 사용자 명세서의 작성 방법을 제안한다. 제안된 방법을 강제적 동기식 도달성 그래프 방식의 감독제어 모델 합성 방법에 적용하여 공장설비 모델과 사용자 명세서 모델의 합성방법을 보인다. 제안된 사용자 명세서 모델링 방법이 기존 방식보다 일반적이고 강력한 모델링 방법임을 알 수 있다.
목차
요약
Abstract
Ⅰ. 서론
Ⅱ. 연구 배경
Ⅲ. 패트리 넷 기반 사용자 명세서 설계법
Ⅳ. 패트리 넷 기반 감독제어 시스템
Ⅴ. 결론
참고문헌
저자소개
참고문헌 (23)
참고문헌 신청
2. [단행본] - Christos G. Cassandras / 1999 / Introduction to Discrete Event Systems / Springer
3. [학술지(정기간행물)] - P. J. Ramadge / 1987 / Supervisory control of a class of Discrete Event Processes / AM Journal on Control and Optimization 25 (1) : 206 ~ 230
4. [학술지(정기간행물)] - W. M. Wonham / 1987 / On thesupremal controllable sublanguage of a given language / SIAM Journal on Control and Optimization 25 (3) : 637 ~ 659
5. [학술지(정기간행물)] - W. M. Wonham / 2000 / Supervisory Control of Discrete- Event Systems: An Introduction / Proc. IEEE International. Conf. on Industrial Technology 2000 (ICIT2000) 2 : 474 ~ 479
6. [단행본] - A. Valmari / 1996 / Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets / Springer-Verlang : 429 ~ 528
3. [학술지(정기간행물)] - P. J. Ramadge / 1987 / Supervisory control of a class of Discrete Event Processes / AM Journal on Control and Optimization 25 (1) : 206 ~ 230
4. [학술지(정기간행물)] - W. M. Wonham / 1987 / On thesupremal controllable sublanguage of a given language / SIAM Journal on Control and Optimization 25 (3) : 637 ~ 659
5. [학술지(정기간행물)] - W. M. Wonham / 2000 / Supervisory Control of Discrete- Event Systems: An Introduction / Proc. IEEE International. Conf. on Industrial Technology 2000 (ICIT2000) 2 : 474 ~ 479
6. [단행본] - A. Valmari / 1996 / Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets / Springer-Verlang : 429 ~ 528
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-566-001076104