search

nickovic / rtamt

Specification-based real-time monitoring library
BSD 3-Clause "New" or "Revised" License
50 stars 20 forks source link

Handling vector signal #13

Open TomyYamy opened 4 years ago

TomyYamy commented 4 years ago

While discussing with Jyo, Theoretically STL can handle vector signal. Maybe it helps robotics space (x,y.theta). However almost of all requirement depends on some of “distance“ which is converted from vector to scalar.

TomyYamy commented 3 years ago

STL semantically does not support vector. MTL needs to handle it.

TomyYamy commented 3 years ago

This is MTL paper. https://reader.elsevier.com/reader/sd/pii/S0304397509004149?token=A22EFAD13929A3A2EF1C1CAD56B8C633D464BE1A4D6DB7311B6FA7EF152378A48444B0FC7322F4DD85677D378A274DA4