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.