지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2015.10
- 수록면
- 1,058 - 1,063 (6page)
이용수
초록· 키워드
오류제보하기
In this paper, we consider the problem of approximate bisimulations for constrained discrete-time linear systems. First, we develop a theory of approximation for transition systems with nondeterministic evolution. Then observation metrics are used to describe the bounded distance between system observations. Furthermore, we utilize a class of Lyapunov-like functions, called bisimulation functions, to characterize the approximate bisimulation relations. For the class of discrete-time linear systems with constrained inputs, we convert the problem of computing bisimulation functions to linear matrix inequalities (LMIs) and optimization problems. Finally, a numerical example is performed to verify the effectiveness of the approximation bisimulation framework design technique, and using multi-parametric toolbox (MPT), we also demonstrate the application to safety verification.
목차
Abstract
1. INTRODUCTION
2. TRANSITION SYSTEMS AND BISIMULATIONS
3. BISIMULATION FUNCTIONS FOR CONSTRAINED LINEAR SYSTEMS
4. NUMERICAL EXAMPLES
5. CONCLUSION
REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
순수 함수형 언어로 작성된 쌍방시뮬레이션 알고리듬의 성능을 병렬화로 향상시키는 방법 연구
한국컴퓨터정보학회논문지
2021 .01
-
H∞ finite-time stability for discrete-time singular linear time-varying systems
제어로봇시스템학회 국제학술대회 논문집
2019 .10
-
A Note on Approximations of Discrete-Time Queueing Systems with Their Continuous-Time Counterparts
Industrial Engineering & Management Systems
2020 .06
-
New Criteria for Finite-Time Stability of Linear Time-Delay Systems
제어로봇시스템학회 국제학술대회 논문집
2019 .10
-
Policy Approximation using Piecewise Linear Functions
대한산업공학회 추계학술대회 논문집
2023 .11
-
구조적인 제약이 있는 이산시간 선형시스템의 정적출력 되먹임 안정화 제어기 설계
제어로봇시스템학회 논문지
2015 .03
-
H∞ fuzzy filter for nonlinear sampled–data system using fuzzy Lyapunov function
제어로봇시스템학회 국제학술대회 논문집
2016 .10
-
H∞ Fuzzy Controller of a Quadrotor
정보 및 제어 논문집
2020 .10
-
The l∞-induced Norm of Multivariable Discrete-time Linear Systems: Upper and Lower Bounds with Convergence Rate Analysis : A Dissemination Version
제어로봇시스템학회 국제학술대회 논문집
2024 .10
-
비선형 최소자승법의 최적화 방법
제어로봇시스템학회 논문지
2024 .07
-
이산시간 선형시스템의 강인한 관측기 설계를 위한 향상된 조건
제어로봇시스템학회 국내학술대회 논문집
2020 .07
-
판매 손실이 발생하는 정기발주 재고시스템에서평균보유재고를 계산하는 근사적 방법에 대한 연구
산업경영시스템학회지
2015 .01
-
Dwell time stability of discrete-time positive linear switching delay systems with interval uncertainties
제어로봇시스템학회 국제학술대회 논문집
2022 .11
-
Stability Analysis of Continuous-Time Positive Switched Linear Systems
제어로봇시스템학회 국제학술대회 논문집
2018 .10
-
Exponential stability of discrete-time switched systems based on a switched time-varying Lyapunov function
제어로봇시스템학회 국제학술대회 논문집
2022 .11
-
Adaptive observer for linear descriptor systems in discrete-time
제어로봇시스템학회 국제학술대회 논문집
2018 .10
-
근사모델과 후처리를 이용한 트러스 구조물의 이산 치수설계
한국기계가공학회지
2020 .05
-
다중 섬 유전자 알고리즘 기반 A60 급 격벽 관통 관의 방화설계에 대한 이산변수 근사최적화
한국기계가공학회지
2021 .06
-
Methods to Obtain Approximate Responses of a Non-Linear Vibration Isolation System
한국기계가공학회지
2020 .06
-
이산시간 불확실 특이시스템의 새로운 강인 유한시간 상태궤환 제어
전기학회논문지
2020 .12
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2016-569-001918400