Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [escet-dev] How to test 3D digital twins?
  • From: "Beek, Bert van" <D.A.v.Beek@xxxxxx>
  • Date: Tue, 6 Jul 2021 16:54:00 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=tue.nl; dmarc=pass action=none header.from=tue.nl; dkim=pass header.d=tue.nl; 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-SenderADCheck; bh=nnGpnx6H9vBVN6aZV4TWx+fL/2RmI5lQ3ShT5qI4jC8=; b=USE9bh7BmV5vW8e3t63Tg9PBzc+xN+K3Iix2gCrNYIFePdYQtTqpMF3+eoJ6U+LfpytRBMy1wa79QpX/UFX1dIz9w0PdOoMnlFtQUCx8CYhjjSqPAsXn3H+ahoo6s8V1NQU4FaO8QP060hGVbCvxGH8xi5MgNAMS16eZBfk6mAh94NVitCOJ4E6bdSJqjErIUTtYlbSNGwMBTYqM9yMqngEscV1IaGer0OUu3zgcEBbCzkiiq5ATFIfeCbAgoA/iSODLorWPsfMc5jDQGCAzcXLKXnATBxFgD6rFHXiIPf/7JbrpfAK41jyHLhKNd0ATINv50pZAoivevqpZOITdOQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mA8S7KYxJBjL15uy3cx7me4FOd3Xvy7auVkt3xyr0unqXEerR3HQoS+AbuSPtMixFnMVtjPK4O63LqpovdBNrxICl9eYJORSBHX69NOP1JnuRc4LQHPQPnJnDv5lINAJGvoFfLA16S8i7Ee7CFyvt3bUvhs0JkIKMOJymL8mI+0I+Mhfa+c164L/Hdc4A//tCQwBQhyLbtgzo+RIOmTrI3//dPbYhgWu876JE4Tvm7jzE+em5HNkQbfs3NfwEjzbkns4lsT2ADtN4owrhp+4cOJi3t2cperNIhElBVyMTXiMCSrEiO6uLy/BRl1UgnJIMUwLtizFBMWfC8sEFn/x5w==
  • 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>
  • Thread-index: AQHXcXus0oQNYmquKkmc6Z7GXbnz86s0jW8AgAGeogA=
  • Thread-topic: [escet-dev] How to test 3D digital twins?

Hi Dennis,

The goal of this exercise is to find errors in the digital twins. Last year, due to the Corona restrictions, testing was optional. There was only a single group who tested on the festo workstations. Their controller worked without errors on the digital twin, but it did not work on the Festo workstation. The reason for this was that the actuator setting to immediately stop the sliding manipulator was true/true (pressure on both sides), whereas in the digital twin, the actuator setting for this was false/false. False/false (absence of pressure) on the Festo workstation caused the sliding manipulator to slowly stop => stopping at an incorrect location.

“Behave in the same way” means that a controller that works correctly on the twin should work correctly on the Festo system, and that a controller that shows erroneous behavior on the Festo workstation should show the same erroneous behavior on the twin.

Ideally, we would like to consider the full state space, but obviously that is impossible. The controller is hybrid (timed) so has infinite state space.

In principle we only look at the observable behavior at the festo workstation and at the twin (it a product picked up properly and release at the required target location), but we could probably generate certain graphs of behavior in TwinCAT.

  • Is full automation a requirement?
I don’t understand this question.

Bert

On 5 Jul 2021, at 18:09, Dennis Hendriks <dh_tue@xxxxxxxxxxx> wrote:

Hi Bert,

Some random questions that immediately pop into my mind:
  • What is the goal of this exercise? What do you hope to gain?
  • What does 'behave in the same way' mean for you?
  • Do you consider the full state space of behavior, or only a finite set of scenarios?
  • Do you consider the protocol only (order of events), or also timing?
  • Is full automation a requirement?
Dennis


Van: escet-dev <escet-dev-bounces@xxxxxxxxxxx> namens Beek, Bert van <D.A.v.Beek@xxxxxx>
Verzonden: maandag 5 juli 2021 10:56
Aan: escet developer discussions <escet-dev@xxxxxxxxxxx>
Onderwerp: [escet-dev] How to test 3D digital twins?
 
How would you test the functionality of digital twins for the Festo workstations as shown in https://cstweb.wtb.tue.nl/4tc00/festo/digital_twin/index.html?

A teacher assistant aims to test all CIF controllers submitted last year as final assignment for the course 4TC00 on the digital twin and on the Festo workstation to see if they behave in the same way.

I could also imagine that we write some small controllers that test specific functionality of specific sensor actuator relations/behavior.

Any thoughts or tips?

Thanks in advance
Bert
_______________________________________________
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


Back to the top