aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.cps
Commit message (Collapse)AuthorAge
* crlf fixLibravatar Aren Babikian2021-01-06
|
* Remove MDEOptimiser dependencyLibravatar Kristóf Marussy2019-10-29
|
* Measurements WIPLibravatar Kristóf Marussy2019-08-14
|
* Clean up CPS and Satellite domainsLibravatar Kristóf Marussy2019-08-01
|
* Bump MDEOptimizer versionLibravatar Kristóf Marussy2019-06-09
| | | | https://github.com/mde-optimiser/mde_optimiser/issues/49
* Simplify satellite metamodel furtherLibravatar Kristóf Marussy2019-06-09
|
* Trying to simplify Satellite case studyLibravatar Kristóf Marussy2019-06-08
|
* MDEOptimiser tuning for CPSLibravatar Kristóf Marussy2019-05-25
|
* MDEOptimiser implementation of CPS benchmarkLibravatar Kristóf Marussy2019-05-22
|
* VIATRA DSE and COIN-OR CBC implementations of CPS case studyLibravatar Kristóf Marussy2019-05-21
|
* Model generator for CPS case studyLibravatar Kristóf Marussy2019-05-17
| | | | Added extra constraint for redundancy in CPS deployments
* Formalize CPS case study for optimizationLibravatar Kristóf Marussy2019-05-15
|
* Satellite constellation case study WIPLibravatar Kristóf Marussy2019-04-15