English
Related papers

Related papers: Safe-by-Design Planner-Tracker Synthesis

200 papers

Deep neural networks (DNN) are increasingly being used to learn controllers due to their excellent approximation capabilities. However, their black-box nature poses significant challenges to closed-loop stability guarantees and performance…

Robotics · Computer Science 2024-09-13 Jiajun Qian , Liang Xu , Xiaoqiang Ren , Xiaofan Wang

Research in the field of automated driving has created promising results in the last years. Some research groups have shown perception systems which are able to capture even complicated urban scenarios in great detail. Yet, what is often…

Systems and Control · Computer Science 2017-08-15 Marcus Nolte , Marcel Rose , Torben Stolte , Markus Maurer

We present a multi-rate control architecture that leverages fundamental properties of differential flatness to synthesize controllers for safety-critical nonlinear dynamical systems. We propose a two-layer architecture, where the high-level…

Systems and Control · Electrical Eng. & Systems 2024-09-21 Devansh R. Agrawal , Hardik Parwana , Ryan K. Cosner , Ugo Rosolia , Aaron D. Ames , Dimitra Panagou

Many robotic systems must follow planned paths yet pause safely and resume when people or objects intervene. We present an output-space method for systems whose tracked output can be feedback-linearized to a double integrator (e.g.,…

Robotics · Computer Science 2025-09-18 Hossein Gholampour , Logan E. Beaver

Time-optimal trajectories drive quadrotors to their dynamic limits, but computing such trajectories involves solving non-convex problems via iterative nonlinear optimization, making them prohibitively costly for real-time applications. In…

Robotics · Computer Science 2025-06-18 Katherine Mao , Hongzhan Yu , Ruipeng Zhang , Igor Spasojevic , M Ani Hsieh , Sicun Gao , Vijay Kumar

This paper presents a technique to cope with the gap between high-level planning, e.g., reference trajectory tracking, and low-level controlling using a learning-based method in the plan-based control paradigm. The technique improves the…

Robotics · Computer Science 2024-01-23 Geesara Kulathunga , Hany Hamed , Alexandr Klimchik

Safe navigation around obstacles is a fundamental challenge for highly dynamic robots. The state-of-the-art approach for adapting simple reference path planners to complex robot dynamics using trajectory optimization and tracking control is…

Robotics · Computer Science 2022-02-28 Aykut İşleyen , Nathan van de Wouw , Ömür Arslan

Nonlinear systems, such as with degrading hysteretic behavior, are often encountered in engineering applications. In addition, due to the ubiquitous presence of uncertainty and the modeling of such systems becomes increasingly difficult. On…

Machine Learning · Statistics 2023-04-26 Subhayan De , Patrick T. Brewick

This paper presents a safety-critical reinforcement learning framework for nonlinear dynamical systems with continuous state and input spaces operating under explicit physical constraints. Hard safety constraints are enforced independently…

Systems and Control · Electrical Eng. & Systems 2026-02-05 Hossein Rastgoftar

It is challenging to verify that the planned security mechanisms are actually implemented in the software. In the context of model-based development, the implemented security mechanisms must capture all intended security properties that…

Software Engineering · Computer Science 2022-03-21 Katja Tuma , Sven Peldszus , Daniel Strüber , Riccardo Scandariato , Jan Jürjens

A two-layer control architecture is proposed to enable scalable implementations for constraint-based decision strategies, such as model predictive controllers. The bottom layer is based upon a distributed feedback-feedforward scheme that…

Systems and Control · Electrical Eng. & Systems 2026-04-13 Andrei Sperilă , Alessio Iovine , Sorin Olaru , Patrick Panciatici

5G and Beyond networks promise low-latency support for applications that need to deliver mission-critical data with strict deadlines. However, innovations on the physical and medium access layers are not sufficient. Additional…

Networking and Internet Architecture · Computer Science 2023-03-23 Omar Nassef , Federico Chiariotti , Stephen Johnson , Toktam Mahmoodi

The ability to reliably maximize tire force usage would improve the safety of autonomous vehicles, especially in challenging edge cases. However, vehicle control near the limits of handling has many challenges, including robustly contending…

Systems and Control · Electrical Eng. & Systems 2023-04-25 James Dallas , Michael Thompson , Jonathan Y. M. Goh , Avinash Balachandran

This study proposes an adaptive subsystem-based control (SBC) for systematic and straightforward nonlinear~control of nth-order strict-feedback form (SFF) systems.~By decomposing the SFF system to subsystems, a generic~term (namely…

Optimization and Control · Mathematics 2024-07-16 Janne Koivumäki , Jukka-Pekka Humaloja , Lassi Paunonen , Wen-Hong Zhu , Jouni Mattila

Control Barrier Functions (CBFs) provide a powerful framework for ensuring safety in dynamical systems. However, their application typically relies on full state information, which is often violated in real-world due to the availability of…

Systems and Control · Electrical Eng. & Systems 2026-05-19 Vaishnavi Jagabathula , Ahan Basu , Pushpak Jagtap

Car-following behavior modeling is critical for understanding traffic flow dynamics and developing high-fidelity microscopic simulation models. Most existing impulse-response car-following models prioritize computational efficiency and…

Applications · Statistics 2025-04-09 Chengyuan Zhang , Wenshuo Wang , Lijun Sun

Legged locomotion is a complex control problem that requires both accuracy and robustness to cope with real-world challenges. Legged systems have traditionally been controlled using trajectory optimization with inverse dynamics. Such…

Robotics · Computer Science 2024-01-23 Fabian Jenelten , Junzhe He , Farbod Farshidian , Marco Hutter

Trajectory planning is challenging for autonomous cars since they operate in unpredictable environments with limited sensor horizons. To incorporate new information as it is sensed, planning is done in a loop, with the next plan being…

Systems and Control · Computer Science 2019-02-07 Sean Vaskov , Utkarsh Sharma , Shreyas Kousik , Matthew Johnson-Roberson , Ramanarayan Vasudevan

Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of which asks for the correct monitoring and control from the…

Logic in Computer Science · Computer Science 2014-03-28 Shuling Wang , Flemming Nielson , Hanne Riis Nielson

The paper presents a novel approach to synthesize robust controllers for nonlinear systems along perturbed trajectories. The approach linearizes the system with respect to a reference trajectory. In contrast to existing methods rooted in…

Systems and Control · Electrical Eng. & Systems 2025-07-08 Felix Biertümpfel , Peter Seiler , Harald Pfifer