Calculus (dental)

STRIPS: a new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson

Citations: 1487 • 1971

Nonholonomic Mechanics and Control

AM Bloch, Bernard Brogliato

Citations: 1123 • 2004

A calculus for computing Filippov's differential inclusion with application to the variable structure control of robot manipulators

B. Paden, Shankar Sastry

Citations: 734 • 1987

Qualitative theory of differential equations

Citations: 725 • 1961

Robot analysis and control

Jessica Graham

Citations: 662 • 1987

Lectures on Mechanics

Jerrold E. Marsden

Citations: 525 • 1992

APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This preprint is a preliminary version and is subject to modification prior to publication.

Cordell Green

Citations: 463 • 1981

Modelling and Control of Robot Manipulators

L Sciavicco and B Siciliano

Citations: 429 • 2000

Geometric Tomography

Richard J. Gardner

Citations: 375 • 2006

The Koopman Operator in Systems and Control

Citations: 346 • 2020

Mobility of mechanisms: a critical review

G. Gogu

Citations: 343 • 2005

Some Applications of Fractional Calculus in Engineering

J. A. Tenreiro Machado, Manuel F. Silva, Ramiro S. Barbosa, Isabel S. Jesus, Cecília Reis, Maria G. Marcos, Alexandra M. Galhano

Citations: 333 • 2009

A Theory of Generalized Inverses Applied to Robotics

Keith L. Doty, Claudio Melchiorri, Claudio Bonivento

Citations: 307 • 1993

Fractional Order Calculus: Basic Concepts and Engineering Applications

Ricardo Enrique Gutiérrez Carvajal, João Maurício Rosário, J. A. Tenreiro Machado

Citations: 287 • 2010

Application of Theorem Proving to Problem Solving

Cordell Green

Citations: 286 • 1969

Nonsmooth Impact Mechanics: Models, Dynamics and Control

Bernard Brogliato

Citations: 217 • 1996

Lectures in Feedback Design for Multivariable Systems

Alberto Isidori

Citations: 191 • 2016

Learning control theory for dynamical systems

S. Arimoto, Satoru Kawamura, F. Miyazaki, Shingo Tamaki

Citations: 185 • 1985

Theory of Chattering Control: with applications to Astronautics, Robotics, Economics, and Engineering

V. F. Borisov, M. I. Zelikin

Citations: 166 • 1994

Shape-Preserving Approximation by Real and Complex Polynomials

Sorin G. Gal

Citations: 140 • 2008