Mining Shape Expressions From Positive Examples

Shape expressions (SEs) is a novel specification language that was recently introduced to express behavioral patterns over real-valued signals observed during the execution of cyber-physical systems. An SE is a regular expression composed of arbitrary parameterized shapes, such as lines, exponential...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on computer-aided design of integrated circuits and systems Vol. 39; no. 11; pp. 3809 - 3820
Main Authors: Bartocci, Ezio, Deshmukh, Jyotirmoy, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan, Qin, Xin
Format: Journal Article
Language:English
Published: New York IEEE 01.11.2020
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
ISSN:0278-0070, 1937-4151
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first