arXiv Science⌕ Search

arXiv subjects

Panagiotis S. Trakas

Publications and source records attributed to Panagiotis S. Trakas.

4 recordsLinked to original sources

Safe Platooning under Input Constraints with Link-Wise Velocity String Stability

We propose a decentralized controller for vehicle platoons with different braking and propulsion limits. The method uses only local distance and velocity measurements and requires neither online optimization nor exact vehicle parameters. The design combines a braking-distance safety margin with an adaptive funnel that relaxes the spacing requirement during propulsion saturation. A standstill mechanism prevents backward motion and supports stop-and-go operation. Under explicit uniform conditions on the vehicle parameters, controller settings, and initial states, we prove that closed-loop solutions exist for all time, collisions are avoided, and input limits are satisfied. Moreover, each follower tracks its predecessor's velocity range with gain one, up to an explicit additive offset determined by the funnel width and the braking-distance term. This bound establishes link-wise velocity string stability. Both the offset and the bounds on speeds and spacing errors are independent of vehicle index and platoon length. Simulations with 2 to 100 followers illustrate safety and bounded velocity deviations under disturbances and actuator limits.

eess.SY↗

Anytime-Valid Certification of Robustness Margins for Safe Control via E-Values

Robust control uses the error between a known model and the true system as a robustness margin. However, this error is usually unknown: conservative estimates restrict feasibility and performance, while underestimates can result in violations of the control property. We estimate this robustness margin from online data using e-values, a statistical tool for hypothesis testing, in the setting of discrete-time control barrier functions (CBFs). Here, we measure the robustness margin as the difference between the observed CBF and the model-based CBF prediction. We then design a robust CBF controller in three steps by: (1) selecting a set of candidate margins, (2) obtaining validity certificates for these candidates via sequential tests based on e-values, and (3) updating the CBF controller with the smallest certified candidate. The deployed tests accumulate evidence against the hypothesis that an exceedance risk, the probability of the robustness margin exceeding the candidate margin, remains at or above a pre-specified failure probability $α$. Our tests are anytime valid and thus enable the use of certified candidates in the CBF controller, guaranteeing that the probability that the exceedance risk of a certified margin exceeds $α$ is at most a user-chosen confidence $δ$. We validate our approach on navigation problems across different environments with visualizations in NVIDIA Isaac Sim.

eess.SY↗

Output Feedback Adaptive Performance Control

In this paper, we consider uncertain high-order nonlinear systems performing dynamic tracking tasks under hard actuator constraints, where only the output error is available for measurement, while the system states and the desired trajectory derivatives are unavailable for feedback. We propose a robust output-feedback controller that guarantees adaptive performance specifications in this framework. The proposed scheme employs a novel Prescribed Performance Observer (PPO) with dynamic gains, which enhances estimation accuracy while avoiding large fixed observer gains. In addition, we introduce an adaptive mechanism that dynamically adjusts the output performance specifications according to the actuator limitations, ensuring bounded closed-loop signals. We establish a separation principle showing that the output-feedback scheme recovers the performance of its state-feedback counterpart. Comparative simulations demonstrate accurate tracking and smoother applied control under actuator limitations, uncertainties, and measurement noise.

eess.SY↗

Learning Input-Constrained Funnel Controllers from State Trajectory Data

Designing feedback controllers that satisfy predefined performance specifications while enforcing hard input constraints is a challenging task. Our work is motivated by the idea that state trajectory data, e.g., obtained from an expert controller, often implicitly encode feasible performance attributes and input limitations. We propose an optimization-based framework that uses state trajectory data to jointly learn: (i) a performance funnel that mimics the transient and steady-state behavior encoded within the observed trajectories, and (ii) a feedback controller that enforces the learned performance specifications under hard input constraints. Unlike imitation learning methods, the proposed approach does not rely on control input data and does not reconstruct an expert policy. Instead, it synthesizes a prescribed performance controller by combining nominal model compensation with a learned state-dependent feedback gain. The resulting synthesis problem is nonconvex, for which we develop a feasibility-driven active-set synthesis procedure. Finally, we establish two complementary guarantees: a semi-global conservative actuator-authority-based certificate for prescribed performance and input satisfaction, and a local data-driven certificate ensuring these properties near sufficiently dense demonstrated trajectories.

eess.SY↗