BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Miroslav Krstic

Miroslav Krstic contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OCeess.SYSystems and Controlmath.APphysics.flu-dynmath.DSArtificial IntelligenceMachine Learningmath.NANumerical Analysisphysics.class-phRobotics

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
12topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

21 published item(s)

preprint2026arXiv

Nonholonomic Robot Parking by Feedback -- Part I: Modular Strict CLF Designs

It has been known in the robotics literature since about 1995 that, in polar coordinates, the nonholonomic unicycle is asymptotically stabilizable by smooth feedback, even globally. We introduce a modular design framework that selects the forward velocity to decouple the radial coordinate, allowing the steering subsystem to be stabilized independently. Within this structure, we develop families of feedback laws using passivity, backstepping, and integrator forwarding. Each law is accompanied by a strict control Lyapunov function, including barrier variants that enforce angular constraints. These strict CLFs provide constructive class KL convergence estimates and enable eigenvalue assignment at the target equilibrium. The framework generalizes and extends prior modular and nonmodular approaches, while preparing the ground for inverse optimal and adaptive redesigns in the sequel paper.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Gain Scheduling with a Neural Operator for a Transport PDE with Nonlinear Recirculation

To stabilize PDE models, control laws require space-dependent functional gains mapped by nonlinear operators from the PDE functional coefficients. When a PDE is nonlinear and its "pseudo-coefficient" functions are state-dependent, a gain-scheduling (GS) nonlinear design is the simplest approach to the design of nonlinear feedback. The GS version of PDE backstepping employs gains obtained by solving a PDE at each value of the state. Performing such PDE computations in real time may be prohibitive. The recently introduced neural operators (NO) can be trained to produce the gain functions, rapidly in real time, for each state value, without requiring a PDE solution. In this paper we introduce NOs for GS-PDE backstepping. GS controllers act on the premise that the state change is slow and, as a result, guarantee only local stability, even for ODEs. We establish local stabilization of hyperbolic PDEs with nonlinear recirculation using both a "full-kernel" approach and the "gain-only" approach to gain operator approximation. Numerical simulations illustrate stabilization and demonstrate speedup by three orders of magnitude over traditional PDE gain-scheduling. Code (Github) for the numerical implementation is published to enable exploration.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Adaptive Regulation with Global KL Guarantees

In the absence of persistency of excitation (PE), referring to adaptive control systems as "asymptotically stable" typically indicates insufficient understanding of stability concepts. While the state is indeed regulated to zero and the parameter estimate has some limit, namely, the overall state converges to some equilibrium, the equilibrium reached is not unique (and not even necessarily stable) but is dependent on the initial condition. The equilibrium set in the absence of PE is not uniformly attractive (from an open set containing the equilibrium set); hence, asymptotic stability does not hold and KL estimates are unavailable for the full state. In this paper we pursue adaptive control design with KL guarantees on the regulated state, something that is possible but previously unachieved with smooth, time-invariant and non-hybrid adaptive controllers. This property is referred to as Uniform Global Asymptotic Output Stability, where the regulated state is thought of as a system output. We provide designs for (i) systems with a matched uncertainty and (ii) systems in the parametric strict feedback form. To guarantee KL estimates in the absence of PE, our designs employ time-invariant nonlinear damping terms, which depend both on the state and the parameter estimate. With an example, we illustrate the theory.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Exponential and Prescribed-Time Extremum Seeking with Unbiased Convergence

We present multivariable extremum seeking (ES) designs that achieve unbiased convergence to the optimum. Two designs are introduced: one with exponential unbiased convergence (unbiased extremum seeker, uES) and the other with user-assignable prescribed-time unbiased convergence (unbiased PT extremum seeker, uPT-ES). In contrast to the conventional ES, which uses persistent sinusoids and results in steady-state oscillations around the optimum, the exponential uES employs an exponentially decaying amplitude in the perturbation signal (for achieving convergence) and an exponentially growing demodulation signal (for making the convergence unbiased). The achievement of unbiased convergence also entails employing an adaptation gain that is sufficiently large in relation to the decay rate of the perturbation amplitude. Stated concisely, the bias is eliminated by having the learning process outpace the waning of the perturbation. The other algorithm, uPT-ES, employs prescribed-time convergent/blow-up functions in place of constant amplitudes of sinusoids, and it also replaces constant-frequency sinusoids with chirp signals whose frequency grows over time. Among the convergence results in the ES literature, uPT-ES may be the strongest yet in terms of the convergence rate (prescribed-time) and accuracy (unbiased). To enhance the robustness of uES to a time-varying optimum, exponential functions are modified to keep oscillations at steady state. Stability analysis of the designs is based on a state transformation, averaging, local exponential/PT stability of the averaged system, local stability of the transformed system, and local exponential/PT stability of the original system. For numerical implementation of the developed ES schemes and comparison with previous ES designs, the problem of source seeking by a two-dimensional velocity-actuated point mass is considered.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Feedback Stabilization of Tank-Liquid System with Robustness to Surface Tension

We construct a robust stabilizing feedback law for the viscous Saint-Venant system of Partial Differential Equations (PDEs) with surface tension and without wall friction. The Saint-Venant system describes the movement of a tank which contains a viscous liquid. We assume constant contact angles between the liquid and the walls of the tank and we achieve a spill-free exponential stabilization with robustness to surface tension by using a Control Lyapunov Functional (CLF). The proposed CLF provides a parameterized family of sets which approximate the state space from the interior. Based on the CLF, we construct a nonlinear stabilizing feedback law which ensures that the closed-loop system converges exponentially to the desired equilibrium point in the sense of an appropriate norm.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Delay-Compensated Distributed PDE Control of Traffic with Connected/Automated Vehicles

We develop an input delay-compensating design for stabilization of an Aw-Rascle-Zhang (ARZ) traffic model in congested regime which is governed by a $2\times 2$ first-order hyperbolic nonlinear PDE. The traffic flow consists of both adaptive cruise control-equipped (ACC-equipped) and manually-driven vehicles. The control input is the time gap of ACC-equipped and connected vehicles, which is subject to delays resulting from communication lag. For the linearized system, a novel three-branch bakcstepping transformation with explicit kernel functions is introduced to compensate the input delay. The transformation is proved æto be bounded, continuous and invertible, with explicit inverse transformation derived. Based on the transformation, we obtain the explicit predictor-feedback controller. We prove exponential stability of the closed-loop system with the delay compensator in $L_2$ norm. The performance improvement of the closed-loop system under the proposed controller is illustrated in simulation.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Feedback Stabilization of Tank-Liquid System with Robustness to Wall Friction

We solve the feedback stabilization problem for a tank, with friction, containing a liquid modeled by the viscous Saint-Venant system of Partial Differential Equations. A spill-free exponential stabilization is achieved, with robustness to the wall friction forces. A Control Lyapunov Functional (CLF) methodology with two different Lyapunov functionals is employed. These functionals determine specific parameterized sets which approximate the state space. The feedback law is designed based only on one of the two functionals (which is the CLF) while the other functional is used for the derivation of estimates of the sup-norm of the velocity. The feedback law does not require the knowledge of the exact relation of the friction coefficient. Two main results are provided: the first deals with the special case of a velocity-independent friction coefficient, while the second deals with the general case. The obtained results are new even in the frictionless case.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Finite- and Fixed-Time Nonovershooting Stabilizers and Safety Filters by Homogeneous Feedback

Non-overshooting stabilization is a form of safe control where the setpoint chosen by the user is at the boundary of the safe set. Exponential non-overshooting stabilization, including suitable extensions to systems with deterministic and stochastic disturbances, has been solved by the second author and his coauthors. In this paper we develop homogeneous feedback laws for fixed-time nonovershooting stabilization for nonlinear systems that are input-output linearizable with a full relative degree, i.e., for systems that are diffeomorphically equivalent to the chain of integrators. These homogeneous feedback laws can also assume the secondary role of `fixed-time safety filters' (FxTSf filters) which keep the system within the closed safe set for all time but, in the case where the user's nominal control commands approach to the unsafe set, allow the system to reach the boundary of the safe set no later than a desired time that is independent of nominal control and independent of the value of the state at the time the nominal control begins to be overridden.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Output Feedback Control of Radially-Dependent Reaction-Diffusion PDEs on Balls of Arbitrary Dimensions

Recently, the problem of boundary stabilization and estimation for unstable linear constant-coefficient reaction-diffusion equation on n-balls (in particular, disks and spheres) has been solved by means of the backstepping method. However, the extension of this result to spatially-varying coefficients is far from trivial. Some early success has been achieved under simplifying conditions, such as radially-varying reaction coefficients under revolution symmetry, on a disk or a sphere. These particular cases notwithstanding, the problem remains open. The main issue is that the equations become singular in the radius; when applying the backstepping method, the same type of singularity appears in the kernel equations. Traditionally, well-posedness of these equations has been proved by transforming them into integral equations and then applying the method of successive approximations. In this case, with the resulting integral equation becoming singular, successive approximations do not easily apply. This paper takes a different route and directly addresses the kernel equations via a power series approach, finding in the process the required conditions for the radially-varying reaction (namely, analyticity and evenness) and showing the existence and convergence of the series solution. This approach provides a direct numerical method that can be readily applied, despite singularities, to both control and observer boundary design problems.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Output-Feedback Control of Viscous Liquid-Tank System and its Numerical Approximation

We solve the output-feedback stabilization problem for a tank with a liquid modeled by the viscous Saint-Venant PDE system. The control input is the acceleration of the tank and a Control Lyapunov Functional methodology is used. The measurements are the tank position and the liquid level at the tank walls. The control scheme is a combination of a state feedback law with functional observers for the tank velocity and the liquid momentum. Four different types of output feedback stabilizers are proposed. A full-order observer and a reduced-order observer are used in order to estimate the tank velocity while the unmeasured liquid momentum is either estimated by using an appropriate scalar filter or is ignored. The reduced order observer differs from the full order observer because it omits the estimation of the measured tank position. Exponential convergence of the closed-loop system to the desired equilibrium point is achieved in each case. An algorithm is provided that guarantees that a robotic arm can move a glass of water to a pre-specified position no matter how full the glass is, without spilling water out of the glass, without residual end point sloshing and without measuring the water momentum and the glass velocity. Finally, the efficiency of the proposed output feedback laws is validated by numerical examples, obtained by using a simple finite-difference numerical scheme. The properties of the proposed, explicit, finite-difference scheme are determined.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Prescribed-Time Safety Design for a Chain of Integrators

Safety in dynamical systems is commonly pursued using control barrier functions (CBFs) which enforce safety-constraints over the entire duration of a system's evolution. We propose a prescribed-time safety (PTSf) design which enforces safety only for a finite time of interest to the user. While traditional CBF designs would keep the system away from the barrier longer than necessary, our PTSf design lets the system reach the barrier by the prescribed time and obey the operator's intent thereafter. To emphasize the capability of our design for safety constraints with high relative degrees, we focus our exposition on a chain of integrators where the safety condition is defined for the state furthest from the control input. In contrast to existing CBF-based methods for high-relative degree constraints, our approach involves choosing explicitly specified gains (instead of class $\mathcal{K}$ functions), and, with the aid of backstepping, operates in the entirety of the original safe set with no additional restriction on the initial conditions. With Quadratic Programming (QP) being employed in the design, in addition to backstepping and CBFs with a PTSf property, we refer to our design as a QP-backstepping PT-CBF design. For illustration, we include a simulation for the double-integrator system.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Rapid Stabilization of Timoshenko Beam by PDE Backstepping

In this paper, we present a rapid boundary stabilization of a Timoshenko beam with anti-damping and anti-stiffness at the uncontrolled boundary, by using PDE backstepping. We introduce a transformation to map the Timoshenko beam states into a (2+2) x (2+2) hyperbolic PIDE-ODE system. Then backstepping is applied to obtain a control law guaranteeing closed-loop stability of the origin in the H^1 sense. Arbitrarily rapid stabilization can be achieved by adjusting control parameters. Finally, a numerical simulation shows that the proposed controller can rapidly stabilize the Timoshenko beam. This result extends a previous work which considered a slender Timoshenko beam with Kelvin-Voigt damping, allowing destabilizing boundary conditions at the uncontrolled boundary and attaining an arbitrarily rapid convergence rate.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Simultaneous Lane-Keeping and Obstacle Avoidance by Combining Model Predictive Control and Control Barrier Functions

In this work, we combine {Model Predictive Control} (MPC) and Control Barrier Function (CBF) design {methods} to create a hierarchical control law for simultaneous lane-keeping (LK) and obstacle avoidance (OA): at the low level, MPC performs LK via trajectory tracking during nominal operation; and at the high level, different CBF-based safety filters that ensure both LK and OA are designed and compared across some practical scenarios. In particular, we show that Exponential Safety (ESf) and Prescribed-Time Safety (PTSf) filters, which override the MPC control when necessary, result in feasible Quadratic Programs when safety is prioritized appropriately. We additionally investigate control designs subject to input constraints by using Input-Constrained-CBFs. Finally, we compare the performance of combinations of ESf, PTSf, and their input-constrained counterparts with respect to the LK and OA goals in two simulation studies for early- and late-detected obstacle scenarios.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Reinforcement Learning versus PDE Backstepping and PI Control for Congested Freeway Traffic

We develop reinforcement learning (RL) boundary controllers to mitigate stop-and-go traffic congestion on a freeway segment. The traffic dynamics of the freeway segment are governed by a macroscopic Aw-Rascle-Zhang (ARZ) model, consisting of $2\times 2$ quasi-linear partial differential equations (PDEs) for traffic density and velocity. Boundary stabilization of the linearized ARZ PDE model has been solved by PDE backstepping, guaranteeing spatial $L^2$ norm regulation of the traffic state to uniform density and velocity and ensuring that traffic oscillations are suppressed. Collocated Proportional (P) and Proportional-Integral (PI) controllers also provide stability guarantees under certain restricted conditions, and are always applicable as model-free control options through gain tuning by trail and error, or by model-free optimization. Although these approaches are mathematically elegant, the stabilization result only holds locally and is usually affected by the change of model parameters. Therefore, we reformulate the PDE boundary control problem as a RL problem that pursues stabilization without knowing the system dynamics, simply by observing the state values. The proximal policy optimization, a neural network-based policy gradient algorithm, is employed to obtain RL controllers by interacting with a numerical simulator of the ARZ PDE. Being stabilization-inspired, the RL state-feedback boundary controllers are compared and evaluated against the rigorously stabilizing controllers in two cases: (i) in a system with perfect knowledge of the traffic flow dynamics, and then (ii) in one with only partial knowledge. We obtain RL controllers that nearly recover the performance of the backstepping, P, and PI controllers with perfect knowledge and outperform them in some cases with partial knowledge.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Delay-Compensated Control of Sandwiched ODE-PDE-ODE Hyperbolic Systems for Oil Drilling and Disaster Relief

Motivated by engineering applications of subsea installation by deepwater construction vessels in oil drilling, and of aid delivery by unmanned aerial vehicles in disaster relief, we develop output-feedback boundary control of heterodirectional coupled hyperbolic PDEs sandwiched between two ODEs, where the measurement is the output state of one ODE and suffers a time delay. After rewriting the time-delay dynamics as a transport PDE of which the left boundary connects with the sandwiched system, a state observer is built to estimate the states of the overall system of ODE-heterodirectional coupled hyperbolic PDEs-ODE-transport PDE using the right boundary state of the last transport PDE. An observer-based output-feedback controller acting at the first ODE is designed to stabilize the overall system using backstepping transformations and frequency-domain designs. The exponential stability results of the closed-loop system, boundedness and exponential convergence of the control input are proved. The obtained theoretical result is applied to control of a deepwater oil drilling construction vessel as a simulation case, where the simulation results show the proposed control design reduces cable oscillations and places the oil drilling equipment to be installed in the target area on the sea floor. Performance deterioration under extreme and unmodeled disturbances is also illustrated.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Event-triggered gain scheduling of reaction-diffusion PDEs

This paper deals with the problem of boundary stabilization of 1D reaction-diffusion PDEs with a time- and space- varying reaction coefficient. The boundary control design relies on the backstepping approach. The gains of the boundary control are scheduled under two suitable event-triggered mechanisms. More precisely, gains are computed/updated on events according to two state-dependent event-triggering conditions: static-based and dynamic-based conditions, under which, the Zeno behavior is avoided and well-posedness as well as exponential stability of the closed-loop system are guaranteed. Numerical simulations are presented to illustrate the results.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

ISS Estimates in the Spatial Sup-Norm for Nonlinear 1-D Parabolic PDEs

This paper provides novel Input-to-State Stability (ISS)-style maximum principle estimates for classical solutions of highly nonlinear 1-D parabolic Partial Differential Equations (PDEs). The derivation of the ISS-style maximum principle estimates is performed by using an ISS Lyapunov Functional for the sup norm. The estimates provide fading memory ISS estimates in the sup norm of the state with respect to distributed and boundary inputs. The obtained results can handle parabolic PDEs with nonlinear and non-local in-domain terms/boundary conditions. Three illustrative examples show the efficiency of the proposed methodology for the derivation of ISS estimates in the sup norm of the state.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Suppression of Oscillations in Two-Class Traffic by Full-State Feedback

This paper develops a full-state feedback controller that damps out oscillations in traffic density and traffic velocity whose dynamical behavior is governed by the linearized two-class Aw-Rascle (AR) model. Thereby, the traffic is considered to be in the congested regime and subdivided in two classes whereas each class represents vehicles with the same size and driver's behavior. The macroscopic second-order two-class AR model consists of four first order hyperbolic partial differential equations (PDEs) and introduces a concept of area occupancy to depict the mixed density of two-class vehicles in the traffic. Moreover, the linearized model equations show heterodirectional behavior with both positive and negative characteristic speeds in the congested regime. The control objective is to achieve convergence to a constant equilibrium in finite time. The control input is realized by ramp metering acting at the outlet of the considered track section. The backstepping method is employed to design full-state feedback for the $4\times 4$ hyperbolic PDEs. The performance of the full-state feedback controller is verified by simulation.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Vibration Suppression for Coupled Wave PDEs in Deep-Sea Construction

A deep-sea construction vessel is used to install underwater parts of an off-shore oil drilling platform at the designated locations on the seafloor. By using extended Hamilton's principle, a nonlinear PDE system governing the lateral-longitudinal coupled vibration dynamics of the deep-sea construction vessel consisting of a time-varying-length cable with an attached item is derived, and it is linearized at the steady state generating a linear PDE model, which is extended to a more general system including two coupled wave PDEs connected with two interacting ODEs at the uncontrolled boundaries. Through a preliminary transformation, an equivalent reformulated plant is generated as a 4*4 coupled heterodirectional hyperbolic PDE-ODE system characterized by spatially-varying coefficients on a time-varying domain. To stabilize such a system, an observer-based output-feedback control design is proposed, where the measurements are only placed at the actuated boundary of the PDE, namely, at the platform at the sea surface. The exponential stability of the closed-loop system, boundedness and exponential convergence of the control inputs, are proved via Lyapunov analysis. The obtained theoretical result is tested on a nonlinear model with ocean disturbances, even though the design is developed in the absence of such real-world effects.

0 citations0 reviewsNo code linkedOpen access