????w?ACPS???R?X?g?Ő??䂷??AI?Z?p???J???F??????????ʂ??]????24????1??

???G?ȃ^?X?N???x?N?g???ɕϊ??A?ȃ??????Ŋw?K?”\??

?@????w??w?@?H?w?????Ȃ̋??{?q??w?@???i???m????ے??j?Ƌ??{?a?@?????A????d????????̌????O???[?v??2022?N3???A?T?C?o?[?t?B?W?J???V?X?e???iCPS?j?ɂ????āA???G?ȃ^?X?N?????s???邽?߂̐???@?\???A??R?X?g?Ŋw?K????l?H?m?\?iAI?j?Z?p???J???????Ɣ??\?????B?????^?]?Ԃ?h???[???A?????^?ړ????{?b?g?Ȃǂւ̉??p?????҂????B

?@?????^?]?ԂȂǂł́A?u?O???̎ԂɒǏ]????v?ȂǁA?^????ꂽ?^?X?N????ɁA?????Ԃ????S?ɑ??s?ł???悤?A???A???^?C???ɐ??䂷??@?\???K?v?ƂȂ?B?u?R???g???[???v?ƌĂ΂?邱?̋@?\???AAI?Ŋw?K???邽?߂̌??????s???Ă???B?Ƃ??낪?A?????^?]?Ȃǂɂ?????^?X?N???͖c??ƂȂ?A????郁?????e?ʂ?????????B???̂??߁A????܂ł̎?@?????p??????ɂ̓R?X?g?ʂ??ۑ?ɂȂ??Ă????B

?@?????O???[?v?́A?????Ԃ?h???[???A???{?b?g?Ȃǂ̃V?X?e?????R???s???[?^?ŊǗ??????䂷?邽?߂̃R???g???[???ɂ‚??āA????I???ȃ??????Ŋw?K?”\?Ȏ?@???Ă??Ă????B????́A???G?ȃ^?X?N?d?l??M???????_???iSTL?FSignal Temporal Logic?j?ŋL?q???A???????x?N?g???ɕϊ?????Z?p?iSTL2vec?j?ł???BSTL??p???邱?ƂŁACPS?ɂ????镝?L???^?X?N???`???I?ɋL?q???邱?Ƃ??”\?ɂȂ?Ƃ????B

STL?ɂ?鐧??d?l?̗?m?N???b?N?Ŋg??n ?o???F????w

?@???ɍ???́ASTL?ŋL?q?????^?X?N?????s???邽?߂̃R???g???[???ɂ‚??āA?j???[?????l?b?g???[?N?i?w?K???f???j??p???Ċw?K?????邱?ƂƂ????B??̓I?ɂ́ASTL?^?X?N???x?N?g???ɕϊ????邽?߂́uSTL2vec?v?ƌĂԃj???[?????l?b?g???[?N???\?z?B?????āA?ϊ????ꂽ?x?N?g?????Z???T?[???瓾?????ƂƂ??ɁA?j???[?????l?b?g???[?N?ɓ??͂??邱?ƂŐ?????͂𐶐?????A?Ƃ?????@?ł???B

?@?]?????ƃ^?X?N?̐??????w?K???f????p?ӂ???K?v?????????B????ɑ΂???Ă?????@??p????΁ASTL2vec?ƃR???g???[???p?̃j???[?????l?b?g???[?N?݂̂??w?K????΍ςނ??ƂɂȂ?B

??Ă?????@?Ə]???@?̔?r?m?N???b?N?Ŋg??n ?o???F????w

?@STL2vec?ŏo?͂???鐧??d?l?̃x?N?g???\???́A?^?X?N???m?̗ގ??x?𑨂???悤?Ɋw?K?????B???̂??߁A?P???Ɋe?^?X?N?ɔC?ӂ̐??????????蓖?ĂāA?R???g???[???ւ̓??͂Ƃ??ėp????ꍇ?ɔ?ׁA?w?K?????????P?ł??錩?ʂ????B

?@?????^?ړ????{?b?g?̐????z?肵???????ł́A??200??ނ?STL?^?X?N????x?Ɋw?K????V?~?????[?V???????s???A??????????ʂ??]????24????1?ɍ팸?ł????B???̌??ʁA?????^?X?N?ɑΉ??ł???R???g???[???̊w?K???A??R?X?g?Ŏ??????邱?Ƃ??”\?ƂȂ?B