Cover Image

Agile Temporal Discretization for Symbolic Optimal Control

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Janssens, Adrien, Banse, Adrien, Calbert, Julien, Jungers, Raphaël M.
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dionysos.jl: a Modular Platform for Smart Symbolic Control
by: Calbert, Julien, et al.
Published: (2024)

A Path-Complete Approach for Optimal Control of Switched Systems
by: Ninite, Léa, et al.
Published: (2026)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
by: Banse, Adrien, et al.
Published: (2024)

Characterizing simulation relations through control architectures in abstraction-based control
by: Calbert, Julien, et al.
Published: (2024)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
by: Banse, Adrien, et al.
Published: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

LLM-Enhanced Symbolic Control for Safety-Critical Applications
by: Bayat, Amir, et al.
Published: (2025)

Smart abstraction based on iterative cover and non-uniform cells
by: Calbert, Julien, et al.
Published: (2024)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
by: Banse, Adrien, et al.
Published: (2025)

A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning
by: Banse, Adrien, et al.
Published: (2024)

Ordering and refining path-complete Lyapunov functions through composition lifts
by: Jongeneel, Wouter, et al.
Published: (2025)

Memoryless concretization relation
by: Calbert, Julien, et al.
Published: (2024)

Optimal Control of Renewable Energy Communities subject to Network Peak Fees with Model Predictive Control and Reinforcement Learning Algorithms
by: Aittahar, Samy, et al.
Published: (2024)

Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control
by: Della Rossa, Matteo, et al.
Published: (2023)

Enhancing Bistable Vibration Energy Harvesters with Tunable Circuits: A Comparative Analysis
by: Morel, Adrien, et al.
Published: (2024)

Robust Automatic Differentiation of Square-Root Kalman Filters via Gramian Differentials
by: Corenflos, Adrien
Published: (2026)

On the Completeness and Ordering of Path-Complete Barrier Functions
by: Anand, Mahathi, et al.
Published: (2025)

Discrete Mechanics and Optimal Control for Passive Walking with Foot Slippage
by: Simoes, Alexandre Anahory, et al.
Published: (2022)

Discrete Distributionally Robust Optimal Control with Explicitly Constrained Optimization
by: Shida, Yuma, et al.
Published: (2024)

CC-VPSTO: Chance-Constrained Via-Point-Based Stochastic Trajectory Optimisation for Online Robot Motion Planning under Uncertainty
by: Brudermüller, Lara, et al.
Published: (2024)

Unbalanced Optimal Transport and Density Control for Discrete-Time Linear Systems
by: Nakashima, Haruto, et al.
Published: (2026)

Optimal Control for Discrete-Time Systems under Bounded Disturbances
by: Dogadin, Egor, et al.
Published: (2024)

Friction on Demand: A Generative Framework for the Inverse Design of Metainterfaces
by: Mouton, Valentin, et al.
Published: (2025)

Context-triggered Abstraction-based Control Design
by: Nayak, Satya Prakash, et al.
Published: (2023)

A robust mechanical sensorless control strategy for active rectification of small wind turbines
by: Prévost, Adrien, et al.
Published: (2025)

Optimal Output Feedback Learning Control for Discrete-Time Linear Quadratic Regulation
by: Xie, Kedi, et al.
Published: (2025)

Mutual Information Optimal Control of Discrete-Time Linear Systems
by: Enami, Shoju, et al.
Published: (2025)

Optimal Pinning Control for Synchronization over Temporal Networks
by: S, Aandrew Baggio, et al.
Published: (2024)

Optimal Control-Based Falsification of Learnt Dynamics via Neural ODEs and Symbolic Regression
by: Kötz, Lasse, et al.
Published: (2026)

Model Predictive Static Programming for Discrete-Time Optimal Control on Lie Groups
by: Krishna, Akhil B, et al.
Published: (2026)

Extended Kalman Filtering for Recursive Online Discrete-Time Inverse Optimal Control
by: Zhao, Tian, et al.
Published: (2024)

Optimal Planning and Control under Signal Temporal Logic Specifications
by: Pan, Zuodong, et al.
Published: (2026)

Learning Robust Agile Flight Control with Stability Guarantees
by: Pries, Lukas, et al.
Published: (2025)

Loss of Control Prevention of an Agile Aircraft: Dynamic Command Saturation Approach
by: Altunkaya, Ege Ç., et al.
Published: (2024)

Optimal Dynamic Control of Bounded Jacobian Discrete-Time Systems via Interval Observers
by: Khajenejad, Mohammad
Published: (2025)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2026)

On Tikhonov Regularization for Direct and Indirect Data-Driven LQR Control
by: Zhang, Shuyuan, et al.
Published: (2026)

Highly Efficient Optimal Control for Lyophilization via Simulation of Discrete/Continuous Mixed-index Differential-algebraic Equations
by: Srisuma, Prakitr, et al.
Published: (2025)

Optimal Feedback Stabilizing Control of Bounded Jacobian Discrete-Time Systems via Interval Observers
by: Khajenejad, Mohammad
Published: (2024)

AI-driven, Model-Free Current Control: A Deep Symbolic Approach for Optimal Induction Machine Performance
by: Usama, Muhammad, et al.
Published: (2024)