Research

Assured autonomy across the stack

Three pillars organized around one principle: find the hidden failure, then guarantee against it.

Pillar 1 · Perception Reliability

Can an autonomous system trust what it sees?

The decoding step of modern 3D perception, including fringe projection profilometry (FPP), my primary testbed, is increasingly a learned model, so it inherits every failure mode of learned models: shortcut learning, spurious correlations, distribution shift, and the sim-to-real gap. This pillar builds the instruments to expose those failures and the physics-based methods to repair them.

The Hinge

A safety guarantee is only as honest as its perception

A run-time assurance shield certifies the policy against the state it's given. If perception silently lies, the guarantee is hollow. That's why the two pillars are one research program.

If the first box is wrong, every box after it inherits the error, and the certificate certifies nothing.

Pillar 2 · Control Safety

Can we trust what a learned policy does?

Deep RL gives capable controllers, but with no guarantees. For systems that fly, that gap is the whole problem.

Safety

Enforce safety as a constraint the policy cannot violate, not a reward it can trade away.

Efficiency

Act only when needed: fewer control updates, less communication, same safety.

Scalability

Many agents, sharing airspace, with guarantees that hold as the team grows.

Pillar 3 · Closing the Loop

From honest perception to certified action

The endgame is a single pipeline that carries guarantees from pixels to actions. Current work sits deliberately in the overlap between the pillars: perception that plugs into controllers which already know how to act, and policies learned safely from human and VLM preferences.