78 citations · 221 across the 28 of their papers we have counts for
3 papers · 1 filter
From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence
Nicholas Roy, Ingmar Posner, Tim Barfoot +17
Machine learning has long since become a keystone technology, accelerating science and applications in a broad range of domains. Consequently, the notion of applying learning metho…
Hybrid dynamical type theories for navigation
Paul Gustafson, Jared Culbertson, Daniel E. Koditschek
We present a hybrid dynamical type theory equipped with useful primitives for organizing and proving safety of navigational control algorithms. This type theory combines the framew…
Necessary conditions for feedback stabilization and safety
Matthew D. Kvalheim, Daniel E. Koditschek
Brockett's necessary condition yields a test to determine whether a system can be made to stabilize about some operating point via continuous, purely state-dependent feedback. For…