Dionysos.jl：用于智能符号控制的模块化平台
系统与控制
2025-02-14 v2 系统与控制
摘要
我们介绍 Dionysos.jl，这是一个用于求解复杂动力系统最优控制问题的模块化软件包，运用了来自符号控制、优化和学习的最新技术。对于许多嵌入式-物理系统而言，开发控制器的唯一合理方式是对不同变量进行离散化，从而将控制任务转化为在有限状态数学对象（称为该系统的抽象）上的纯组合问题。尽管这种方法提供了安全关键框架，但现有技术存在显著的可扩展性问题。为了使这些技术实用，必要的是构建与经典技术不同的更智能的抽象，其状态空间以非平凡方式进行分区。
引用
@article{arxiv.2404.14114,
title = {Dionysos.jl: a Modular Platform for Smart Symbolic Control},
author = {Julien Calbert and Adrien Banse and Benoît Legat and Raphaël M. Jungers},
journal= {arXiv preprint arXiv:2404.14114},
year = {2025}
}
备注
Published in the JuliaCon Proceedings