[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
[escet-dev] CIF at Virtual Talk Series panel discussion
|
- From: Dennis Hendriks <dh_tue@xxxxxxxxxxx>
- Date: Sat, 30 Apr 2022 08:31:55 +0000
- Accept-language: nl-NL, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; 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=PG49QzYzrD2+20xjISHZecfMJiYmrxvRxIBROfQwlSw=; b=CmjSqfaDBIBwtX3vpZAI3ZEjk+UoyKv++sd6gzn1WuhTtB5U5Ig1xMiv2UXAqNo1t89eXwHNGBLdENhKlhUsesbUh5pMAPTyyjEOLNeozHokkcabxLzUrpicbwKwWSTCbK4W4dXHOC6PReB8cT9rC6eTTJ4bJaqVlwS0C7EzomLEj7RfegB9MkMqmzu0hmIVQim7sWG6Jw6fEH9Cpx4uoIc0KNcdhAtmVOrnwmUFAgjhYBpWZD9UJy3218mjotJjZra10Fh28rrTCsQgAK4zsX4uskch+7zlSBKb4ztwv/rSNKTmiRACb2MTYSxhX+r6CG3DdLi5P8I0iLYwmlZZpA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mv3DpFxGRVp5COJemmoJt/ownF4RQGicJHhxbUQ2+FjKhk8f6FGHwUwU/EjLX4pEmmHlkmnwHjJjEdqfmckelR/bPPM8tiroNMr6yHwnlIBDW30BdQ5lnC8h0tmg4eGZjy7P+MJeS3EXR6KCWaN2GGTHhAz8tsybaJMpR2xbeF/N4PAMm2UfycOzeX+DeVCa0RDZtAX4miNabhz+HhlHfnSXqNBPzUOycBeqA3XhI2CkaQz5ht/iE98nQPSLUcDEkzQ/B/prESF3wIzckHtFcF0XAZiGglqMAO/QCokFQe0tWkQloLBHWlPk38X1608IYQGO6QqBUWfM4CIQ88vFpQ==
- Delivered-to: escet-dev@xxxxxxxxxxx
- List-archive: <https://dev.eclipse.org/mailman/private/escet-dev/>
- List-help: <mailto:escet-dev-request@eclipse.org?subject=help>
- List-subscribe: <https://dev.eclipse.org/mailman/listinfo/escet-dev>, <mailto:escet-dev-request@eclipse.org?subject=subscribe>
- List-unsubscribe: <https://dev.eclipse.org/mailman/options/escet-dev>, <mailto:escet-dev-request@eclipse.org?subject=unsubscribe>
- Msip_labels:
- Thread-index: AQHYXGwLRbCrPhp7xkWA8tAbDW+zkg==
- Thread-topic: CIF at Virtual Talk Series panel discussion
|
Hi all,
On April 21, I presented CIF in
the
Virtual Talk Series, which focuses on Discrete Event Systems (DES). This time it was organized by Kai Cai of Osaka City University and Michel Reniers of TU/e, with as topic DES tools. In total six tools and libraries were presented (besides CIF also Supremica,
UltaDES, DESLab, TCT, and MDESops), which share many similarities, such as allowing modeling based on state machines, and supporting supervisory controller synthesis. Following the six short presentations, there was a lively panel discussion,
on topics such as research challenges, industrial adoption, and potential collaborations. Over 50 people were in attendance.
I've attached the slides that I presented.
Regards,
Dennis
|
Attachment:
Virtual Talk Series - DES Tools - CIF.pdf
Description: Virtual Talk Series - DES Tools - CIF.pdf
