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

Iasson Karafyllis

Iasson Karafyllis contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OCeess.SYSystems and Controlmath.APphysics.flu-dynmath.NANumerical Analysismath-phmath.DSmath.MPphysics.class-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
11topics
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

15 published item(s)

preprint2023arXiv

A Particle Method for 1-D Compressible Fluid Flow

This paper proposes a novel particle scheme that provides convergent approximations of a weak solution of the Navier-Stokes equations for the 1-D flow of a viscous compressible fluid. Moreover, it is shown that all differential inequalities that hold for the fluid model are preserved by the particle method: mass is conserved, mechanical energy is decaying, and a modified mechanical energy functional is also decaying. The proposed particle method can be used both as a numerical method and as a method of proving existence of solutions for compressible fluid models.

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

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

Constructing Artificial Traffic Fluids by Designing Cruise Controllers

In this paper, we apply a Control Lyapunov Function methodology to design two families of cruise controllers for the two-dimensional movement of autonomous vehicles on lane-free roads using the bicycle kinematic model. The control Lyapunov functions are based on measures of the energy of the system with the kinetic energy expressed in ways similar to Newtonian or relativistic mechanics. The derived feedback laws (cruise controllers) are decentralized, as each vehicle determines its control input based on its own speed and on the relative speeds and distances from adjacent vehicles and from the boundary of the road. Moreover, the corresponding macroscopic models are derived, obtaining fluid-like models that consist of a conservation equation and a momentum equation with pressure and viscous terms. Finally, we show that, by selecting appropriately the parameters of the feedback laws, we can determine the physical properties of the "traffic fluid", i.e. we get free hand to create an artificial fluid that approximates the emerging traffic flow.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Cruise Controllers for Lane-Free Ring-Roads based on Control Lyapunov Functions

The paper introduces novel families of cruise controllers for autonomous vehicles on lane-free ring-roads. The design of the cruise controllers is based on the appropriate selection of a Control Lyapunov Function expressed on measures of the energy of the system with the kinetic energy expressed in ways similar to Newtonian or relativistic mechanics. The derived feedback laws (cruise controllers) are decentralized (per vehicle), as each vehicle determines its control input based on: (i) its own state; (ii) either only the distance from adjacent vehicles (inviscid cruise controllers) or the state of adjacent vehicles (viscous cruise controllers); and (iii) its distance from the boundaries of the ring-road. A detailed analysis of the differences and similarities between lane-free straight roads and lane-free ring-roads is also presented.

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

Growth conditions for global exponential stability and exp-ISS of time-delay systems under point-wise dissipation

For time-delay systems, it is known that global asymptotic stability is guaranteed by the existence of a Lyapunov-Krasovskii functional that dissipates in a point-wise manner along solutions, namely whose dissipation rate involves only the current value of the solution's norm. So far, the extension of this result to global exponential stability (GES) holds only for systems ruled by a globally Lipschitz vector field and remains largely open for the input-to-state stability (ISS) property. In this paper, we rely on the notion of exponential ISS to extend the class of systems for which GES or ISS can be concluded from a point-wise dissipation. Our results in turn show that these properties still hold in the presence of a sufficiently small additional term involving the whole state history norm. We provide explicit estimates of the tolerable magnitude of this extra term and show through an example how it can be used to assess robustness with respect to modeling uncertainties.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Is Global Asymptotic Stability Necessarily Uniform for Time-Delay Systems?

For time-invariant finite-dimensional systems, it is known that global asymptotic stability (GAS) is equivalent to uniform global asymptotic stability (UGAS), in which the decay rate and transient overshoot of solutions are requested to be uniform on bounded sets of initial states. This paper investigates this relationship for time-invariant delay systems. We show that UGAS and GAS are equivalent for this class of systems under the assumption of robust forward completeness, i.e. under the assumption that the reachable set from any bounded set of initial states on any finite time horizon is bounded. We also show that, if the state space is a space in a particular family of Sobolev or Holder spaces, then GAS is equivalent to UGAS and that robust forward completeness holds. Based on these equivalences, we provide a novel Lyapunov characterization of GAS (and UGAS) in the aforementioned spaces.

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
preprint2020arXiv

Analysis and Control of a Non-Local PDE Traffic Flow Model

The paper provides conditions that guarantee existence and uniqueness of classical solutions for a non-local conservation law on a ring-road with possible nudging (or "look behind") terms. The obtained conditions are novel, as they are not covered by existing results in the literature. The paper also provides results which indicate that nudging can increase the flow in a ring-road and, if properly designed, can have a strong stabilizing effect on traffic flow. More specifically, the paper gives results which guarantee local exponential stability of the uniform equilibrium in the L2 state norm even for cases where the uniform equilibrium profile in a ring-road without nudging is not asymptotically stable and the model admits density waves. The efficiency of the use of nudging terms is demonstrated by means of a numerical example.even for cases where the uniform equilibrium profile in a ring-road without nudging is not asymptotically stable and the model admits density waves. The efficiency of the use of nudging terms is demonstrated by means of a numerical example.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Event-Triggered Control of a Continuum Model of Highly Re-Entrant Manufacturing System

With the unceasing growth of intelligent production lines that integrate sensors, actuators, and controllers in a wireless communication environment via internet of things (IoT), we design an event-triggered boundary controller for a continuum model of highly re-entrant manufacturing systems for which the influx rate of products is the controlled quantity. The designed controller can potentially operate in networked control systems subject to limited information sharing resources. A Lyapunov argument is utilized to derive the boundary controller together with a feasible event generator that avoids the occurrence of Zeno behavior for the closed-loop system. The global stability estimate is established using the logarithmic norm of the state due to the system's nonlinearity and positivity of the density. Furthermore, robustness of the proposed controller with respect to the sampling schedule and sampled-data stabilization results are established. Consistent simulation results that support the proposed theoretical statements are provided.

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

Nonlinear Adaptive Cruise Control of Vehicular Platoons

The paper deals with the design of nonlinear adaptive cruise controllers for vehicular platoons operating on an open road or a ring-road. The constructed feedback controllers are nonlinear functions of the distance between successive vehicles and their speeds. It is shown that the proposed novel controllers guarantee safety (collision avoidance) and bounded vehicle speeds by explicitly characterizing the set of allowable inputs. Moreover, we guarantee global asymptotic stability of the platoon to a desired configuration as well as string stability. Certain macroscopic properties are also investigated. The efficiency of the nonlinear adaptive cruise controllers is demonstrated by means of a numerical example.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the Relation of IOS-Gains and Asymptotic Gains For Linear Systems

This paper presents a fundamental relation between Output Asymptotic Gains (OAG) and Input-to-Output Stability (IOS) gains for linear systems. For any Input-to-State Stable, strictly causal linear system the minimum OAG is equal to the minimum IOS-gain. Moreover, both quantities can be computed by solving a specific optimal control problem and by considering only periodic inputs. The result is valid for wide classes of linear systems (involving delay systems or systems described by PDEs). The characterization of the minimum IOS-gain is important because it allows the non-conservative computation of the IOS-gains, which can be used in a small-gain analysis. The paper also presents a number of cases for finite-dimensional linear systems, where exact computation of the minimum IOS gain can be performed.

0 citations0 reviewsNo code linkedOpen access