On synthesis and verification from event diagrams in a robot theatre application

Marek Perkowski; Aditya Bhutada; Martin Lukac; Mathias Sunardi

doi:10.1109/ISMVL.2013.45

On synthesis and verification from event diagrams in a robot theatre application

Marek Perkowski, Aditya Bhutada, Martin Lukac, Mathias Sunardi

INF - Computer and Mathematical Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

We present a new type of expressions called Event Expressions (EE), and diagrams called Event Diagrams (ED), that are used to describe robot behaviors (motions). These diagrams are very general and include operators from many known representations, such as Regular Expressions, Boolean and Fuzzy Logic plus many new operators. Most importantly, EDs create probability operator counterparts for all these deterministic operators. They can be used for event acceptance or event generation. The diagrams are intended to simulate robot controllers and verify their correctness and properties.

Original language	English
Title of host publication	Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013
Pages	77-83
Number of pages	7
DOIs	https://doi.org/10.1109/ISMVL.2013.45
Publication status	Published - 2013 Aug 1
Event	2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013 - Toyama, Japan Duration: 2013 May 22 → 2013 May 24

Other

Other	2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013
Country/Territory	Japan
City	Toyama
Period	13/5/22 → 13/5/24

Keywords

finite automata
regular expression
robot theater

ASJC Scopus subject areas

Computer Science(all)
Mathematics(all)

Access to Document

10.1109/ISMVL.2013.45

Cite this

Perkowski, M, Bhutada, A, Lukac, M & Sunardi, M 2013, On synthesis and verification from event diagrams in a robot theatre application. in Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013., 6524643, pp. 77-83, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, 13/5/22. https://doi.org/10.1109/ISMVL.2013.45

@inproceedings{6a7d704cd05643778c2a9f7cccd061a2,

title = "On synthesis and verification from event diagrams in a robot theatre application",

abstract = "We present a new type of expressions called Event Expressions (EE), and diagrams called Event Diagrams (ED), that are used to describe robot behaviors (motions). These diagrams are very general and include operators from many known representations, such as Regular Expressions, Boolean and Fuzzy Logic plus many new operators. Most importantly, EDs create probability operator counterparts for all these deterministic operators. They can be used for event acceptance or event generation. The diagrams are intended to simulate robot controllers and verify their correctness and properties.",

keywords = "finite automata, regular expression, robot theater",

author = "Marek Perkowski and Aditya Bhutada and Martin Lukac and Mathias Sunardi",

year = "2013",

month = aug,

day = "1",

doi = "10.1109/ISMVL.2013.45",

language = "English",

isbn = "9780769549767",

pages = "77--83",

booktitle = "Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013",

note = "2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013 ; Conference date: 22-05-2013 Through 24-05-2013",

}

TY - GEN

T1 - On synthesis and verification from event diagrams in a robot theatre application

AU - Perkowski, Marek

AU - Bhutada, Aditya

AU - Lukac, Martin

AU - Sunardi, Mathias

PY - 2013/8/1

Y1 - 2013/8/1

N2 - We present a new type of expressions called Event Expressions (EE), and diagrams called Event Diagrams (ED), that are used to describe robot behaviors (motions). These diagrams are very general and include operators from many known representations, such as Regular Expressions, Boolean and Fuzzy Logic plus many new operators. Most importantly, EDs create probability operator counterparts for all these deterministic operators. They can be used for event acceptance or event generation. The diagrams are intended to simulate robot controllers and verify their correctness and properties.

AB - We present a new type of expressions called Event Expressions (EE), and diagrams called Event Diagrams (ED), that are used to describe robot behaviors (motions). These diagrams are very general and include operators from many known representations, such as Regular Expressions, Boolean and Fuzzy Logic plus many new operators. Most importantly, EDs create probability operator counterparts for all these deterministic operators. They can be used for event acceptance or event generation. The diagrams are intended to simulate robot controllers and verify their correctness and properties.

KW - finite automata

KW - regular expression

KW - robot theater

UR - http://www.scopus.com/inward/record.url?scp=84880720162&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84880720162&partnerID=8YFLogxK

U2 - 10.1109/ISMVL.2013.45

DO - 10.1109/ISMVL.2013.45

M3 - Conference contribution

AN - SCOPUS:84880720162

SN - 9780769549767

SP - 77

EP - 83

BT - Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013

T2 - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013

Y2 - 22 May 2013 through 24 May 2013

ER -

On synthesis and verification from event diagrams in a robot theatre application

Abstract

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this