| Presentation | 2023-07-07 Notion of Current-State Opacity and Its Verification for Discrete-Time Piecewise Linear Systems Taiga Matsumae, Koichi Kobayashi, Yuh Yamashita, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Opacity is one of the security concepts against cyber-attacks, and is frequently formulated for discrete event systems (finite automata). In this paper, for discrete-time piecewise linear (DT-PWL) systems, the notion of opacity and its verification method are proposed. First, opacity for DT-PWL systems is defined. A necessary and sufficient condition for the DT-PWL system to be opaque is derived. Next, a verification method is proposed. Finally, a numerical example is presented. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | cyber-physical systems / discrete-time piecewise linear systems / opacity |
| Paper # | CAS2023-17,VLD2023-17,SIP2023-33,MSS2023-17 |
| Date of Issue | 2023-06-29 (CAS, VLD, SIP, MSS) |
| Conference Information | |
| Committee | MSS / CAS / SIP / VLD |
|---|---|
| Conference Date | 2023/7/6(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Shingo Yamaguchi(Yamaguchi Univ.) / Yasutoshi Aibara(OmniVision) / Takayuki Nakachi(Ryukyu Univ.) / Shigetoshi Nakatake(Univ. of Kitakyushu) |
| Vice Chair | Toshiyuki Miyamoto(Osaka Inst. of Tech.) / Norihiko Shinomiya(Soka Univ.) / Koichi Ichige(Yokohama National Univ.) / Kiyoshi Nishikawa(okyo Metropolitan Univ.) / Yuichi Sakurai(Hitachi) |
| Secretary | Toshiyuki Miyamoto(Osaka Univ.) / Norihiko Shinomiya(NEC) / Koichi Ichige(Soka Univ.) / Kiyoshi Nishikawa(Renesas Electronics) / Yuichi Sakurai(Chiba Univ.) |
| Assistant | Masato Shirai(Shimane Univ.) / Nao Ito(NIT, Toyama college) / Motoi Yamaguchi(TECHNOPRO) / Shinji Shimoda(Sony Semiconductor Solutions) / Shunsuke Koshita(Hachinohe Inst. of Tech.) / Taichi Yoshida(UEC) / Sayaka Shiota(Tokyo Metropolitan Univ.) / Takuma Nishimoto(Hitachi) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its Applications / Technical Committee on Circuits and Systems / Technical Committee on Signal Processing / Technical Committee on VLSI Design Technologies |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Notion of Current-State Opacity and Its Verification for Discrete-Time Piecewise Linear Systems |
| Sub Title (in English) | |
| Keyword(1) | cyber-physical systems |
| Keyword(2) | discrete-time piecewise linear systems |
| Keyword(3) | opacity |
| 1st Author's Name | Taiga Matsumae |
| 1st Author's Affiliation | Hokkaido University(Hokkaido Univ.) |
| 2nd Author's Name | Koichi Kobayashi |
| 2nd Author's Affiliation | Hokkaido University(Hokkaido Univ.) |
| 3rd Author's Name | Yuh Yamashita |
| 3rd Author's Affiliation | Hokkaido University(Hokkaido Univ.) |
| Date | 2023-07-07 |
| Paper # | CAS2023-17,VLD2023-17,SIP2023-33,MSS2023-17 |
| Volume (vol) | vol.123 |
| Number (no) | CAS-97,VLD-98,SIP-99,MSS-100 |
| Page | pp.pp.84-87(CAS), pp.84-87(VLD), pp.84-87(SIP), pp.84-87(MSS), |
| #Pages | 4 |
| Date of Issue | 2023-06-29 (CAS, VLD, SIP, MSS) |