Observation Design for Certified Control Authority: Projection--Estimability Separation and Active-Face Equivalence

Guangxi Wan, Hualong Du, Yuqi Liu +4

A sound runtime admission gate executes only actions it can certify, and certifies only what its observations support. This paper asks how observations should be designed to maximi…