Showing 1–28 of 28 results for author: Koga, S

Event-Triggered Control of Neuron Growth with Actuation at Soma

Authors: Cenk Demir, Shumon Koga, Miroslav Krstic

Abstract: We introduce a dynamic event-triggering mechanism for regulating the axonal growth of a neuron. We apply boundary actuation at the soma (the part of a neuron that contains the nucleus) and regulate the dynamics of tubulin concentration and axon length. The control law is formulated by applying a Zero-Order Hold (ZOH) to a continuous-time controller which guides the axon to reach the desired length… ▽ More We introduce a dynamic event-triggering mechanism for regulating the axonal growth of a neuron. We apply boundary actuation at the soma (the part of a neuron that contains the nucleus) and regulate the dynamics of tubulin concentration and axon length. The control law is formulated by applying a Zero-Order Hold (ZOH) to a continuous-time controller which guides the axon to reach the desired length. The proposed dynamic event-triggering mechanism determines the specific time instants at which control inputs are sampled from the continuous-time control law. We establish the existence of a minimum dwell-time between two triggering times that ensures avoidance of Zeno behavior. Through employing the Lyapunov analysis with PDE backstep**, we prove the local stability of the closed-loop system in $L_2$-norm, initially for the target system, and subsequently for the original system. The effectiveness of the proposed method is showcased through numerical simulations. △ Less

Submitted 18 March, 2024; v1 submitted 29 September, 2023; originally announced October 2023.

Comments: Accepted to American Control Conference 2024

Policy Learning for Active Target Tracking over Continuous SE(3) Trajectories

Authors: Pengzhi Yang, Shumon Koga, Arash Asgharivaskasi, Nikolay Atanasov

Abstract: This paper proposes a novel model-based policy gradient algorithm for tracking dynamic targets using a mobile robot, equipped with an onboard sensor with limited field of view. The task is to obtain a continuous control policy for the mobile robot to collect sensor measurements that reduce uncertainty in the target states, measured by the target distribution entropy. We design a neural network con… ▽ More This paper proposes a novel model-based policy gradient algorithm for tracking dynamic targets using a mobile robot, equipped with an onboard sensor with limited field of view. The task is to obtain a continuous control policy for the mobile robot to collect sensor measurements that reduce uncertainty in the target states, measured by the target distribution entropy. We design a neural network control policy with the robot $SE(3)$ pose and the mean vector and information matrix of the joint target distribution as inputs and attention layers to handle variable numbers of targets. We also derive the gradient of the target entropy with respect to the network parameters explicitly, allowing efficient model-based policy gradient optimization. △ Less

Submitted 16 May, 2023; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: 12 pages, 2 figures, submitted to Learning for Dynamics and Control Conference

Dust Motion and Possibility of Dust Growth in a Growing Circumstellar Disk

Authors: Shunta Koga, Masahiro N. Machida

Abstract: We calculate the evolution of a star-forming cloud core using a three-dimensional resistive magnetohydrodynamics simulation, treating dust grains as Lagrangian particles, to investigate the dust motion in the early star formation stage. We prepare six different-sized set of dust particles in the range $a_{\rm d}=0.01$--$1000\,μ$m, where $a_{\rm d}$ is the dust grain size. In a gravitationally coll… ▽ More We calculate the evolution of a star-forming cloud core using a three-dimensional resistive magnetohydrodynamics simulation, treating dust grains as Lagrangian particles, to investigate the dust motion in the early star formation stage. We prepare six different-sized set of dust particles in the range $a_{\rm d}=0.01$--$1000\,μ$m, where $a_{\rm d}$ is the dust grain size. In a gravitationally collapsing cloud, a circumstellar disk forms around a protostar and drives a protostellar outflow. Almost all the small dust grains ($a_{\rm d} \lesssim 10$--$100\,μ$m) initially distributed in the region $θ_0 \lesssim 45^\circ$ are ejected from the center by the outflow, where $θ_0$ is the initial zenith angle relative to the rotation axis, whereas only a small number of the large dust grains ($a_{\rm d} \gtrsim 100\,μ$m) distributed in the region are ejected. All other grains fall onto either the protostar or disk without being ejected by the outflow. Regardless of the dust grain size, the behavior of the dust motion is divided into two trends after dust particles settle into the circumstellar disk. The dust grains reaching the inner disk region from the upper envelope preferentially fall onto the protostar, while those reaching the outer disk region or disk outer edge from the envelope can survive without an inward radial drift. These surviving grains can induce dust growth. Thus, we expect that the outer disk regions could be a favored place of planet formation. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Comments: Accepted for publication in MNRAS. 30 pages, 12 figures

Control Synthesis for Stability and Safety by Differential Complementarity Problem

Authors: Yinzhuang Yi, Shumon Koga, Bogdan Gavrea, Nikolay Atanasov

Abstract: 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… ▽ More 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. △ Less

Submitted 9 December, 2022; v1 submitted 4 October, 2022; originally announced October 2022.

Event-Triggered Safe Stabilizing Boundary Control for the Stefan PDE System with Actuator Dynamics

Authors: Shumon Koga, Cenk Demir, Miroslav Krstic

Abstract: This paper proposes an event-triggered boundary control for the safe stabilization of the Stefan PDE system with actuator dynamics. The control law is designed by applying Zero-Order Hold (ZOH) to the continuous-time safe stabilizing controller developed in our previous work. The event-triggering mechanism is then derived so that the imposed safety conditions associated with high order Control Bar… ▽ More This paper proposes an event-triggered boundary control for the safe stabilization of the Stefan PDE system with actuator dynamics. The control law is designed by applying Zero-Order Hold (ZOH) to the continuous-time safe stabilizing controller developed in our previous work. The event-triggering mechanism is then derived so that the imposed safety conditions associated with high order Control Barrier Function (CBF) are maintained and the stability of the closed-loop system is ensured. We prove that under the proposed event-triggering mechanism, the so-called ``Zeno" behavior is always avoided, by showing the existence of the minimum dwell-time between two triggering times. The stability of the closed-loop system is proven by employing PDE backstep** method and Lyapunov analysis. The efficacy of the proposed method is demonstrated in numerical simulation. △ Less

Submitted 4 October, 2022; originally announced October 2022.

Comments: 7 pages, 7 figures, submitted to American Control Conference 2023. arXiv admin note: text overlap with arXiv:2111.01187

Learning Continuous Control Policies for Information-Theoretic Active Perception

Authors: Pengzhi Yang, Yuhan Liu, Shumon Koga, Arash Asgharivaskasi, Nikolay Atanasov

Abstract: This paper proposes a method for learning continuous control policies for active landmark localization and exploration using an information-theoretic cost. We consider a mobile robot detecting landmarks within a limited sensing range, and tackle the problem of learning a control policy that maximizes the mutual information between the landmark states and the sensor observations. We employ a Kalman… ▽ More This paper proposes a method for learning continuous control policies for active landmark localization and exploration using an information-theoretic cost. We consider a mobile robot detecting landmarks within a limited sensing range, and tackle the problem of learning a control policy that maximizes the mutual information between the landmark states and the sensor observations. We employ a Kalman filter to convert the partially observable problem in the landmark state to Markov decision process (MDP), a differentiable field of view to shape the reward, and an attention-based neural network to represent the control policy. The approach is further unified with active volumetric map** to promote exploration in addition to landmark localization. The performance is demonstrated in several simulated landmark localization tasks in comparison with benchmark methods. △ Less

Submitted 16 May, 2023; v1 submitted 26 September, 2022; originally announced September 2022.

Comments: 7 pages, 6 figures, submitted to International Conference on Robotics and Automation (ICRA) 2023

Input Delay Compensation for Neuron Growth by PDE Backstep**

Authors: Cenk Demir, Shumon Koga, Miroslav Krstic

Abstract: 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 d… ▽ More 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 backstep** 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. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Comments: Submitted and accepted to 17th IFAC Workshop on Time Delay Systems (TDS)

Implementation of dust particles in three-dimensional magnetohydrodynamics simulation: Dust dynamics in a collapsing cloud core

Authors: Shunta Koga, Yoshihiro Kawasaki, Masahiro N. Machida

Abstract: The aim of this study is to examine dust dynamics on a large scale and investigate the coupling of dust with gas fluid in the star formation process. We propose a method for calculating the dust trajectory in a gravitationally collapsing cloud, where the dust grains are treated as Lagrangian particles and are assumed to be neutral. We perform the dust trajectory calculations in combination with no… ▽ More The aim of this study is to examine dust dynamics on a large scale and investigate the coupling of dust with gas fluid in the star formation process. We propose a method for calculating the dust trajectory in a gravitationally collapsing cloud, where the dust grains are treated as Lagrangian particles and are assumed to be neutral. We perform the dust trajectory calculations in combination with non-ideal magnetohydrodynamics simulation. Our simulation shows that dust particles with a size of $\le 10\,{\rm μm}$ are coupled with gas in a star-forming cloud core. We investigate the time evolution of the dust-to-gas mass ratio and the Stokes number, which is defined as the stop** time normalized by the freefall time-scale, and show that large dust grains ($\gtrsim 100\,{\rm μm}$) have a large Stokes number (close to unity) and tend to concentrate in the central region (i.e., protostar and rotationally supported disk) faster than do small grains ($\lesssim 10\,{\rm μm}$). Thus, large grains significantly increase the dust-to-gas mass ratio around and inside the disk. We also confirm that the dust trajectory calculations, which trace the physical quantities of each dust particle, reproduce previously reported results obtained using the Eulerian approach. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Comments: Accepted for publication in MNRAS. 37 pages, 18 figures

Dust coagulation and fragmentation in a collapsing cloud core and their influence on non-ideal magnetohydrodynamic effects

Authors: Yoshihiro Kawasaki, Shunta Koga, Masahiro N. Machida

Abstract: We determine the time evolution of the dust particle size distribution during the collapse of a cloud core, accounting for both dust coagulation and dust fragmentation, to investigate the influence of dust growth on non-ideal magnetohydrodynamic effects.The density evolution of the collapsing core is given by a one-zone model. We assume two types of dust model: dust composed only of silicate (sili… ▽ More We determine the time evolution of the dust particle size distribution during the collapse of a cloud core, accounting for both dust coagulation and dust fragmentation, to investigate the influence of dust growth on non-ideal magnetohydrodynamic effects.The density evolution of the collapsing core is given by a one-zone model. We assume two types of dust model: dust composed only of silicate (silicate dust) and dust with a surface covered by $\mathrm{H_{2}O}$ ice ($\mathrm{H_{2}O}$ ice dust). When only considering collisional coagulation, the non-ideal magnetohydrodynamic effects are not effective in the high-density region for both the silicate and $\mathrm{H_{2}O}$ ice dust cases. This is because dust coagulation reduces the abundance of small dust particles, resulting in less efficient adsorption of charged particles on the dust surface. For the silicate dust case, when collisional fragmentation is included, the non-ideal magnetohydrodynamic effects do apply at a high density of $n_{\mathrm{H}}>10^{12} \ \mathrm{cm^{-3}}$ because of the abundant production of small dust particles. On the other hand, for the $\mathrm{H_{2}O}$ ice dust case, the production of small dust particles due to fragmentation is not efficient. Therefore, for the $\mathrm{H_{2}O}$ ice dust case, non-ideal magnetohydrodynamic effects apply only in the range $n_{\mathrm{H}}\gtrsim 10^{14} \ \mathrm{cm^{-3}}$, even when collisional fragmentation is considered. Our results suggest that it is necessary to consider both dust collisional coagulation and fragmentation to activate non-ideal magnetohydrodynamic effects, which should play a significant role in the star and disk formation processes. △ Less

Submitted 6 July, 2022; originally announced July 2022.

Comments: Accepted for publication in MNRAS. 17 pages, 11 figures

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

Authors: Arash Asgharivaskasi, Shumon Koga, Nikolay Atanasov

Abstract: The problem of active map** aims to plan an informative sequence of sensing views given a limited budget such as distance traveled. This paper consider active occupancy grid map** 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 natur… ▽ More The problem of active map** aims to plan an informative sequence of sensing views given a limited budget such as distance traveled. This paper consider active occupancy grid map** 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. △ Less

Submitted 15 April, 2022; originally announced April 2022.

Neuron Growth Output-Feedback Control by PDE Backstep**

Authors: Cenk Demir, Shumon Koga, Miroslav Krstic

Abstract: 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 elongat… ▽ More 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. △ Less

Submitted 30 March, 2022; originally announced March 2022.

Comments: Accepted for ACC 2022

State Estimation of the Stefan PDE: A Tutorial on Design and Applications to Polar Ice and Batteries

Authors: Shumon Koga, Miroslav Krstic

Abstract: The Stefan PDE system is a representative model for thermal phase change phenomena, such as melting and solidification, arising in numerous science and engineering processes. The mathematical description is given by a Partial Differential Equation (PDE) of the temperature distribution defined on a spatial interval with a moving boundary, where the boundary represents the liquid-solid interface and… ▽ More The Stefan PDE system is a representative model for thermal phase change phenomena, such as melting and solidification, arising in numerous science and engineering processes. The mathematical description is given by a Partial Differential Equation (PDE) of the temperature distribution defined on a spatial interval with a moving boundary, where the boundary represents the liquid-solid interface and its dynamics are governed by an Ordinary Differential Equation (ODE). The PDE-ODE coupling at the boundary is nonlinear and creates a significant challenge for state estimation with provable convergence and robustness. This tutorial article presents a state estimation method based on PDE backstep** for the Stefan system, using measurements only at the moving boundary. PDE backstep** observer design generates an observer gain by employing a Volterra transformation of the observer error state into a desirable target system, solving a Goursat-form PDE for the transformation's kernel, and performing a Lyapunov analysis of the target observer error system. The observer is applied to models of problems motivated by climate change and the need for renewable energy storage: a model of polar ice dynamics and a model of charging and discharging in lithium-ion batteries. The numerical results for polar ice demonstrate a robust performance of the designed estimator with respect to the unmodeled salinity effect in sea ice. The results for an electrochemical PDE model of a lithium-ion battery with a phase transition material show the elimination of more than 15 \% error in State-of-Charge estimate within 5 minutes even in the presence of sensor noise. △ Less

Submitted 22 November, 2021; originally announced November 2021.

Comments: 45 pages, 18 figures, submitted to Annual Reviews in Control

Safe PDE Backstep** QP Control with High Relative Degree CBFs: Stefan Model with Actuator Dynamics

Authors: Shumon Koga, Miroslav Krstic

Abstract: High-relative-degree control barrier functions (hi-rel-deg CBFs) play a prominent role in automotive safety and in robotics. In this paper we launch a generalization of this concept for PDE control, treating a specific, physically-relevant model of thermal dynamics where the boundary of the PDE moves due to a liquid-solid phase change -- the so-called Stefan model. The familiar QP design is employ… ▽ More High-relative-degree control barrier functions (hi-rel-deg CBFs) play a prominent role in automotive safety and in robotics. In this paper we launch a generalization of this concept for PDE control, treating a specific, physically-relevant model of thermal dynamics where the boundary of the PDE moves due to a liquid-solid phase change -- the so-called Stefan model. The familiar QP design is employed to ensure safety but with CBFs that are infinite-dimensional (including one control barrier "functional") and with safe sets that are infinite-dimensional as well. Since, in the presence of actuator dynamics, at the boundary of the Stefan system, this system's main CBF is of relative degree two, an additional CBF is constructed, by backstep** design, which ensures the positivity of all the CBFs without any additional restrictions on the initial conditions. It is shown that the "safety filter" designed in the paper guarantees safety in the presence of an arbitrary operator input. This is similar to an automotive system in which a safety feedback law overrides -- but only when necessary -- the possibly unsafe steering, acceleration, or braking by a vigorous but inexperienced driver. Simulations have been performed for a process in metal additive manufacturing, which show that the operator's heat-and-cool commands to the Stefan model are being obeyed but without the liquid ever freezing. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: 13 pages, 15 figures, submitted to IEEE Transactions on Automatic Control

Active SLAM over Continuous Trajectory and Control: A Covariance-Feedback Approach

Authors: Shumon Koga, Arash Asgharivaskasi, Nikolay Atanasov

Abstract: This paper proposes a novel active Simultaneous Localization and Map** (SLAM) method with continuous trajectory optimization over a stochastic robot dynamics model. The problem is formalized as a stochastic optimal control over the continuous robot kinematic model to minimize a cost function that involves the covariance matrix of the landmark states. We tackle the problem by separately obtaining… ▽ More This paper proposes a novel active Simultaneous Localization and Map** (SLAM) method with continuous trajectory optimization over a stochastic robot dynamics model. The problem is formalized as a stochastic optimal control over the continuous robot kinematic model to minimize a cost function that involves the covariance matrix of the landmark states. We tackle the problem by separately obtaining an open-loop control sequence subject to deterministic dynamics by iterative Covariance Regulation (iCR) and a closed-loop feedback control under stochastic robot and covariance dynamics by Linear Quadratic Regulator (LQR). The proposed optimization method captures the coupling between localization and map** in predicting uncertainty evolution and synthesizes highly informative sensing trajectories. We demonstrate its performance in active landmark-based SLAM using relative-position measurements with a limited field of view. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Comments: 8 pages, 4 figures, submitted to American Control Conference 2022

Neuron Growth Control by PDE Backstep**: Axon Length Regulation by Tubulin Flux Actuation in Soma

Authors: Cenk Demir, Shumon Koga, Miroslav Krstic

Abstract: In this work, stabilization of an axonal growth in a neuron associated with the dynamics of tubulin concentration is proposed by designing a boundary control. The dynamics are given by a parabolic Partial Differential Equation (PDE) of the tubulin concentration, with a spatial domain of the axon's length governed by an Ordinary Differential Equation (ODE) coupled with the tubulin concentration in… ▽ More In this work, stabilization of an axonal growth in a neuron associated with the dynamics of tubulin concentration is proposed by designing a boundary control. The dynamics are given by a parabolic Partial Differential Equation (PDE) of the tubulin concentration, with a spatial domain of the axon's length governed by an Ordinary Differential Equation (ODE) coupled with the tubulin concentration in the growth cone. We propose a novel backstep** method for the coupled PDE-ODE dynamics with a moving boundary, and design a control law for the tubulin concentration flux in the soma. Through employing the Lyapunov analysis to a nonlinear target system, we prove a local exponential stability of the closed-loop system under the proposed control law in the spatial $H_1$-norm. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: Accepted for CDC 2021

Growth of Magnetorotational Instability in Circumstellar Disks around Class 0 Protostars

Authors: Yoshihiro Kawasaki, Shunta Koga, Masahiro N. Machida

Abstract: We investigate the possibility of the growth of magnetorotational instability (MRI) in disks around Class 0 protostars. We construct a disk model and calculate the chemical reactions of neutral and charged atoms, molecules and dust grains to derive the abundance of each species and the ionization degree of the disk. Then, we estimate the diffusion coefficients of non-ideal magnetohydrodynamics eff… ▽ More We investigate the possibility of the growth of magnetorotational instability (MRI) in disks around Class 0 protostars. We construct a disk model and calculate the chemical reactions of neutral and charged atoms, molecules and dust grains to derive the abundance of each species and the ionization degree of the disk. Then, we estimate the diffusion coefficients of non-ideal magnetohydrodynamics effects such as ohmic dissipation, ambipolar diffusion and the Hall effect. Finally, we evaluate the linear growth rate of MRI in each area of the disk. We investigate the effect of changes in the strength and direction of the magnetic field in our disk model and we adopt four different dust models to investigate the effect of dust size distribution on the diffusion coefficients. Our results indicate that an MRI active region possibly exists with a weak magnetic field in a region far from the protostar where the Hall effect plays a role in the growth of MRI. On the other hand, in all models the disk is stable against MRI in the region within $<20$ au from the protostar on the equatorial plane. Since the size of the disks in the early stage of star formation is limited to $\lesssim 10-$$20$ au, it is difficult to develop MRI-driven turbulence in such disks. △ Less

Submitted 27 April, 2021; originally announced April 2021.

Comments: Accepted for publication in MNRAS. 43 pages, 12 figures

Active Exploration and Map** via Iterative Covariance Regulation over Continuous $SE(3)$ Trajectories

Authors: Shumon Koga, Arash Asgharivaskasi, Nikolay Atanasov

Abstract: This paper develops \emph{iterative Covariance Regulation} (iCR), a novel method for active exploration and map** for a mobile robot equipped with on-board sensors. The problem is posed as optimal control over the $SE(3)$ pose kinematics of the robot to minimize the differential entropy of the map conditioned the potential sensor observations. We introduce a differentiable field of view formulat… ▽ More This paper develops \emph{iterative Covariance Regulation} (iCR), a novel method for active exploration and map** for a mobile robot equipped with on-board sensors. The problem is posed as optimal control over the $SE(3)$ pose kinematics of the robot to minimize the differential entropy of the map conditioned the potential sensor observations. We introduce a differentiable field of view formulation, and derive iCR via the gradient descent method to iteratively update an open-loop control sequence in continuous space so that the covariance of the map estimate is minimized. We demonstrate autonomous exploration and uncertainty reduction in simulated occupancy grid environments. △ Less

Submitted 9 March, 2021; originally announced March 2021.

Comments: 8 pages, 5 figures, submitted to 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Sampled-Data Control of the Stefan System

Authors: Shumon Koga, Iasson Karafyllis, Miroslav Krstic

Abstract: This paper presents results for the sampled-data boundary feedback control to the Stefan problem. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. First, we consider the sampled-data control for the one-phase Stefan problem by assuming that the solid phase temperature is maintaine… ▽ More This paper presents results for the sampled-data boundary feedback control to the Stefan problem. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. First, we consider the sampled-data control for the one-phase Stefan problem by assuming that the solid phase temperature is maintained at the equilibrium melting temperature. We apply Zero-Order-Hold (ZOH) to the nominal continuous-time control law developed in [23] which is designed to drive the liquid-solid interface position to a desired setpoint. Provided that the control gain is bounded by the inverse of the upper diameter of the sampling schedule, we prove that the closed-loop system under the sampled-data control law satisfies some conditions required to validate the physical model, and the system's origin is globally exponentially stable in the spatial $L_2$ norm. Analogous results for the two-phase Stefan problem which incorporates the dynamics of both liquid and solid phases with moving interface position are obtained by applying the proposed procedure to the nominal control law for the two-phase problem developed in [30]. Numerical simulation illustrates the desired performance of the control law implemented to vary at each sampling time and keep constant during the period. △ Less

Submitted 31 May, 2019; originally announced June 2019.

Comments: 12 pages, 3 figures. arXiv admin note: text overlap with arXiv:1903.01447

Stabilization of Filament Production Rate for Screw Extrusion-Based Polymer 3D-Printing

Authors: Shumon Koga, David Straub, Mamadou Diagne, Miroslav Krstic

Abstract: Polymer 3D-printing has been commercialized rapidly during recent years, however, there remains a matter of improving the manufacturing speed. Screw extrusion has a strong potential to fasten the process through simultaneous operation of the filament production and the deposition. This paper develops a control algorithm for screw extrusion-based 3D printing of thermoplastic materials through an ob… ▽ More Polymer 3D-printing has been commercialized rapidly during recent years, however, there remains a matter of improving the manufacturing speed. Screw extrusion has a strong potential to fasten the process through simultaneous operation of the filament production and the deposition. This paper develops a control algorithm for screw extrusion-based 3D printing of thermoplastic materials through an observer-based output feedback design. We consider the thermodynamic model describing the time evolution of the temperature profile of an extruded polymer by means of a partial differential equation (PDE) defined on the time-varying domain. The time evolution of the spatial domain is governed by an ordinary differential equation (ODE) that reflects the dynamics of the position of the phase change interface between polymer granules and molten polymer deposited as a molten filament. Steady-state profile of the distributed temperature along the extruder is obtained when the desired setpoint for the interface position is prescribed. To enhance the feasibility of our previous design, we develop a PDE observer to estimate the temperature profile via measured values of surface temperature and the interface position. An output feedback control law considering a cooling mechanism at the boundary inlet as an actuator is proposed. In extruders the control of raw material temperature is commonly achieved using preconditioners as part of the inlet feeding mechanism. For some given screw speeds that correspond to slow and fast operating modes, numerical simulations are conducted to prove the performance of the proposed controller. The convergence of the interface position to the desired setpoint is achieved under physically reasonable temperature profiles. △ Less

Submitted 2 June, 2019; originally announced June 2019.

Comments: 13 pages, 6 figures

Single-Boundary Control of the Two-Phase Stefan System

Authors: Shumon Koga, Miroslav Krstic

Abstract: This paper presents the control design of the two-phase Stefan problem. The two-phase Stefan problem is a representative model of liquid-solid phase transition by describing the time evolutions of the temperature profile which is divided by subdomains of liquid and solid phases as the liquid-solid moving interface position. The mathematical formulation is given by two diffusion partial differentia… ▽ More This paper presents the control design of the two-phase Stefan problem. The two-phase Stefan problem is a representative model of liquid-solid phase transition by describing the time evolutions of the temperature profile which is divided by subdomains of liquid and solid phases as the liquid-solid moving interface position. The mathematical formulation is given by two diffusion partial differential equations (PDEs) defined on a time-varying spatial domain described by an ordinary differential equation (ODE) driven by the Neumann boundary values of both PDE states, resulting in a nonlinear coupled PDE-ODE-PDE system. We design a state feedback control law by means of energy-sha** to stabilize the interface position to a desired setpoint by using single boundary heat input. We prove that the closed-loop system under the control law ensures some conditions for model validity and the global exponential stability estimate is shown in $L_2$ norm. Furthermore, the robustness of the closed-loop stability with respect to the uncertainties of the physical parameters is shown. Numerical simulation is provided to illustrate the good performance of the proposed control law in comparison to the control design for the one-phase Stefan problem. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Comments: 11 pages, 6 figures

Extremum Seeking for Traffic Congestion Control with a Downstream Bottleneck

Authors: Huan Yu, Shumon Koga, Tiago Roux Oliveira, Miroslav Krstic

Abstract: This paper develops boundary control for freeway traffic with a downstream bottleneck. Traffic on a freeway segment with capacity drop at outlet of the segment is a common phenomenon leading to traffic bottleneck problem. The capacity drop can be caused by lane-drop, hills, tunnel, bridge or curvature on the road. If incoming traffic flow remains unchanged, traffic congestion forms upstream of the… ▽ More This paper develops boundary control for freeway traffic with a downstream bottleneck. Traffic on a freeway segment with capacity drop at outlet of the segment is a common phenomenon leading to traffic bottleneck problem. The capacity drop can be caused by lane-drop, hills, tunnel, bridge or curvature on the road. If incoming traffic flow remains unchanged, traffic congestion forms upstream of the bottleneck due to outgoing traffic overflowing its capacity. Therefore, it is important for us to regulate the incoming traffic flow of the segment so that the outgoing traffic at the bottleneck can be discharged with the maximum flow rate. Traffic densities on the freeway segment are described with Lighthill-Whitham-Richards (LWR) macroscopic Partial Differential Equation (PDE) model. To prevent the traffic congestion forming upstream of the bottleneck, incoming flow at the inlet of the freeway segment is controlled so that the optimal density could be achieved to maximize the outgoing flow and not to surpass the capacity at outlet. The density and traffic flow relation, described with fundamental diagram, is assumed to be unknown at the bottleneck area. We tackle this problem using Extremum Seeking (ES) Control with delay compensation for LWR PDE. ES control, a non-model based approach for real-time optimization, is adopted to find the optimal density for the unknown fundamental diagram. A predictor feedback control design is proposed to compensate the delay effect of traffic dynamics in the freeway segment. In the end, simulation results validate a desired performance of the controller on the nonlinear LWR model with an unknown fundamental diagram. △ Less

Submitted 8 April, 2019; originally announced April 2019.

Input-to-State Stability for the Control of Stefan Problem with Respect to Heat Loss

Authors: Shumon Koga, Iasson Karafyllis, Miroslav Krstic

Abstract: This paper develops an input-to-state stability (ISS) analysis of the Stefan problem with respect to an unknown heat loss. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the liquid-solid interface position. First, we introduce the one-phase Stefan problem with a heat loss at the interface by modeling t… ▽ More This paper develops an input-to-state stability (ISS) analysis of the Stefan problem with respect to an unknown heat loss. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the liquid-solid interface position. First, we introduce the one-phase Stefan problem with a heat loss at the interface by modeling the dynamics of the liquid temperature and the interface position. We focus on the closed-loop system under the control law proposed in [16] that is designed to stabilize the interface position at a desired position for the one-phase Stefan problem without the heat loss. The problem is modeled by a 1-D diffusion Partial Differential Equation (PDE) defined on a time-varying spatial domain described by an ordinary differential equation (ODE) with a time-varying disturbance. The well-posedness and some positivity conditions of the closed-loop system are proved based on an open-loop analysis. The closed-loop system with the designed control law satisfies an estimate of {L}_2 norm in a sense of ISS with respect to the unknown heat loss. The similar manner is employed to the two-phase Stefan problem with the heat loss at the boundary of the solid phase under the control law proposed in [25], from which we deduce an analogous result for ISS analysis. △ Less

Submitted 3 March, 2019; originally announced March 2019.

Comments: 11 pages, 5 figures. arXiv admin note: text overlap with arXiv:1901.09809

Arctic Sea Ice State Estimation From Thermodynamic PDE Model

Authors: Shumon Koga, Miroslav Krstic

Abstract: Recent rapid loss of the Arctic sea ice motivates the study of the Arctic sea ice thickness. Global climate model that describes the ice's thickness evolution requires an accurate spatial temperature profile of the Arctic sea ice. However, measuring the complete temperature profile is not feasible within and throughout the Arctic icecap. Instead, measuring the ice's thickness is doable with the ac… ▽ More Recent rapid loss of the Arctic sea ice motivates the study of the Arctic sea ice thickness. Global climate model that describes the ice's thickness evolution requires an accurate spatial temperature profile of the Arctic sea ice. However, measuring the complete temperature profile is not feasible within and throughout the Arctic icecap. Instead, measuring the ice's thickness is doable with the acquisition of data from submarine and satellite devices. In this paper, we develop a backstep** observer algorithm to estimate the temperature profile for the Arctic sea ice model via available measurements of sea ice thickness and sea ice surface temperature. The observer is designed in a rigorous manner to drive the temperature profile estimation error to zero, for a salinity-free sea ice model. Moreover, the proposed observer is used to estimate the temperature profile of the original sea ice model with salinity via numerical simulation. In comparison with the straightforward open-loop algorithm, the simulation results illustrate that our observer design achieves ten times faster convergence of the estimated temperature. △ Less

Submitted 30 January, 2019; originally announced January 2019.

Comments: 11 pages, 11 figures

Delay Compensated Control of the Stefan Problem and Robustness to Delay Mismatch

Authors: Shumon Koga, Delphine Bresch-Pietri, Miroslav Krstic

Abstract: This paper presents a control design for the one-phase Stefan problem under actuator delay via a backstep** method. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. The actuator delay is modeled by a first-order hyperbolic partial differential equation (PDE), resulting in a casc… ▽ More This paper presents a control design for the one-phase Stefan problem under actuator delay via a backstep** method. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. The actuator delay is modeled by a first-order hyperbolic partial differential equation (PDE), resulting in a cascaded transport-diffusion PDE system defined on a time-varying spatial domain described by an ordinary differential equation (ODE). Two nonlinear backstep** transformations are utilized for the control design. The setpoint restriction is given to guarantee a physical constraint on the proposed controller for the melting process. This constraint ensures the exponential convergence of the moving interface to a setpoint and the exponential stability of the temperature equilibrium profile and the delayed controller in the ${\cal H}_1$ norm. Furthermore, robustness analysis with respect to the delay mismatch between the plant and the controller is studied, which provides analogous results to the exact compensation by restricting the control gain. △ Less

Submitted 23 January, 2019; originally announced January 2019.

Comments: 27 pages, 10 figures,

Dependence of Hall Coefficient on Grain Size and Cosmic Ray Rate and Implication for Circumstellar Disk Formation

Authors: Shunta Koga, Yusuke Tsukamoto, Satoshi Okuzumi, Masahiro N. Machida

Abstract: The Hall effect plays a significant role in star formation because it induces rotation in the infalling envelope, which in turn affects the formation and evolution of the circumstellar disk. The importance of the Hall effect varies with the Hall coefficient, and this coefficient is determined by the fractional abundances of charged species. These abundance values are primarily based on the size an… ▽ More The Hall effect plays a significant role in star formation because it induces rotation in the infalling envelope, which in turn affects the formation and evolution of the circumstellar disk. The importance of the Hall effect varies with the Hall coefficient, and this coefficient is determined by the fractional abundances of charged species. These abundance values are primarily based on the size and quantity of dust grains as well as the cosmic ray intensity, which respectively absorb and create charged species. Thus, the Hall coefficient varies with both the properties of dust grains and the cosmic ray rate (or ionization source). In this study, we explore the dependence of the Hall coefficient on the grain size and cosmic ray ionization rate using a simplified chemical network model. Following this, using an analytic model, we estimate the typical size of a circumstellar disk induced solely by the Hall effect. The results show that the disk grows during the main accretion phase to a size of ${\sim}$ 3 - 100 au, with the actual size depending on the parameters. These findings suggest that the Hall effect greatly affects circumstellar disk formation, especially in the case that the dust grains have a typical size of ${\sim}$ 0.025 $μ$m - 0.075 $μ$m. △ Less

Submitted 25 December, 2018; v1 submitted 17 December, 2018; originally announced December 2018.

Comments: Accepted for publication in MNRAS. 39 pages, 13 figures

Control and State Estimation of the One-Phase Stefan Problem via Backstep** Design

Authors: Shumon Koga, Mamadou Diagne, Miroslav Krstic

Abstract: This paper develops a control and estimation design for the one-phase Stefan problem. The Stefan problem represents a liquid-solid phase transition as time evolution of a temperature profile in a liquid-solid material and its moving interface. This physical process is mathematically formulated as a diffusion partial differential equation (PDE) evolving on a time-varying spatial domain described by… ▽ More This paper develops a control and estimation design for the one-phase Stefan problem. The Stefan problem represents a liquid-solid phase transition as time evolution of a temperature profile in a liquid-solid material and its moving interface. This physical process is mathematically formulated as a diffusion partial differential equation (PDE) evolving on a time-varying spatial domain described by an ordinary differential equation (ODE). The state-dependency of the moving interface makes the coupled PDE-ODE system a nonlinear and challenging problem. We propose a full-state feedback control law, an observer design, and the associated output-feedback control law via the backstep** method. The designed observer allows estimation of the temperature profile based on the available measurement of solid phase length. The associated output-feedback controller ensures the global exponential stability of the estimation errors, the H1- norm of the distributed temperature, and the moving interface to the desired setpoint under some explicitly given restrictions on the setpoint and observer gain. The exponential stability results are established considering Neumann and Dirichlet boundary actuations. △ Less

Submitted 16 March, 2017; originally announced March 2017.

Comments: 16 pages, 11 figures, submitted to IEEE Transactions on Automatic Control

Output Feedback Control of the One-Phase Stefan Problem

Authors: Shumon Koga, Mamadou Diagne, Miroslav Krstic

Abstract: In this paper, a backstep** 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 backstep** 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… ▽ More In this paper, a backstep** 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 backstep** 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 backstep** 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 kee** physical constraints, which is shown with the restriction on the gain parameter of the observer and the setpoint. △ Less

Submitted 27 September, 2016; originally announced September 2016.

Comments: 6 pages, 4 figures, 55th Conference on Decision and Control. arXiv admin note: text overlap with arXiv:1607.04345

Backstep** Control of the One-Phase Stefan Problem

Authors: Shumon Koga, Mamadou Diagne, Shuxia Tang, Miroslav Krstic

Abstract: In this paper, a backstep** 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 backstep** transformation for moving boundary problem is utilized to transform the original coupled PDE-ODE system into a target system whose e… ▽ More In this paper, a backstep** 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 backstep** 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. △ Less

Submitted 14 July, 2016; originally announced July 2016.

Comments: 6 pages, 4 figures, The 2016 American Control Conference