ETRI-Knowledge Sharing Plaform

ENGLISH

성과물

논문 검색
구분 SCI
연도 ~ 키워드

상세정보

학술지 High Confidence Networked Control for Next Generation Air Transportation Systems
Cited 33 time in scopus Download 1 time Share share facebook twitter linkedin kakaostory
저자
박판근, Harshad Khadilkar, Hamsa Balakrishnan, Claire J. Tomlin
발행일
201503
출처
IEEE Transactions on Automatic Control, v.59 no.12, pp.3357-3372
ISSN
0018-9286
출판사
IEEE
DOI
https://dx.doi.org/10.1109/TAC.2014.2352011
협약과제
14MS9700, 초소형·고신뢰(99.999%) OS와 고성능 멀티코어 OS를 동시 실행하는 듀얼 운영체제 원천 기술 개발, 임채덕
초록
This paper addresses the design of a secure and fault-tolerant air transportation system in the presence of attempts to disrupt the system through the satellite-based navigation system. Adversarial aircraft are assumed to transmit incorrect position and intent information, potentially leading to violations of separation requirements among aircraft. We propose a framework for the identification of adversaries and malicious aircraft, and then for air traffic control in the presence of such deliberately erroneous data. The framework consists of three mechanisms that allow each aircraft to detect attacks and to resolve conflicts: fault detection and defense techniques to improve Global Positioning System (GPS)/inertial navigation, detection and defense techniques using the Doppler/received signal strength, and a fault-tolerant control algorithm. A Kalman filter is used to fuse high frequency inertial sensor information with low frequency GPS data. To verify aircraft position through GPS/inertial navigation, we propose a technique for aircraft localization utilizing the Doppler effect and received signal strength from neighboring aircraft. The control algorithm is designed to minimize flight times while meeting safety constraints. Additional separation is introduced to compensate for the uncertainty of surveillance information in the presence of adversaries. We evaluate the effect of air traffic surveillance attacks on system performance through simulations. The results show that the proposed mechanism robustly detects and corrects faults generated by the injection of malicious data. Moreover, the proposed control algorithm continuously adapts operations in order to mitigate the effects these faults. The ability of the proposed approaches to defend against attacks enables reliable air traffic operations even in highly adversarial surveillance conditions.
키워드
Automatic dependent surveillance-Broadcast, intelligent control, misbehavior detection, next generation air transportation systems
KSP 제안 키워드
Aircraft localization, Automatic Dependent Surveillance-Broadcast, Detection and Defense, Erroneous data, Gps data, High Frequency(HF), Inertial sensors, Intelligent control, Networked Control, Safety constraints, Sensor information