3 ms·
And then the difficult part becomes, how could I verify that this is used in practical robotics products? There are a handful of citations to [2], many of which
by j2kun 3y ago
And then the difficult part becomes, how could I verify that this is used in practical robotics products? There are a handful of citations to [2], many of which are more category theory. One non-category-theory citation seems to say, "there is this formalization that's still a work in progress, and go read that paper if you're interested", hard to tell as an outsider how much they use it.
Unless I can prove it is used, then it doesn't meet my bar. Maybe it's too new, but that means it still has to prove itself. Good luck to them!
- catgary 3y agoI would say that at that point you’re probably just digging in your heels - that’s a major group that does serious work. You can also look at Aaron Ames’s PhD thesis and how that work in hybrid dynamical systems, driven by category theory, has shaped his current output (which is 20-50 papers/year as a full professor at CalTech).