Define the observation model
Model the moving system, its task and the available observation equipment. Connect the conditions for an action to measurements and their period of validity.
Know enough to act.
What must an autonomous system be able to observe before it acts? ChoiceProof designs and checks those conditions, then finds a verifiable recovery when they fail.
Cooperative proximity operation
Observation conditions
Observations support the task
The current evidence supports an approach. This opening stage reviews the conditions before movement.
- Evidence
- Within its validity window
- Action
- Preflight review
Synthetic planar simulation; illustrative craft. Position-range radii ×40; centers at model scale.
From observations to action.
Choose an acquisition plan
Compare supported observations within the time and resource budget. The result identifies a batch of measurements to collect so that the task's conditions can be checked again.
Check the received evidence
An independent checker evaluates the received measurements against the task's conditions. The acquisition plan and the permission supported by actual evidence remain distinct, inspectable results.
From mathematical foundations to working systems.
ChoiceProof turns research on observation conditions into a local engineering tool. The same task connects the observation model, recovery plan and evidence check, making the reasoning behind an action available for inspection.