Dionysos

Popular repositories Loading

1. Dionysos.jl Dionysos.jl Public

   Julia 50 21

2. PathCompleteCertificates.jl PathCompleteCertificates.jl Public

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

   Julia 17

3. LabVIEW0.jl LabVIEW0.jl Public

   Call Julia functions from LabVIEW using ZMQ

   LabVIEW 7

4. ControllerIO.jl ControllerIO.jl Public

   A lightweight utility module for exporting and reloading concrete controllers computed with Dionysos.jl, without requiring the full Dionysos.jl library at runtime.

   Julia 3

5. LVServer.jl LVServer.jl Public

   Auxillary package for Julia-LabVIEW (TM) binding over ZMQ

   Julia 2 1

6. BDDUtils.jl BDDUtils.jl Public

   Julia 1