Anil Nerode, Cornell University
Professor
Ithaca, New York
anil@math.cornell.edu
Office:
(607) 255-3577
Expert In
Bio/Research
My principal research at present is in theorems and algorithms for extracting controls for hybrid systems using Finsler differential geometry and logic-based controllers. Tools include the relaxed calculus of variations, connections on Finsler manifolds, Lie semigroups, chattering control, and a...
Click to Expand >>
Click to Expand >>
Bio/Research
My principal research at present is in theorems and algorithms for extracting controls for hybrid systems using Finsler differential geometry and logic-based controllers. Tools include the relaxed calculus of variations, connections on Finsler manifolds, Lie semigroups, chattering control, and automata theory. I also continue to work on problems in pure and applied logic, including computable model theory of nonstandard logics, automatic structures, foundations of logic programming, and automata models for multiple agent systems.
Click to Shrink <<
Click to Shrink <<