Source author record

Shumon Koga

Shumon Koga appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

6works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2022arXiv

Active Mapping via Gradient Ascent Optimization of Shannon Mutual Information over Continuous SE(3) Trajectories

The problem of active mapping aims to plan an informative sequence of sensing views given a limited budget such as distance traveled. This paper consider active occupancy grid mapping using a range sensor, such as LiDAR or depth camera. State-of-the-art methods optimize information-theoretic measures relating the occupancy grid probabilities with the range sensor measurements. The non-smooth nature of ray-tracing within a grid representation makes the objective function non-differentiable, forcing existing methods to search over a discrete space of candidate trajectories. This work proposes a differentiable approximation of the Shannon mutual information between a grid map and ray-based observations that enables gradient ascent optimization in the continuous space of SE(3) sensor poses. Our gradient-based formulation leads to more informative sensing trajectories, while avoiding occlusions and collisions. The proposed method is demonstrated in simulated and real-world experiments in 2-D and 3-D environments.

preprint2022arXiv

Control Synthesis for Stability and Safety by Differential Complementarity Problem

This paper develops a novel control synthesis method for safe stabilization of control-affine systems as a Differential Complementarity Problem (DCP). Our design uses a control Lyapunov function (CLF) and a control barrier function (CBF) to define complementarity constraints in the DCP formulation to certify stability and safety, respectively. The CLF-CBF-DCP controller imposes stability as a soft constraint, which is automatically relaxed when the safety constraint is active, without the need for parameter tuning or optimization. We study the closed-loop system behavior with the CLF-CBF-DCP controller and identify conditions on the existence of local equilibria. Although in certain cases the controller yields undesirable local equilibria, those can be confined to a small subset of the safe set boundary by proper choice of the control parameters. Then, our method can avoid undesirable equilibria that CLF-CBF quadratic programming techniques encounter.

preprint2022arXiv

Input Delay Compensation for Neuron Growth by PDE Backstepping

Neurological studies show that injured neurons can regain their functionality with therapeutics such as Chondroitinase ABC (ChABC). These therapeutics promote axon elongation by manipulating the injured neuron and its intercellular space to modify tubulin protein concentration. This fundamental protein is the source of axon elongation, and its spatial distribution is the state of the axon growth dynamics. Such dynamics often contain time delays because of biological processes. This work introduces an input delay compensation with state-feedback control law for axon elongation by regulating tubulin concentration. Axon growth dynamics with input delay is modeled as coupled parabolic diffusion-reaction-advection Partial Differential Equations (PDE) with a boundary governed by Ordinary Differential Equations (ODE), associated with a transport PDE. A novel feedback law is proposed by using backstepping method for input-delay compensation. The gain kernels are provided after transforming the interconnected PDE-ODE-PDE system to a target system. The stability analysis is presented by applying Lyapunov analysis to the target system in the spatial H1-norm, thereby the local exponential stability of the original error system is proved by using norm equivalence.

preprint2022arXiv

Neuron Growth Output-Feedback Control by PDE Backstepping

Neurological injuries predominantly result in loss of functioning of neurons. These neurons may regain function after particular medical therapeutics, such as Chondroitinase ABC (ChABC), that promote axon elongation by manipulating the extracellular matrix, the network of extracellular macromolecules, and minerals that control the tubulin protein concentration, which is fundamental to axon elongation. We introduce an observer for the concentration of unmeasured tubulin along the axon, as well as in the growth cone, using the measurement of the axon length and the tubulin flux at the growth cone. We employ this observer in a boundary control law which actuates the tubulin concentration at the soma (nucleus), i.e., at the end of the axon distal from the measurement location. For this PDE system with a moving boundary, coupled with a two-state ODE system, we establish global exponential convergence of the observer and local exponential stabilization of the [axon, observer] system in the spatial $\mathcal{H}_1$-norm. The results require that the axon growth speed be bounded. For an open-loop observer, this is ensured by assumption (which requires that tubulin influx at the soma be limited), whereas for the output-feedback system the growth rate of the axon is ensured by assuming that the initial conditions of all the states, including the axon length, be sufficiently close to their setpoint values.

preprint2016arXiv

Backstepping Control of the One-Phase Stefan Problem

In this paper, a backstepping control of the one-phase Stefan Problem, which is a 1-D diffusion Partial Differential Equation (PDE) defined on a time varying spatial domain described by an ordinary differential equation (ODE), is studied. A new nonlinear backstepping transformation for moving boundary problem is utilized to transform the original coupled PDE-ODE system into a target system whose exponential stability is proved. The full-state boundary feedback controller ensures the exponential stability of the moving interface to a reference setpoint and the ${\cal H}_1$-norm of the distributed temperature by a choice of the setpint satisfying given explicit inequality between initial states that guarantees the physical constraints imposed by the melting process.

preprint2016arXiv

Output Feedback Control of the One-Phase Stefan Problem

In this paper, a backstepping observer and an output feedback control law are designed for the stabilization of the one-phase Stefan problem. The present result is an improvement of the recent full state feedback backstepping controller proposed in our previous contribution. The one-phase Stefan problem describes the time-evolution of a temperature profile in a liquid-solid material and its liquid-solid moving interface. This phase transition problem is mathematically formulated as a 1-D diffusion Partial Differential Equation (PDE) of the melting zone defined on a time-varying spatial domain described by an Ordinary Differential Equation (ODE). We propose a backstepping observer allowing to estimate the temperature profile along the melting zone based on the available measurement, namely, the solid phase length. The designed observer and the output feedback controller ensure the exponential stability of the estimation errors, the moving interface, and the ${\cal H}_1$-norm of the distributed temperature while keeping physical constraints, which is shown with the restriction on the gain parameter of the observer and the setpoint.