865 research outputs found
The power dissipation method and kinematic reducibility of multiple-model robotic systems
This paper develops a formal connection between the power dissipation method (PDM) and Lagrangian mechanics, with specific application to robotic systems. Such a connection is necessary for understanding how some of the successes in motion planning and stabilization for smooth kinematic robotic systems can be extended to systems with frictional interactions and overconstrained systems. We establish this connection using the idea of a multiple-model system, and then show that multiple-model systems arise naturally in a number of instances, including those arising in cases traditionally addressed using the PDM. We then give necessary and sufficient conditions for a dynamic multiple-model system to be reducible to a kinematic multiple-model system. We use this result to show that solutions to the PDM are actually kinematic reductions of solutions to the Euler-Lagrange equations. We are particularly motivated by mechanical systems undergoing multiple intermittent frictional contacts, such as distributed manipulators, overconstrained wheeled vehicles, and objects that are manipulated by grasping or pushing. Examples illustrate how these results can provide insight into the analysis and control of physical systems
Differential-Algebraic Equations and Beyond: From Smooth to Nonsmooth Constrained Dynamical Systems
The present article presents a summarizing view at differential-algebraic
equations (DAEs) and analyzes how new application fields and corresponding
mathematical models lead to innovations both in theory and in numerical
analysis for this problem class. Recent numerical methods for nonsmooth
dynamical systems subject to unilateral contact and friction illustrate the
topicality of this development.Comment: Preprint of Book Chapte
Discrete time optimal control with frequency constraints for non-smooth systems
We present a Pontryagin maximum principle for discrete time optimal control
problems with (a) pointwise constraints on the control actions and the states,
(b) frequency constraints on the control and the state trajectories, and (c)
nonsmooth dynamical systems. Pointwise constraints on the states and the
control actions represent desired and/or physical limitations on the states and
the control values; such constraints are important and are widely present in
the optimal control literature. Constraints of the type (b), while less
standard in the literature, effectively serve the purpose of describing
important spectral properties of inertial actuators and systems. The
conjunction of constraints of the type (a) and (b) is a relatively new
phenomenon in optimal control but are important for the synthesis control
trajectories with a high degree of fidelity. The maximum principle established
here provides first order necessary conditions for optimality that serve as a
starting point for the synthesis of control trajectories corresponding to a
large class of constrained motion planning problems that have high accuracy in
a computationally tractable fashion. Moreover, the ability to handle a
reasonably large class of nonsmooth dynamical systems that arise in practice
ensures broad applicability our theory, and we include several illustrations of
our results on standard problems
Sensor based planning and nonsmooth analysis
This paper describes some initial steps towards sensor based path planning in an unknown static environment. The method is a based on a sensor-based incremental construction of a one-dimensional retract of the free space. In this paper we introduce a retract termed the generalized Voronoi graph, and also analyze the roadmap of Canny and Lin's opportunistic path planner (1990, 1993). The bulk of this paper is devoted to the application of nonsmooth analysis to the Euclidean distance function. We show that the distance function is in fact nonsmooth at the points which are required to construct the plan. This analysis leads directly to the incorporation of simple and realistic sensor models into the planning scheme
Joint Image Reconstruction and Segmentation Using the Potts Model
We propose a new algorithmic approach to the non-smooth and non-convex Potts
problem (also called piecewise-constant Mumford-Shah problem) for inverse
imaging problems. We derive a suitable splitting into specific subproblems that
can all be solved efficiently. Our method does not require a priori knowledge
on the gray levels nor on the number of segments of the reconstruction.
Further, it avoids anisotropic artifacts such as geometric staircasing. We
demonstrate the suitability of our method for joint image reconstruction and
segmentation. We focus on Radon data, where we in particular consider limited
data situations. For instance, our method is able to recover all segments of
the Shepp-Logan phantom from angular views only. We illustrate the
practical applicability on a real PET dataset. As further applications, we
consider spherical Radon data as well as blurred data
Nonsmooth Control Barrier Functions for Obstacle Avoidance between Convex Regions
In this paper, we focus on non-conservative obstacle avoidance between robots
with control affine dynamics with strictly convex and polytopic shapes. The
core challenge for this obstacle avoidance problem is that the minimum distance
between strictly convex regions or polytopes is generally implicit and
non-smooth, such that distance constraints cannot be enforced directly in the
optimization problem. To handle this challenge, we employ non-smooth control
barrier functions to reformulate the avoidance problem in the dual space, with
the positivity of the minimum distance between robots equivalently expressed
using a quadratic program. Our approach is proven to guarantee system safety.
We theoretically analyze the smoothness properties of the minimum distance
quadratic program and its KKT conditions. We validate our approach by
demonstrating computationally-efficient obstacle avoidance for multi-agent
robotic systems with strictly convex and polytopic shapes. To our best
knowledge, this is the first time a real-time QP problem can be formulated for
general non-conservative avoidance between strictly convex shapes and
polytopes.Comment: 17 page
- …