pragma.vision Your technology observatory

Verification register Robotics, Autonomy & Spatial

Readiness verdict

acados

A dated reading of what is claimed, reported, and independently verified in the current evidence.

As of
2026-06-28
Revision
1
Method
v1.0.0

Current reading

The readiness gap, in one scan

AI-assisted assembly · derived results

Claimed
85

Public ambition and stated capability

Reported
85

Observed practitioner reporting

Verified
81

Independently supported evidence

Gap
+4

Claimed minus verified

Evidence strength Critical

Decision

What the current evidence supports

Human editorial judgment · 2026-06-28

Adopt with guardrails

Why
Mature, peer-reviewed (Mathematical Programming Computation 2022), BSD-licensed, with a documented Cortex-M7 microcontroller deployment path and field use in ACADO/acados-style driver-assist MPC; the only real risk is treating vendor 'real-time' claims as turnkey instead of re-benchmarking per target.
Next
Reproduce the inverted-pendulum benchmark on the actual target hardware (e.g. the documented STM32H7 Cortex-M7 path if embedded), pin the acados version, and measure feedback-phase latency under worst-case horizon before wiring into a safety-relevant loop.

Constraints

Blockers

No named blocker is present in the current public projection.

Evidence summary

Derived counts

AI-assisted assembly

Total
7
Tier 1
1
Tier 2
0
Tier 3
6
Supports
5
Contradicts
1
Context
1
Latest observed
2026-06-22

Counts and dates only. Raw signals, private excerpts, trust records, and internal corpus material are not published here.

Publication record

Revisions

Initial public reading

This is the initial public reading. No earlier readiness change is recorded.

Your opinion

Tell us anything.

What works, what doesn't, what's missing — especially about our watches, lenses, and the register itself. Anonymous is fine; leave an email if you'd like a reply.