목차
서언 = 3
제1장 이산사건시스템
1.1 개요 = 15
1.2 이산사건시스템 = 16
1.3 이산사건시스템의 사례 = 20
1.3.1 생산시스템 = 20
1.3.2 공조시스템(HVAC System) = 20
1.3.3 통신망 = 21
1.3.4 전자회로 시스템 = 22
참고문헌 = 23
제2장 논리적 이산사건모델
2.1 개요 = 27
2.2 형식언어 = 27
2.3 오토마타와 유한상태기계 = 29
2.4 유한상태기계의 접근가능성과 상호접근가능성 = 32
2.5 정규언어 = 34
2.6 곱과 병렬합성 = 36
2.7 페트리네트 = 38
참고문헌 = 43
제3장 관리제어이론
3.1 개요 = 47
3.2 관리제어의 개념 = 47
3.3 관리제어기의 존재조건Ⅰ : 제어가능성 = 53
3.4 관리제어기의 존재조건Ⅱ : 관측가능성 = 56
3.5 관리제어기의 구현 = 60
참고문헌 = 65
제4장 관리제어기의 설계
4.1 개요 = 69
4.2 K가 제어불가능인 경우의 관리제어기 설계 = 69
4.2.1 제어가능성의 성질 = 70
4.2.2 관리제어기의 설계 = 74
4.2.3 연산 = 75
4.2.4 연산 = 80
4.3 K가 관측불가능인 경우의 관리제어기 설계 = 86
4.3.1 관측가능성의 성질 및 관리제어기의 설계 = 86
4.3.2 표준성과 관리제어기 설계 = 89
참고문헌 = 93
제5장 분산 관리제어
5.1 개요 = 97
5.2 분산 관리제어 문제 = 97
5.3 완전관측 가능하의 분산 관리제어 = 99
5.4 부분관측 가능하의 분산관리제어 = 110
5.4.1 국소 분산 관리제어 = 110
5.4.2 전역 분산 관리제어 = 119
5.4.3 분산 관리제어 예제 : 모든 사건들이 관측가능한 경우 = 124
5.5 분산 관리제어 고찰 = 129
참고문헌 = 131
제6장 최적 관리제어
6.1 개요 = 135
6.2 MFMC 정리를 이용한 최적 관리제어기법 = 136
6.2.1 비용함수 = 136
6.2.2 최대흐름 최소분할생성(MEMC) 정리 = 138
6.2.3 최적 관리제어기의 설계 = 141
6.2.4 부분관측하에서의 최적 관리제어기의 설계 = 147
6.3 계층적 최적 관리제어기법 = 150
6.3.1 완전 최소분할생성 = 150
6.3.2 계층적 최적제어 기법 = 153
6.4 Min-Max 기법을 이용한 최적 관리제어기법 = 164
6.4.1 비용함수 = 164
6.4.2 최적 관리제어기의 설계 = 166
6.5 최적관리제어 고찰 = 168
참고문헌 = 171
제7장 계층적 관리제어
7.1 개요 = 175
7.2 계층적 구조를 지닌 이산사건시스템 = 176
7.3 계층적 일치성을 위한 관리제어기 설계 = 181
7.4 비막힘성과 계층적 일치성을 위한 관리제어 문제 = 193
7.5 계층적 관리제어 고찰 = 196
참고문헌 = 198
제8장 강인 관리제어
8.1 개요 = 203
8.2 다중모델 불확정성 이산사건시스템의 강인 관리제어 = 205
8.3 비결정성 이산사건시스템의 강인 관리제어 = 216
8.4 강인 관리제어 고찰 = 232
참고문헌 = 233
찾아보기 = 237
