An alternative to Lagrange inversion for solving analytic systems is our technique of dual vector fields. We implement this approach using matrix multiplication that provides a f...
— Given an initial set of a nonlinear system with uncertain parameters and inputs, the set of states that can possibly be reached is computed. The approach is based on local line...
Abstract. We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are nor...
This paper obtains feedback stabilization of an inverted pendulum on a rotor arm by the "method of controlled Lagrangians". This approach involves modifying the Lagrangi...
Anthony M. Bloch, Naomi Ehrich Leonard, Jerrold E....
: This paper deals with twisting motion of a falling cat robot by two torque inputs around her waist. The cat robot consists of two rigid columns and has internally two actuators a...