• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.292-293
• /
• 2007

본 논문은 연속 시간과 이산 시간 비선형 상호 결합 시스템에 대한 분산 정적 출력 궤한 제어기의 설계에 대해 연구한다. 먼저 퍼지 모델 기법을 이용하여 비선형 상호 결합 시스템을 Takagi-Sugeno (T-S)퍼지 모델로 모델링한다. 각각의 하위 시스템에 대한 정적 출력 궤한 제어기를 병렬 분산 보상(PDC)기법을 이용하여 구한다. 선형 행렬 부등식(LMI)을 통하여 하위 시스템의 안정화를 위한 이득값을 구한다. 이득값을 통하여 하위 시스템들이 안정화되고 그를 통해 전체 상호 결합 시스템이 안정화됨을 모의실험을 통하여 증명한다.

• 한국산업정보학회논문지
• /
• 제21권6호
• /
• pp.1-12
• /
• 2016

본 논문에서는 D-정책을 갖는 이산시간 BMAP/G/1 대기행렬시스템의 일량을 분석한다. 유휴한 서버는 시스템에 도착한 고객집단의 서비스시간의 총합이 이미 정해진 일량 임계값 D를 초과하면 시스템에 서비스할 고객이 없을 때까지 서비스를 제공한다. 시스템의 안정상태 일량변환벡터를 유도하고 성능척도로서 평균일량을 구하였다. 시뮬레이션을 통해 이론값들의 타당성을 검증하고 간단한 수치예제를 보였다.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.219-227
• /
• 2008

DEVS 형식론은 이산 사건 시스템을 계층적이고 모듈러하게 표현할 수 있다. MATLAB/Simulink는 연속 시스템과 이산 시간 시스템을 모델링하고 시뮬레이션을 수행하는 데 널리 쓰인다. 본 논문은 MATLAB/Simulink 환경에서 DEVS 형식론을 구현하는 방법론을 제안한다. 본 논문에서 제안하는 방법론을 이용하여MATLAB/Simulink에서 제공하는 다양한 공학 방정식과 알고리즘을 사용할 수 있다. 또한 동일한 시뮬레이션 환경에서 연속 시스템과 이산 사건 시스템이 혼합된 하이브리드 시스템에 대한 시뮬레이션을 수행할 수 있다. 이를 위해 본 논문은 Simulink-DEVS 모델과 이 모델을 시뮬레이션을 수행하는 데 필요한 시간 진행 알고리즘을 제안한다. 특히 시간 진행 알고리즘은 시스템의 유형에 상관없이 적절한 시간 진행을 수행한다. 두 가지 실험 결과를 통해 본 논문에서 제안하는 방법론의 효용성을 입증한다.

• 한국항행학회논문지
• /
• 제25권6호
• /
• pp.551-556
• /
• 2021

본 논문에서는 시변 지연 시간이 있는 선형 구간 이산 시스템에 비구조화된 불확실성이 존재하는 경우에 대하여 안정조건을 다룬다. 이산 시스템의 시스템 행렬들이 구간행렬의 형태로 주어지는 구간시스템에 대하여, 지연 시간이 일정 구간 범위 안에서 시변으로 변동되고, 비선형성을 포함한 불확실성이 그 크기만이 주어지는 비구조화된 불확실성의 형태로 존재하는 시스템의 안정성 조건을 제안한다. 안정조건의 유도는 기존의 리아프노프 방정식의 상한 해를 이용한 방법과는 다르게 리아프노프 안정 조건을 기반으로 이루어지며, 간단한 부등식의 형태로 표현되어 안정성 판단에 편리하게 적용될 수 있는 장점을 갖는다. 또한, 제안된 안정조건은 기존에 발표된 다양한 선형 이산 시스템의 안정조건들을 포함하는 매우 포괄적이고 강력한 것으로, 시변 지연시간 변동 크기, 불확실성의 크기와 구간행렬의 범위를 모두 조건식에 포함하게 된다. 새로운 조건의 우수함은 유도과정에서 증명되어지며 수치예제를 통하여 제안된 조건의 효용성과 우수성을 검증한다.

• 전자공학회논문지SC
• /
• 제37권6호
• /
• pp.7-14
• /
• 2000

본 논문에서는 부 시스템간의 상호 연결 시 시간지연을 갖는 이산시간영역의 섭동을 갖는 대규모 시스템의 강인 안정화를 위한 분산 제어기를 설계한다. 안정화를 도모하기 위하여 상태 궤환 제어기를 이용하였으며, 이러한 제어기의 존재를 보장하는 충분조건을 리아프노프 안정성 해석법을 이용하여 선형행렬 부등식으로 표현하였다. 이 부등식의 해는 다양한 최적화 알고리즘을 이용하여 쉽게 찾을 수 있으며, 이 부등식의 해로부터 제어기의 게인 행렬도 쉽게 구할 수 있다. 제안된 방법을 예제를 통하여 살펴보았다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.1781-1782
• /
• 2008

본 논문은 시간 지연을 가지는 이산 시간 비선형 상호 결합 시스템의 분산 퍼지 출력 궤환 제어기의 설계에 대해 연구한다. T-S(Takagi-Sugeno) 퍼지 모델 기법을 이용하여 퍼지 상호 결합 시스템을 구한다. 이를 바탕으로 분산 퍼지 출력 궤환 제어기를 설계하고, 폐루프 시스템의 안정도 충분 조건을 선형 행렬 부등식 (LMI)의 형태로 나타낸다. 설계된 이득값을 통하여 상호 결합 시스템이 안정화됨을 모의실험을 통하여 보인다.

• 한국지능시스템학회논문지
• /
• 제27권1호
• /
• pp.15-21
• /
• 2017

본 논문은 이산시간 비선형 상호결합 시스템에 대한 지능형 분산 관측기 설계 기법을 제안한다. 여기서, 비선형 상호결합 시스템은 미지의 상호결합을 갖는다고 가정한다. 설계하는 지능형 분산 관측기 설계를 위한 문제를 설정하고, 문제를 해결할 수 있도록, 성능함수를 정의한다. 정의된 성능함수를 기반으로, 지능형 분산 관측기 설계 문제를 해결할 수 있는 충분조건을 구하고, 이를 선형 행렬 부등식의 형태로 나타낸다. 마지막으로 모의실험을 통해 제안된 지능형 분산 관측 기법의 성능을 확인한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.1852-1853
• /
• 2011

본 논문은 AWS형 파력 발전 시스템의 제어를 위한 선형시스템에 대한 디지털 재설계 기법을 연구한다. 먼저 연속시간 선형 시스템의 연속시간 제어기와 이산시간 제어기를 구하고, 이를 선형 시스템에 대입하여 폐루프 시스템을 구한다. 구해진 각각의 폐루프 시스템에 대한 이산화 모델을 구하고, 이들의 상태 접합 및 안정도 분석을 선형 행렬 부등식 형태로 나타낸다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.1-5
• /
• 2000

하이브리드 시스템의 행동 표현을 각각의 시스템에 적합한 모델링 형식론으로 표현하면, 각각의 모델이 지니고 있는 정확도를 유지할 수 있고, 수행속도를 증가시키는 이점을 가지게 된다. 하이브리드 시스템을 모델링 하는 과정에서 시간 진행에 따른 수행 의미의 고찰은 모델링 방법에 중요한 영향을 끼칠 수 있다. 본 논문에서는 이산 사건 시스템과 연속 시간 시스템간의 입출력 교환을 위해서, 사건을 연속 입력으로 변환하고, 연속 출력을 사건으로 변환하는 인터페이스를 표현하는 형식론을 정의하고, 시뮬레이션의 시간 진행에 따른 종속 관계 방법과 독립 관계 방법을 모두 수행할 수 있는 알고리즘을 제안한다. 이 때, 이산 사건 시스템은 DEVS 형식론에 기반한 알고리즘으로 수행하고, 연속 시스템을 미분방정식의 산술적 누적 알고리즘에 따라 수행하는 통합 환경을 구축하며, 이를 바탕으로 두 미사일의 격추 예제를 수행하여 전쟁 시뮬레이션 분야에 적용가능성을 확인한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.477-479
• /
• 2000

최근 대부분의 시스템은 즉각적인 정보를 요구하는 실시간 시스템이다. 실시간 시스템은 오류에 대한 유연적인 대체를 필요로 하는 내고장성 시스템(fault tolerant system)의 개념을 지향한다. 내고장성 시스템은 보다 정확한 시스템 설계가 중요하며, 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점과 시간 간격, 주기, 이산 시간, 다수의 타이머에 의한 동적 등의 시간 관련 동작을 ATM(Abstract Timed Machine)에 기반으로 명세하고 명세된 시간에 대한 분석을 살펴본다.