On Synthesis and Verification from Event Diagrams in a Robot Theatre Application
説明
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.
収録刊行物
-
- 2013 IEEE 43rd International Symposium on Multiple-Valued Logic
-
2013 IEEE 43rd International Symposium on Multiple-Valued Logic 77-83, 2013-05-01
IEEE