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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on computer-aided design of integrated circuits and systems Jg. 39; H. 11; S. 3809 - 3820
Hauptverfasser: Bartocci, Ezio, Deshmukh, Jyotirmoy, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan, Qin, Xin
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York IEEE 01.11.2020
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:
ISSN:0278-0070, 1937-4151
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!