There is a newer version of the record available.

Published May 16, 2021 | Version v0.1.6
Software Open

blegat/SetProg.jl: v0.1.6

Authors/Creators

  • 1. ICTEAM, UCL
  • 2. UdelaR

Description

SetProg v0.1.6

Diff since v0.1.5

Merged pull requests:

  • Add discrete-time controlled invariant set (#19) (@blegat)

Files

blegat/SetProg.jl-v0.1.6.zip

Files (130.5 kB)

Name Size Download all
md5:8d40123c7b42c30ae13b93e87ff671d3
130.5 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/blegat/SetProg.jl/tree/v0.1.6 (URL)