연구논문
로봇 제어의 확률적 시간 논리 명세
확률적 신호 시간 논리는 감지·분류 데이터에 따라 바뀔 수 있는 불확실한 안전 요구사항을 표현합니다. 학회 초록은 쿼드로터와 자율주행 차량 예제로 제어기 추론을 설명합니다.
검토 기준일 2026-11-05 · 원출처·서지정보 확인
원출처의 서지정보와 자료 개요를 확인했습니다. 원문 접근 조건과 판본은 출처에 표시되어 있습니다.
- 원문 제목
- Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
- 발행처
- Robotics: Science and Systems Foundation
- 저자
- Dorsa Sadigh, Ashish Kapoor
- DOI
- 10.15607/rss.2016.xii.017
- 학술대회 논문집 발행일
- 2016-06
- 원문 언어
- en
- 판본
- Robotics: Science and Systems XII
- 접근 조건
- 공개 서지정보 및 초록
- 출판 상태
- 발행된 자료
자료 개요
확률적 신호 시간 논리는 감지·분류 데이터에 따라 바뀔 수 있는 불확실한 안전 요구사항을 표현합니다. 학회 초록은 쿼드로터와 자율주행 차량 예제로 제어기 추론을 설명합니다.
이용 및 검토
보장은 동역학·감지·제약 가정에 의존합니다. 초록·자료 검토만으로 완성 로봇 설비나 ISO13849 안전기능을 검증한 것은 아닙니다.
출처와 판본
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic ↗
Robotics: Science and Systems Foundation · Robotics: Science and Systems XII
Owning RSS2016 title/authors/DOI/abstract and BibTeX June2016 checked. Abstract does not establish physical deployment; no hardware result inferred.