Dionysos.jl: a Modular Platform for Smart Symbolic Control
CoRR(2024)
摘要
We introduce Dionysos.jl, a modular package for solving optimal control
problems for complex dynamical systems using state-of-the-art and experimental
techniques from symbolic control, optimization, and learning. More often than
not with Cyber-Physical systems, the only sensible way of developing a
controller is by discretizing the different variables, thus transforming the
control task into a purely combinatorial problem on a finite-state mathematical
object, called an abstraction of this system. Although this approach offers a
safety-critical framework, the available techniques suffer important
scalability issues. In order to render these techniques practical, it is
necessary to construct smarter abstractions that differ from classical
techniques by partitioning the state-space in a non trivial way.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要