dionysos-dev/PathCompleteCertificates.jl

Path-complete certificates for switched systems: stability, optimal control and safety on a common graph structure.

语言：Julia · GitHub 星标：17 · Fork：0

在 GitHub 上查看原仓库