|
Hi Dennis,
I suppose Tiziano contacted me, because he had a lot of things to report and his primary concerns were educational issues. He is now in touch with Michel Reniers, who is also teaching supervisory control, including data-based synthesis, which
they aim to include next year, also using ESCET. I don’t think reporting the bugs was their main concern. Perhaps you can contact Matteo to inform him on how to report bugs directly to ESCET. My main contact is Tiziano, who I have known a long time. I have
never met Matteo. If you would prefer me to contact Matteo, just let me know.
Bert
Hi Bert,
Do you know if there is any reason why they contacted you, rather than just reporting it directly at the ESCET project? Is the information on how to report issues too difficult to find?
Dennis
Thanks Ferdie!
Hi Bert,
I have created two issues for the bugs that were encountered:
Kind regards,
Ferdie
Hi all,
During my (still ongoing) holidays, I received a message from Tiziano Villa, a Computer Science professor that I know from previous European projects, about his use of ESCET. I think that you will find it interesting. I asked if I could forward
it to the escet developers email list, and he replied that the content is open for all.
At the bottom of the file, you can find a tar.gz file with some of the problems that they ran into while using ESCET in the course. I have not looked into this file myself. If you need more information, feel free to send him or Matteo Zavatteri
an email.
Bert
Begin forwarded message (sorry about the long links. I think that our Exchange/Outlook server is responsible for that):
Subject: from Tiziano and Matteo on class experience using ESCET
Date: 4 August 2022 at 12:44:43 CEST
Dear Bert,
as I had told you this year we introduced ESCET in a new class
"System Design Laboratory" (SDL) that aims to integrate a previous theoretical
class on Discrete Event and Hybrid Systems (DEHS).
Tiziano teaches the theoretical one DEHS.
Tiziano, Matteo Zavatteri and Luca Geretti teach the laboratory class SDL.
Links to the classes are:
DEHS
https://eur02.safelinks.protection.outlook.com/?url="">
SDL
https://eur02.safelinks.protection.outlook.com/?url="">
You are welcome to browse the material and download what you like.
You will find a number of supervisor control problems to be modeled
with ESCET. Any feedback on these examples compared to those that
you use in your classes will be welcome.
Say that we would like to exchange teaching experiences and materials,
to learn from other instructors.
In the class SDL, Matteo has been in charge of the module on
supervisory control, powered by the library ESCET as the tool chosen
for specifying, synthesizing and verifying the plants, requirements and
controllers.
ESCET did an excellent job and both the instructors and students appreciated
a lot the power allowed by the tool to work on practical problems, out
of reach for hand computations.
Therefore we express our gratitude for the work of your team that
designed the tool and graciously made it available to the teaching and
research community.
In the first edition of the class we worked only with event-based synthesis,
leaving out extended finite automata, because I had not covered them
in the previous theoretical class.
As a matter of fact, we are considering to introduce extended finite automata
in the next edition of the theory and lab classes, if we manage to prepare
adequate material.
By the way, what material do you use to teach supervisory control of
extended finite automata ?
We hope to keep active a line of communication with you and your group
to the advantage of both teams.
Best regards,
Tiziano and Matteo
P.S.
In attachment, there is a directory ESCET_bugs.tar.gz with a couple of subdirs in which
we report a couple of problems noticed while using ESCET.
_______________________________________________
escet-dev mailing list
escet-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/escet-dev
_______________________________________________
escet-dev mailing list
escet-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/escet-dev
|
