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

Marek Perkowski, Aditya Bhutada, Martin Lukac, Mathias Sunardi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (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 languageEnglish
Title of host publicationProceedings of The International Symposium on Multiple-Valued Logic
Pages77-83
Number of pages7
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013 - Toyama, Japan
Duration: May 22 2013May 24 2013

Other

Other2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013
CountryJapan
CityToyama
Period5/22/135/24/13

Fingerprint

Theaters
Mathematical operators
Diagram
Robot
Robots
Synthesis
Operator
Fuzzy logic
Regular Expressions
Fuzzy Logic
Correctness
Controllers
Verify
Controller
Motion

Keywords

  • finite automata
  • regular expression
  • robot theater

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

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 of The International Symposium on Multiple-Valued Logic (pp. 77-83). [6524643] https://doi.org/10.1109/ISMVL.2013.45

On synthesis and verification from event diagrams in a robot theatre application. / Perkowski, Marek; Bhutada, Aditya; Lukac, Martin; Sunardi, Mathias.

Proceedings of The International Symposium on Multiple-Valued Logic. 2013. p. 77-83 6524643.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Perkowski, M, Bhutada, A, Lukac, M & Sunardi, M 2013, On synthesis and verification from event diagrams in a robot theatre application. in Proceedings of The International Symposium on Multiple-Valued Logic., 6524643, pp. 77-83, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, 5/22/13. https://doi.org/10.1109/ISMVL.2013.45
Perkowski M, Bhutada A, Lukac M, Sunardi M. On synthesis and verification from event diagrams in a robot theatre application. In Proceedings of The International Symposium on Multiple-Valued Logic. 2013. p. 77-83. 6524643 https://doi.org/10.1109/ISMVL.2013.45
Perkowski, Marek ; Bhutada, Aditya ; Lukac, Martin ; Sunardi, Mathias. / On synthesis and verification from event diagrams in a robot theatre application. Proceedings of The International Symposium on Multiple-Valued Logic. 2013. pp. 77-83
@inproceedings{a673d1e1d2de465b9600700d6c869e40,
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",
doi = "10.1109/ISMVL.2013.45",
language = "English",
isbn = "9780769549767",
pages = "77--83",
booktitle = "Proceedings of The International Symposium on Multiple-Valued Logic",

}

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

Y1 - 2013

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 of The International Symposium on Multiple-Valued Logic

ER -