Published March 1, 2024
| Version v1
Software
Open
Software for conference paper "Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis: tool implementation and case studies"
Description
This repository contains the files accompanying the paper "Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis: tool implementation and case studies"
by Martijn Goorden and Michel Reniers, submitted to Conference on Automation Science and Engineering (CASE), 2024.
Instructions are in readme.txt.
Files
eclipse-escet-dev-win32.win32.x86_64.zip
Files
(1.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:01433b9d24972cc08923968ad8c56251
|
4.8 kB | Download |
|
md5:e17f4c64ebb56516ad8fc828cdd8faa9
|
5.5 kB | Download |
|
md5:71175b403d07806a890a89a35e3075c6
|
278.9 MB | Download |
|
md5:cdd6db24581250d299a552a58bbebad6
|
276.4 MB | Download |
|
md5:9631ec880bcc3b2204be0d4bc5c672b1
|
277.4 MB | Download |
|
md5:da23bb4ea4e80b55a0fca29821c61961
|
277.8 MB | Preview Download |
|
md5:3c06704240d959004ea7d1a7538aa4a5
|
3.0 kB | Download |
|
md5:a0b66dcaed94261a3537a940a8879369
|
2.5 kB | Preview Download |