Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [escet-dev] from Tiziano and Matteo on class experience using ESCET
  • From: Dennis Hendriks <dh_tue@xxxxxxxxxxx>
  • Date: Thu, 18 Aug 2022 09:55:24 +0000
  • Accept-language: nl-NL, en-US
  • Arc-authentication-results: i=1; 1; spf=none; dmarc=none; dkim=none; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed;; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=5Ido782o7urKk7PCM+U+Vfdx95JgMlfDygbU8YcJutE=; b=k+Yfn/UNi5NpXPmQqjQLTucsVK5p8D5zDIMxMmk4OwWhUkhb8309Shx4rK6VXucq39WB7C6kCo7DHzY2GpJeYkdNpCOz5w+v0LSNyUx+Vje1vx3pKZylqCUz09+iueR2tonf6+v4LT9W6IaOmwskWoT0ZVlq7bZ/x9DzS2ME6Cx2C7TcPVAuV0HTny9Ystb3c37e6/c1UnUbt0wY5LC4tMz5uFuIPbE8iYrAvUWMhgWMJ/Kb2iwJSfUvfMQvMHrLp844DR5CY/SUmbq8SwjyBr7aqfHojsNaPbwp6rj3+9P2o2E47zeH9OTnFaYCUHRlHEEbGVVd7lJkC0jfX2Nizw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901;; cv=none; b=kT5X3xSaVwfndRNPt1QhWskVQnG9Xj7pg7dJTiXlANEV4DE7gkT2hwDmNnB0dsSZUZzZHK1YIxejIJ+2cVptu/uUl7mpclp+aVv7L79T543yhZYqKZFSDb+wCEBfvYvtWWywiktjJ8F96VKagUjV8jWdFnqHwrK3/oYcOQu5YaAWzIVZ7OOiKNHx3VrC2wwGhAay5Y9MthpvJlUMayphn0vOCVS6Db0hfD4rGcEC6dpx4Bzq5oGnosohIBMqIU3KZT2rtPUph4UnlgNoxbldFa3WEoyqJZdMB0l+/u5B3QALA9LQDfeTMyH445BygOz/3gdYAUvv2bzPmfdxQft+Hg==
  • Delivered-to: escet-dev@xxxxxxxxxxx
  • List-archive: <>
  • List-help: <>
  • List-subscribe: <>, <>
  • List-unsubscribe: <>, <>
  • Msip_labels:
  • Thread-index: AQHYsueneedPQnzSu0WbAq8+ocz0g620ay22
  • Thread-topic: [escet-dev] from Tiziano and Matteo on class experience using ESCET

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?


Van: escet-dev <escet-dev-bounces@xxxxxxxxxxx> namens Beek, Bert van <D.A.v.Beek@xxxxxx>
Verzonden: donderdag 18 augustus 2022 11:48
Aan: escet developer discussions <escet-dev@xxxxxxxxxxx>
Onderwerp: Re: [escet-dev] from Tiziano and Matteo on class experience using ESCET
Thanks Ferdie!

On 17 Aug 2022, at 13:47, Ferdie Reijnen <ferdie.reijnen@xxxxxxxxx> wrote:

Hi Bert,

I have created two issues for the bugs that were encountered:

Kind regards,

On Wed, 17 Aug 2022 at 12:57, Beek, Bert van <D.A.v.Beek@xxxxxx> wrote:
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. 


Begin forwarded message (sorry about the long links. I think that our Exchange/Outlook server is responsible for that):

From: Tiziano Villa <tiziano.villa@xxxxxxxx>
Subject: from Tiziano and Matteo on class experience using ESCET
Date: 4 August 2022 at 12:44:43 CEST
To: "Beek, Bert van" <D.A.v.Beek@xxxxxx>
Cc: Matteo Zavatteri <matteo.zavatteri@xxxxxxxx>

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:


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

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

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
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
escet-dev mailing list
To change your delivery options, retrieve your password, or unsubscribe from this list, visit

Back to the top