{"id":"palomar/PALOMAR-2026-10-19-000010","url":"https://github.com/shaikidris/priority-controller-phase1/tree/f4c18653ccc2590ff6d2fe7ca2ff1d904d62681d","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-19-000010-v1.json","repo":"https://github.com/shaikidris/priority-controller-phase1","tags":["cs.DM","msc:06E30","msc:68Q60","fault-diagnosis","priority-controllers","discrete-math"],"score":0,"title":"Exact fault images in priority controllers","trust":"high","domain":"cs.DM","source":"palomar","authors":["Idris Ali Shaik"],"reviews":0,"subject":"cs.DM","summary":"Exact reachable qualifier-set images for a finite priority controller with independent enable and request inputs and a specified first-stage bridge interface. The formal statements characterize detection through arbitrary Boolean qualifier observations, show that nonemptiness cannot be expressed by valid proper-coordinate relations, and classify a specified qualifier-only stuck-at fault. The selector and fault equations are explicit.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"verified":true,"discussed":0,"published":"2026-10-19","reactions":{},"formalized":true,"formalizes":[{"title":"Polynomial Fault Detection Without Bounded Width: Exact Reachable Sets in Priority Controllers","identifier":"doi:10.5281/zenodo.23400057","relationship":"formalizes"}]}