지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2004.10
- 수록면
- 260 - 264 (5page)
이용수
초록· 키워드
오류제보하기
Power electronic circuits are networks composed of electronic components and semiconductor devices. Usually, the analysis of power electronic circuits is performed by numerical simulation. For evaluating the effect of different initial conditions or parametric variation over the circuit operation it is necessary to perform exhaustive simulations and tests. However, even by doing this, there is no guarantees of the full correctness of the results, because it will be necessary to simulate the system for an infinite number of operating conditions. The goal of this paper is to use formal methods to study power electronic circuits. This is made by introducing a procedure to obtain hybrid automata from a power circuit and implementing formal verification and controller redesign procedures. We use the formalism of hybrid automata to represent the behavior of circuits because they can capture naturally a wide range of circuit behavior and, moreover, provide a framework suitable for the verification problems we work.
목차
Abstract
Ⅰ. INTRODUCTION
Ⅱ. HYBRID AUTOMATON AND MODELLING METHODOLOGY
Ⅲ. REACHABILITY ANALYSIS
Ⅳ. CASE STUDY
Ⅴ. CONTROLLER REDESIGN
Ⅵ. CONCLUSIONS
REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
SIMULATION OF POWER ELECTRONIC CIRCUITS
ICPE(ISPE)논문집
1998 .10
-
물리적인 전력소자 모델을 이용한 대용량 인버터 시뮬레이션 기술
전력전자학회 학술대회 논문집
2002 .07
-
COMPUTER SIMULATION OF POWER ELECTRONIC CIRCUITS AND SYSTEMS USING PSIM
ICPE(ISPE)논문집
1995 .10
-
An Enhancement of Circuit Simulation by a New Circuit Reduction Method
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1997 .01
-
Power Circuit를 차단하는 여러 가지 테크닠
전기의세계
1985 .11
-
High Power Amplifier의 설계 ( On the High Power Circuits )
대한전자공학회 단기강좌
1994 .01
-
LED 구동회로의 보호회로
대한전자공학회 학술대회
2008 .06
-
A Novel Leakage Power Reduction Technique for CMOS Circuit Design
대한전자공학회 ISOCC
2010 .11
-
수동역률 개선회로를 이용한 110/220V 겸용 정출력 안정기 개발
한국조명·전기설비학회 학술대회논문집
2004 .05
-
A Novel Circuit for Characteristics Measurement of SiC Transistors
Journal of Electrical Engineering & Technology
2014 .07
-
레이저를 이용한 거리센서의 디지털 회로의 설계
정보 및 제어 논문집
2006 .04
-
Applying Parallel Processing Technique in Parallel Circuit Testing Application for improve Circuit Test Ability in Circuit manufacturing
제어로봇시스템학회 국제학술대회 논문집
2005 .06
-
LED 교통 신호등의 구동 회로 설계 및 특성
한국조명·전기설비학회 학술대회논문집
2005 .05
-
Electronic Dash-pot System Development for Power Electronic Circuit Protection using the Current Sensor
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2002 .07
-
Adjustable Current Startup Circuit Reference With Zero Steady State Current
제어로봇시스템학회 국제학술대회 논문집
2010 .10
-
DEVICE DESIGN FOR THE LOW POWER CMOS CIRCUIT
ICVC : International Conference on VLSI and CAD
1995 .01
-
CFD Simulation for Electronic Circuits reliability in constrained space
한국생산제조학회 학술발표대회 논문집
2012 .10
-
A new CMOS squaring Circuit using Voltage/Current Input
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2008 .07
-
Low Power VLSI 설계를 위한 Circuit-level Power 해석 환경 개발
대한전자공학회 학술대회
1997 .07
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-560-014560770