| 1 |
1
이산 사건 시스템 모델과 연속시간 시스템 모델간의 조립을 이용한 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법에 있어서,초기화를 위한 초기 조건을 설정하는 초기화 단계;초기 조건이 설정됨에 따라 다음 시간을 계산하는 다음 시간 계산 단계;초기 조건이 설정됨에 따라 이벤트 블록 타입이 상기 연속 시간 시스템 모델 또는 상기 이산 사건 시스템 모델에 해당하는 지를 확인하는 모델 구별 단계;확인 결과, 상기 연속 시간 시스템 모델에 해당하면 제로 크로싱이 검출되는 지에 따라 상기 다음 시간 계산 단계 또는 제로 크로싱의 검출 여부를 다시 확인하는 연속 시간 시스템 모델 수행 단계; 및확인 결과, 상기 이산 사건 시스템 모델에 해당하면 내부상태 천이를 수행하고 시간 고등 요청(Time Advance Fcn Call)을 수행하여 상기 다음 시간 계산 단계를 수행하는 이산 사건 시스템 모델 수행 단계;을 포함하는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 2 |
2
제 1 항에 있어서,상기 하이브리드 시스템은, 상기 이산 사건 시스템 모델과 연속 시간 시스템 모델의 결합 시스템 모델인 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 3 |
3
제 1 항에 있어서,상기 연속 시간 시스템 모델은 연속 상태 변수의 변화가 이산 사건을 발생하도록 연속 시간 상태 변수의 변화를 확인하는 상태 조건 함수 및 발생한 이산 사건 상태 변수를 포함하는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 4 |
4
제 1 항에 있어서,상기 이산 사건 시스템 모델은 이산 시간에서의 상태변화를 표현하기 위해 내부상태 천이 함수와 내부상태 천이 함수의 실행시점을 결정하는 시간 진행 함수를 포함하는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 5 |
5
제 3 항에 있어서,상기 연속시간시스템 모델은, 다음 수학적 명세 DESS Model=003c#Ucont, Ycont , Xcont, f, g, c, Xmode003e# (여기서, Ucont: 연속 입력변수의 집합; Ycont: 연속 출력변수의 집합; Xcont: 연속 상태변수의 집합; Xmode: 부분 연속 구간을 나타내는 이산상태변수의 집합; f: Xcont×Ucont → Xcont 연속 상태천이함수; g: Xcont×Ucont → Ycont: 연속 출력 함수; c: Xcont×Xmode → bool: 상태이벤트 조건함수)로 정의되는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 6 |
6
제 4 항에 있어서,상기 이산 사건 시스템 모델은, DEVS Model=003c#Udisc, Ydisc ,Xdisc, δext, δint, λ, ta003e#(여기서, Udisc: 입력사건의 집합; Ydisc: 출력사건의 집합; Xdisc: 일련의 이산 상태 집합; δext: Q×Udisc → Xdisc : 외부 상태 천이 함수; Q = {(s,e)|s×S, 0≤e≤ta(s)}; s: 현재상태, e: 현재상태에 머문 시간; Q: 원자모델의 전체상태; λ: Xdisc → Ydisc: 출력 함수; δint: Xdisc → Xdisc : 내부상태 천이 함수; ta: Xdisc → R0,∞: 시간 진행 함수)로 정의되는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 7 |
7
제 2 항에 있어서,상기 하이브리드 시스템은 다음 수학적 명세 Hybrid Model=003c#U, Y, M, EIC, EOC, IC, SELECT003e#(여기서, U=Ucont∪Udisc : 이산사건, 연속 입력의 집합; Y=Ycont∪Ydisc : 이산사건, 연속 출력의 집합; M⊆DESS∪DEVS∪Hybrid: 내부 모델의 집합; EIC: 외부 입력 사건 연결 관계; EOC: 외부 출력 사건 연결 관계; IC: 내부사건 연결 관계; SELECT: 외부 입력 이벤트 처리에 대한 내부 모델 간의 우선순위 선택 함수)로 정의되는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 8 |
8
제 1 항에 있어서,상기 다음 시간(next time) 계산은 연속 갱신 시간 간격 및 이산 갱신 시간 간격으로 이루어지며, 상기 이산 갱신 시간 간격마다 수개의 연속 갱신 시간 간격을 갖는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 9 |
9
제 1 항에 있어서,상기 이산 사건 시스템 모델과 연속 시간 시스템의 그래픽 표기 방식을 이용하여 표현되는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 10 |
10
제 1 항에 있어서,상기 내부상태 천이가 발생하면 연속적, 이산적 또는 기 설정된 시각에 상태 변이가 갱신되는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 방법
|
| 11 |
11
이산 사건 시스템 모델과 연속시간 시스템 모델간의 조립을 이용한 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 장치에 있어서,초기화를 위한 초기 조건을 설정하고, 초기 조건이 설정됨에 따라 다음 시간을 계산하고, 초기 조건이 설정됨에 따라 이벤트 블록 타입이 상기 연속 시간 시스템 모델 또는 상기 이산 사건 시스템 모델에 해당하는 지를 확인하며, 확인 결과, 상기 연속 시간 시스템 모델에 해당하면 상기 연속 시간 시스템 모델이 제로 크로싱이 검출되는 지에 따라 상기 다음 시간 계산 단계 또는 제로 크로싱의 검출 여부를 다시 확인하며, 확인 결과, 상기 이산 사건 시스템 모델에 해당하면 상기 이산 사건 시스템 모델이 내부상태 천이를 수행하고 시간 고등 요청(Time Advance Fcn Call)을 수행하여 상기 다음 시간 계산을 수행하는 것을 특징으로 하는 하이브리드 시스템의 모델링 및 시뮬레이션을 위한 장치
|
