스트림 기반 사이버-물리 시스템 모니터링의 한계 극복: 측정 노이즈 대응 RLola 알고리즘 분석
📌 핵심 요약 (Key Takeaways) 핵심 성과 1: 물리 센서 노이즈를 상징적으로 모델링하는 슬랙(Slack) 변수 기반의 강건한 스트림 사양 언어 ‘RLola’ 프레임워크 제안 독창적 차별점 2: 구간 연산(Interval Arithmetic)의 엘리어싱 문제를 회피하고, 실시간 온라인 모니터링 시 보장된 상수 메모리(Constant Memory) 사용량 실현 실무 파급력 3: 무인이동체 비행제어 및 BVLOS(비가시권) 관제 시스템에서 센서 오차로 인한 오탐지 … 더 읽기