Dionysos.jl: a Modular Platform for Smart Symbolic Control
Julien Calbert, Adrien Banse, Beno\^it Legat, Rapha\"el M. Jungers

TL;DR
Dionysos.jl is a modular software platform that advances symbolic control methods for complex dynamical systems by enabling smarter state-space abstractions to improve scalability and practicality.
Contribution
The paper introduces Dionysos.jl, a new modular platform that enhances symbolic control techniques with innovative abstraction methods for better scalability.
Findings
Enables construction of smarter, non-trivial state-space partitions.
Improves scalability of symbolic control techniques.
Provides a flexible platform for optimal control of complex systems.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Simulation Techniques and Applications
MethodsNetwork On Network
