Cover Image

Graph-Based Convexification of Nested Signal Temporal Logic Constraints for Trajectory Optimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Claudet, Thomas, Martire, Davide, Losa, Damiana, Sanfedino, Francesco, Alazard, Daniel
Format:	Preprint
Published:	2023
Subjects:	Optimization and Control Dynamical Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Robust H2/H-infinity control under stochastic requirements: minimizing conditional value-at-risk instead of worst-case performance
by: Kassarian, Ervan, et al.
Published: (2025)

Intrinsic Successive Convexification: Trajectory Optimization on Smooth Manifolds
by: Kraisler, Spencer, et al.
Published: (2025)

Model-Based Adaptive Control of Modular Multilevel Converters
by: Tebaldi, Davide, et al.
Published: (2024)

Non-linear dynamics of multibody systems: a system-based approach
by: Alazard, Daniel, et al.
Published: (2025)

Geometric Stabilization of Virtual Nonlinear Nonholonomic Constraints
by: Stratoglou, Efstratios, et al.
Published: (2025)

On Weakly Contracting Dynamics for Convex Optimization
by: Centorrino, Veronica, et al.
Published: (2024)

Koopman-Based Surrogate Models for Multi-Objective Optimization of Agent-Based Systems
by: Niemann, Jan-Hendrik, et al.
Published: (2023)

Parameter identification for an uncertain reaction-diffusion equation via setpoint regulation
by: Besançon, Gildas, et al.
Published: (2024)

Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction
by: Elango, Purnanand, et al.
Published: (2024)

Three-dimensional Nonlinear Path-following Guidance with Bounded Input Constraints
by: Kumar, Saurabh, et al.
Published: (2024)

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
by: Stella, Leonardo, et al.
Published: (2025)

Stable Walking for Bipedal Locomotion under Foot-Slip via Virtual Nonholonomic Constraints
by: Colombo, Leonardo, et al.
Published: (2026)

Synthesizing Control Laws from Data using Sum-of-Squares Optimization
by: Bramburger, Jason J., et al.
Published: (2023)

A Stability Condition for Online Feedback Optimization without Timescale Separation
by: Bianchi, Mattia, et al.
Published: (2024)

Towards Optimal Spatio-Temporal Decomposition of Control-Related Sum-of-Squares Programs
by: Cibulka, Vít, et al.
Published: (2024)

A Convex Optimization Approach to Compute Trapping Regions for Lossless Quadratic Systems
by: Liao, Shih-Chi, et al.
Published: (2024)

Data-Driven Stabilisation of Unstable Periodic Orbits of the Three-Body Problem
by: Brook, Owen M., et al.
Published: (2025)

Policy Optimization of Mixed H2/H-infinity Control: Benign Nonconvexity and Global Optimality
by: Pai, Chih-Fan, et al.
Published: (2026)

Worst-case search in constrained uncertainty space for robust H-infinity synthesis
by: Kassarian, Ervan, et al.
Published: (2025)

Dynamics modelling and path optimization for the on-orbit assembly of large flexible structures using a multi-arm robot
by: Rodrigues, Ricardo, et al.
Published: (2024)

Multidimensional Opinion Dynamics with Heterogeneous Bounded Confidences and Random Interactions
by: Cheng, Jiangjiang, et al.
Published: (2024)

Recursive Estimation for Dynamical Systems with Measurement Bias, Outliers and Constraints
by: Nagpal, Krishan Mohan
Published: (2025)

Fractional-Order Nesterov Dynamics for Convex Optimization
by: Ranoto, Tumelo
Published: (2025)

Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models
by: Haseli, Masih, et al.
Published: (2023)

Analysis of a continuous opinion and discrete action dynamics model coupled with an external observation dynamics
by: Couthures, Anthony, et al.
Published: (2024)

Threshold Decision-Making Dynamics Adaptive to Physical Constraints and Changing Environment
by: Amorim, Giovanna, et al.
Published: (2023)

Inexact and Stochastic Gradient Optimization Algorithms with Inertia and Hessian Driven Damping
by: Choudhary, Harsh, et al.
Published: (2025)

Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis
by: Proskurnikov, Anton V., et al.
Published: (2024)

Discrete-time Flatness and Linearization along Trajectories
by: Kolar, Bernd, et al.
Published: (2022)

Pontryagin-Bellman Differential Dynamic Programming for Low-Thrust Trajectory Optimization with Path Constraints
by: Sidhoum, Yanis, et al.
Published: (2025)

Regularity and Stability Properties of Selective SSMs with Discontinuous Gating
by: Zubić, Nikola, et al.
Published: (2025)

Controlled transport of fluid particles by microrotors in a Stokes flow using linear transfer operators
by: Buzhardt, Jake, et al.
Published: (2023)

Contraction theory: Hausdorff--Riemann Measures as Set-Based Lyapunov Functions
by: Matveev, A., et al.
Published: (2026)

On Robustness of Consensus over Pseudo-Undirected Path Graphs
by: Sinha, Abhinav, et al.
Published: (2025)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Prioritized Constraints in Optimization-Based Control
by: Arnström, Daniel, et al.
Published: (2025)

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

Exact Computation of LTI Reach Set from Integrator Reach Set with Bounded Input
by: Haddad, Shadi, et al.
Published: (2023)

Data-driven input-to-state stabilization with respect to measurement errors
by: Chen, Hailong, et al.
Published: (2023)

Cycles in Impulsive Goodwin's Oscillators of Arbitrary Order
by: Proskurnikov, Anton V., et al.
Published: (2023)