We have 3 of 306 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Real-Time Synthesis of Robust Controlled Invariant Sets for Monotone Systems
A threshold-function reformulation is introduced in which a lower-closed set on a d-dimensional grid is represented by its column heights along a designated axis and reformulates the greatest-fixed-point iteration as independent one-dimensional binary searches, yielding an embarrassingly parallel iteration with asympto...
CSymPlan: Certified Symbolic Planning and Control for High-DOF Manipulators
CSymPlan is presented, a certified symbolic planning and control framework for high-DOF manipulators with two complementary implementations: an offline implementation that precomputes certified reach-avoid feedback policies for known workspaces; and an online implementation that synthesizes or updates symbolic policies...