Safety Critical Model Predictive Control Using Discrete-Time Control Density Functions
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908542833786880 |
|---|---|
| author | Narayanan, Sriram S. K. S. Ahmadi, Sajad Velni, Javad Mohammadpour Vaidya, Umesh |
| author_facet | Narayanan, Sriram S. K. S. Ahmadi, Sajad Velni, Javad Mohammadpour Vaidya, Umesh |
| contents | This paper presents MPC-CDF, a new approach integrating control density functions (CDFs) within a model predictive control (MPC) framework to ensure safety-critical control in nonlinear dynamical systems. By using the dual formulation of the navigation problem, we incorporate CDFs into the MPC framework, ensuring both convergence and safety in a discrete-time setting. These density functions are endowed with a physical interpretation, where the associated measure signifies the occupancy of system trajectories. Leveraging this occupancy-based perspective, we synthesize safety-critical controllers using the proposed MPC-CDF framework. We illustrate the safety properties of this framework using a unicycle model and compare it with a control barrier function-based method. The efficacy of this approach is demonstrated in the autonomous safe navigation of an underwater vehicle, which avoids complex and arbitrary obstacles while achieving the desired level of safety. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_13257 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Safety Critical Model Predictive Control Using Discrete-Time Control Density Functions Narayanan, Sriram S. K. S. Ahmadi, Sajad Velni, Javad Mohammadpour Vaidya, Umesh Systems and Control Robotics This paper presents MPC-CDF, a new approach integrating control density functions (CDFs) within a model predictive control (MPC) framework to ensure safety-critical control in nonlinear dynamical systems. By using the dual formulation of the navigation problem, we incorporate CDFs into the MPC framework, ensuring both convergence and safety in a discrete-time setting. These density functions are endowed with a physical interpretation, where the associated measure signifies the occupancy of system trajectories. Leveraging this occupancy-based perspective, we synthesize safety-critical controllers using the proposed MPC-CDF framework. We illustrate the safety properties of this framework using a unicycle model and compare it with a control barrier function-based method. The efficacy of this approach is demonstrated in the autonomous safe navigation of an underwater vehicle, which avoids complex and arbitrary obstacles while achieving the desired level of safety. |
| title | Safety Critical Model Predictive Control Using Discrete-Time Control Density Functions |
| topic | Systems and Control Robotics |
| url | https://arxiv.org/abs/2509.13257 |