| ... | ... | @@ -9,6 +9,6 @@ You can find a detailed thesis on the development of the tool [here](https://www |
|
|
|
HYPEG has recently been extended to support non-linear continuous behavior via state space discretization (version 2.0).
|
|
|
|
Non-linear ordinary differential equations are supported on the dynamicapprox branch.
|
|
|
|
|
|
|
|
Finding optimal schedulers in nondeterministic models is supported on the schedulingML branch, for more information visit the [scheduling section](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/scheduling)
|
|
|
|
Finding optimal schedulers in nondeterministic models is supported on the schedulingML branch, for more information visit the [scheduling section](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/scheduling).
|
|
|
|
|
|
|
|
[Start here to learn more](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/getting-started) |
|
|
\ No newline at end of file |
