-
From Road Congestion to Vehicle-Control Enabled Artificial Traffic Fluids
Authors:
Iasson Karafyllis,
Dionysios Theodosis,
Markos Papageorgiou,
Miroslav Krstic
Abstract:
This article provides an overview of the design of nonlinear feedback Cruise Controllers (CCs) for automated vehicles on lane-free roads. The feedback design problem is particularly challenging because of the various state constraints (e.g., collision-free movement, road geometry, speed limits) as well as the nature of the control objective (globally stabilizing distributed controllers that requir…
▽ More
This article provides an overview of the design of nonlinear feedback Cruise Controllers (CCs) for automated vehicles on lane-free roads. The feedback design problem is particularly challenging because of the various state constraints (e.g., collision-free movement, road geometry, speed limits) as well as the nature of the control objective (globally stabilizing distributed controllers that require measurements from neighboring vehicles only). Therefore, the resulting nonlinear control system is defined on an open set (not necessarily diffeomorphic to a linear space) for which the set of desired equilibria is non-compact. The proposed design of the CCs is based on energy-like control Lyapunov functions which combine potential functions with kinetic energy terms and other appropriate penalty terms. The feedback design in the microscopic level is accompanied by the derivation of the corresponding macroscopic traffic flow models. Explicit relations are established between selectable CC features and the obtained macroscopic traffic flow characteristics. This facilitates the active design of efficient traffic flow with desired properties, i.e., the construction of artificial traffic fluids.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
A Comparative Study of Numerical Methods for Approximating the Solutions of a Macroscopic Automated-Vehicle Traffic Flow Model
Authors:
George Titakis,
Iasson Karafyllis,
Dionysis Theodosis,
Ioannis Papamichail,
Markos Papageorgiou
Abstract:
In this paper, a particle method is used to approximate the solutions of a "fluid-like" macroscopic traffic flow model for automated vehicles. It is shown that this method preserves certain differential inequalities that hold for the macroscopic traffic model: mass is preserved, the mechanical energy is decaying and an energy functional is also decaying. To demonstrate the advantages of the partic…
▽ More
In this paper, a particle method is used to approximate the solutions of a "fluid-like" macroscopic traffic flow model for automated vehicles. It is shown that this method preserves certain differential inequalities that hold for the macroscopic traffic model: mass is preserved, the mechanical energy is decaying and an energy functional is also decaying. To demonstrate the advantages of the particle method under consideration, a comparison with other numerical methods for viscous compressible fluid models is provided. Since the solutions of the macroscopic traffic model can be approximated by the solutions of a reduced model consisting of a single nonlinear heat-type partial differential equation, the numerical solutions produced by the particle method are also compared with the numerical solutions of the reduced model. Finally, a traffic simulation scenario and a comparison with the Aw-Rascle-Zhang (ARZ) model are provided, illustrating the advantages of the use of automated vehicles.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
State Estimation for Linear Systems with Quadratic Outputs
Authors:
Soulaimane Berkane,
Dionysis Theodosis,
Tarek Hamel,
Dimos V. Dimarogonas
Abstract:
This letter deals with the problem of state estimation for a class of systems involving linear dynamics with multiple quadratic output measurements. We propose a systematic approach to immerse the original system into a linear time-varying (LTV) system of a higher dimension. The methodology extends the original system by incorporating a minimum number of auxiliary states, ensuring that the resulti…
▽ More
This letter deals with the problem of state estimation for a class of systems involving linear dynamics with multiple quadratic output measurements. We propose a systematic approach to immerse the original system into a linear time-varying (LTV) system of a higher dimension. The methodology extends the original system by incorporating a minimum number of auxiliary states, ensuring that the resulting extended system exhibits both linear dynamics and linear output. Consequently, any Kalman-type observer can showcase global state estimation, provided the system is uniformly observable.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
Performance-Sensitive Potential Functions for Efficient Flow of Connected and Automated Vehicles
Authors:
Filippos N. Tzortzoglou,
Dionysios Theodosis,
Aditya Dave,
Andreas Malikopoulos
Abstract:
Connected and automated vehicles (CAVs) provide the most intriguing opportunity for enabling users to monitor transportation network conditions and make better decisions for improving safety and transportation efficiency. In this paper, we address the problem of effectively coordinating CAVs on lane-based roadways. Our approach utilizes potential functions to generate repulsive forces between CAVs…
▽ More
Connected and automated vehicles (CAVs) provide the most intriguing opportunity for enabling users to monitor transportation network conditions and make better decisions for improving safety and transportation efficiency. In this paper, we address the problem of effectively coordinating CAVs on lane-based roadways. Our approach utilizes potential functions to generate repulsive forces between CAVs that ensure collision avoidance. However, such potential functions can lead to unrealistic acceleration profiles and large inter-vehicle distances. The primary contribution of this work is the introduction of performance-sensitive potential functions to address these challenges. In our approach, the parameters of a potential function are determined through an optimization problem aiming to reduce both acceleration and inter-vehicle distances. To circumvent the computational implications due to the complexity of the resulting optimization problem that prevents the derivation of a real-time solution, we train a neural network model to learn the map** of initial conditions to optimal parameters derived offline. Then, we prove sufficient criteria for the sampled-data model to ensure that the neural network output does not activate any of the state and safety constraints. Finally, we provide simulation results to demonstrate the effectiveness of the proposed approach.
△ Less
Submitted 3 September, 2023;
originally announced September 2023.
-
An Approach for Optimizing Acceleration in Connected and Automated Vehicles
Authors:
Filippos N. Tzortzoglou,
Dionysios Theodosis,
Andreas Malikopoulos
Abstract:
Vehicle automation technology has made significant progress, laying the groundwork for a future of fully automated vehicles. This paper delves into the operation of connected and automated vehicles (CAVs). In prior work, we developed a controller that includes a tunable gain whose value significantly influences CAV performance and, in particular, its acceleration. By varying this gain, CAV acceler…
▽ More
Vehicle automation technology has made significant progress, laying the groundwork for a future of fully automated vehicles. This paper delves into the operation of connected and automated vehicles (CAVs). In prior work, we developed a controller that includes a tunable gain whose value significantly influences CAV performance and, in particular, its acceleration. By varying this gain, CAV acceleration is associated with different values depending on some initial conditions. Thus, our goal in this paper is to identify the optimal value of this gain in terms of acceleration for any group of initial conditions. To this end, we formulate an optimization problem where the decision variable is the gain value, and the objective function includes the acceleration of the vehicles. The complexity of this problem prohibits real-time solutions. To address this challenge, we train a neural network to map different initial conditions to the optimal gain values efficiently. We showcase the proposed approach to deriving the optimal gains in a merging scenario with an on-ramp.
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
Further Remarks on the Sampled-Data Feedback Stabilization Problem
Authors:
John Tsinias,
Dionysis Theodosis
Abstract:
The paper deals with the problem of the sampled data feedback stabilization for autonomous nonlinear systems. The corresponding results extend those obtained in earlier works by the same authors. The sufficient conditions we establish are based on the existence of discontinuous control Lyapunov functions and the corresponding results are applicable to a class of nonlinear affine in the control sys…
▽ More
The paper deals with the problem of the sampled data feedback stabilization for autonomous nonlinear systems. The corresponding results extend those obtained in earlier works by the same authors. The sufficient conditions we establish are based on the existence of discontinuous control Lyapunov functions and the corresponding results are applicable to a class of nonlinear affine in the control systems.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Forward Completeness and Applications to Control of Automated Vehicles
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
Forward complete systems are guaranteed to have solutions that exist globally for all positive time. In this paper, a relaxed Lyapunov-like condition for forward completeness is presented for finite-dimensional systems defined on open sets that does not require boundedness of the Lyapunov-like function along the solutions of the system. The corresponding condition is then exploited for the design…
▽ More
Forward complete systems are guaranteed to have solutions that exist globally for all positive time. In this paper, a relaxed Lyapunov-like condition for forward completeness is presented for finite-dimensional systems defined on open sets that does not require boundedness of the Lyapunov-like function along the solutions of the system. The corresponding condition is then exploited for the design of autonomous two-dimensional movement, with focus on lane-free cruise controllers for automated vehicles described by the bicycle kinematic model. The derived feedback laws (cruise controllers) are decentralized and can account for collision avoidance, roads of variable width, on-ramps and off-ramps as well as different desired speed for each vehicle.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
A Nonlinear Heat Equation Arising from Automated-Vehicle Traffic Flow Models
Authors:
Dionysis Theodosis,
Iasson Karafyllis,
George Titakis,
Ioannis Papamichail,
Markos Papageorgiou
Abstract:
In this paper, a new nonlinear heat equation is studied that arises as a model of the collective behavior of automated vehicles. The properties of the solutions of this equation are studied by introducing the appropriate notion of a weak solution that requires certain entropy-like conditions. To obtain an approximation of the solution of the nonlinear heat equation, a new conservative first-order…
▽ More
In this paper, a new nonlinear heat equation is studied that arises as a model of the collective behavior of automated vehicles. The properties of the solutions of this equation are studied by introducing the appropriate notion of a weak solution that requires certain entropy-like conditions. To obtain an approximation of the solution of the nonlinear heat equation, a new conservative first-order finite difference scheme is proposed that respects the corresponding entropy conditions, and certain links between the weak solution and the numerical scheme are provided. Finally, a traffic simulation scenario and a comparison with the Lighthill-Witham-Richards (LWR) model are provided, illustrating the benefits of the use of automated vehicles.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
Cruise Controllers for Lane-Free Ring-Roads based on Control Lyapunov Functions
Authors:
Dionysis Theodosis,
Iasson Karafyllis,
Markos Papageorgiou
Abstract:
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)…
▽ More
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.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
Constructing Artificial Traffic Fluids by Designing Cruise Controllers
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
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 derive…
▽ More
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.
△ Less
Submitted 5 March, 2022;
originally announced March 2022.
-
Stability Analysis of Nonlinear Inviscid Microscopic and Macroscopic Traffic Flow Models of Bidirectional Cruise-Controlled Vehicles
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
The paper introduces a new bidirectional microscopic inviscid Adaptive Cruise Control (ACC) model that uses only spacing information from the preceding and following vehicles in order to select the proper control action to avoid collisions and maintain a desired speed. KL estimates that guarantee uniform convergence of the ACC model to the set of equilibria are provided. Moreover, the correspondin…
▽ More
The paper introduces a new bidirectional microscopic inviscid Adaptive Cruise Control (ACC) model that uses only spacing information from the preceding and following vehicles in order to select the proper control action to avoid collisions and maintain a desired speed. KL estimates that guarantee uniform convergence of the ACC model to the set of equilibria are provided. Moreover, the corresponding macroscopic model is derived, consisting of a conservation equation and a momentum equation that contains a nonlinear relaxation term. It is shown that, if the density is sufficiently small, then the macroscopic model has a solution that approaches exponentially the equilibrium speed (in the sup norm) while the density converges exponentially to a traveling wave. Numerical simulations are also provided, illustrating the properties of the microscopic and macroscopic inviscid ACC models.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
Two-Dimensional Cruise Control of Autonomous Vehicles on Lane-Free Roads
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
In this paper, we design decentralized control strategies for the two-dimensional movement of autonomous vehicles on lane-free roads. The bicycle kinematic model is used to model the dynamics of the vehicles, and each vehicle determines its control input based only on its own speed and on the distance from other (adjacent) vehicles and the boundary of the road. Potential functions and Barbalat's l…
▽ More
In this paper, we design decentralized control strategies for the two-dimensional movement of autonomous vehicles on lane-free roads. The bicycle kinematic model is used to model the dynamics of the vehicles, and each vehicle determines its control input based only on its own speed and on the distance from other (adjacent) vehicles and the boundary of the road. Potential functions and Barbalat's lemma are employed to prove the following properties, which are ensured by the proposed controller: (i) the vehicles do not collide with each other or with the boundary of the road; (ii) the speeds of all vehicles are always positive, i.e., no vehicle moves backwards at any time; (iii) the speed of all vehicles remain below a given speed limit; (iv) all vehicle speeds converge to a given longitudinal speed set-point; and (v) the accelerations, lateral speeds, and orientations of all vehicles tend to zero. The efficiency of the proposed 2-D cruise controllers is illustrated by means of numerical examples.
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
Nonlinear Adaptive Cruise Control of Vehicular Platoons
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
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 characteriz…
▽ More
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.
△ Less
Submitted 14 July, 2020;
originally announced July 2020.
-
State Estimation for a Class of Linear Systems with Quadratic Output
Authors:
Dionysis Theodosis,
Soulaimane Berkane,
Dimos V. Dimarogonas
Abstract:
This paper deals with the problem of state estimation for a class of linear time-invariant systems with quadratic output measurements. An immersion-type approach is presented that transforms the system into a state-affine system by adding a finite number of states to the original system. Under suitable persistence of excitation conditions on the input and its higher derivatives, global state estim…
▽ More
This paper deals with the problem of state estimation for a class of linear time-invariant systems with quadratic output measurements. An immersion-type approach is presented that transforms the system into a state-affine system by adding a finite number of states to the original system. Under suitable persistence of excitation conditions on the input and its higher derivatives, global state estimation is exhibited by means of a Kalman-type observer. A numerical example is provided to illustrate the applicability of the proposed observer design for the problem of position and velocity estimation for a vehicle navigating in the $n-$dimensional Euclidean space using a single position range measurement.
△ Less
Submitted 1 August, 2020; v1 submitted 4 June, 2020;
originally announced June 2020.
-
Analysis and Control of a Non-Local PDE Traffic Flow Model
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Observer design for triangular systems under weak observability assumptions
Authors:
Dionysis Theodosis,
Dimitris Boskos,
John Tsinias
Abstract:
This paper presents results on the solvability of the observer design problem for general nonlinear triangular systems with inputs, under weak observability assumptions. The local state estimation is exhibited by means of a delayed time-varying Luenberger-type system. In order to achieve the global estimation, a switching sequence of observers is designed.
This paper presents results on the solvability of the observer design problem for general nonlinear triangular systems with inputs, under weak observability assumptions. The local state estimation is exhibited by means of a delayed time-varying Luenberger-type system. In order to achieve the global estimation, a switching sequence of observers is designed.
△ Less
Submitted 2 December, 2016;
originally announced December 2016.
-
Sufficient Lie Algebraic Conditions for Sampled-Data Feedback Stabilization
Authors:
John Tsinias,
Dionysis Theodosis
Abstract:
For nonlinear affine in the control systems, a Lie algebraic sufficient condition for sampled-data feedback semi-global stabilization is established. We use this result, in order to derive sufficient conditions for sampled-data feedback stabilization for a couple of three-dimensional systems.
For nonlinear affine in the control systems, a Lie algebraic sufficient condition for sampled-data feedback semi-global stabilization is established. We use this result, in order to derive sufficient conditions for sampled-data feedback stabilization for a couple of three-dimensional systems.
△ Less
Submitted 30 May, 2015;
originally announced June 2015.
-
Sufficient Lie Algebraic Conditions for Sampled-Data Feedback Stabilizability of Affine in the Control Nonlinear Systems
Authors:
John Tsinias,
Dionysis Theodosis
Abstract:
For general nonlinear autonomous systems, a Lyapunov characterization for the possibility of semi-global asymptotic stabilizability by means of a time-varying sampled-data feedback is established. We exploit this result in order to derive a Lie algebraic sufficient condition for sampled-data feedback semi-global stabilizability of affine in the control nonlinear systems with non-zero drift terms.…
▽ More
For general nonlinear autonomous systems, a Lyapunov characterization for the possibility of semi-global asymptotic stabilizability by means of a time-varying sampled-data feedback is established. We exploit this result in order to derive a Lie algebraic sufficient condition for sampled-data feedback semi-global stabilizability of affine in the control nonlinear systems with non-zero drift terms. The corresponding proposition constitutes an extension of the "Artstein-Sontag" theorem on feedback stabilization.
△ Less
Submitted 9 September, 2015; v1 submitted 31 July, 2014;
originally announced July 2014.