Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications

被引：1

作者：

Kinugawa, Takuma ^{[1
]}

Ushio, Toshimitsu ^{[1
]}

机构：

[1] Osaka Univ, Grad Sch Engn Sci, Toyonaka 5608531, Japan

来源：

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2022年 / E105D卷 / 10期

关键词：

optimal control; spatio-temporal logic; spatially distributedsystem; SYSTEMS;

D O I：

10.1587/transinf.2021FOP0003

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In spatially distributed systems such as smart buildings and intelligent transportation systems, control of spatio-temporal patterns is an important issue. In this paper, we consider a finite-horizon optimal spatio-temporal pattern control problem where the pattern is specified by a signal spatio-temporal logic formula over finite traces, which will be called an SSTL f formula. We give the syntax and Boolean semantics of SSTL f. Then, we show linear encodings of the temporal and spatial operators used in SSTLf and we convert the problem into a mixed integer programming problem. We illustrate the effectiveness of this proposed approach through an example of a heat system in a room.

引用

页码：1658 / 1664

页数：7

共 50 条

[1] Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications
Lindemann, Lars
Dimarogonas, Dimos, V
[J]. 2020 AMERICAN CONTROL CONFERENCE (ACC), 2020, : 4707 - 4714
[2] Robotic Swarm Control from Spatio-Temporal Specifications
Haghighi, Iman
Sadraddini, Sadra
Belta, Calin
[J]. 2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 5708 - 5713
[3] A Spatio-Temporal Fuzzy Logic System for Process Control
Li, Han-Xiong
Duan, Xiao-Gang
[J]. 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 783 - 788
[4] Spatio-Temporal Prediction of Suspect Location by Spatio-Temporal Semantics
Duan, Lian
Hu, Tao
Zhu, Xinyan
Ye, Xinyue
Wang, Shaohua
[J]. Wuhan Daxue Xuebao (Xinxi Kexue Ban)/Geomatics and Information Science of Wuhan University, 2019, 44 (05): : 765 - 770
[5] Learning Spatio-Temporal Specifications for Dynamical Systems
Alsalehi, Suhail
Aasi, Erfan
Weiss, Ron
Belta, Calin
[J]. LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 168, 2022, 168
[6] UNDERSTANDING THE SPATIO-TEMPORAL PATTERN OF TWEETS
Li, Yue
Shan, Jie
[J]. PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 2013, 79 (09): : 769 - 773
[7] A Proposal of Spatio-Temporal Pattern Queries
Gorawski, Marcin
Jureczek, Pawel
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), 2010, : 587 - 593
[8] Cascading Spatio-Temporal Pattern Discovery
Mohan, Pradeep
Shekhar, Shashi
Shine, James A.
Rogers, James P.
[J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2012, 24 (11) : 1977 - 1992
[9] Pattern formation in semiconductors:: control of spatio-temporal dynamics
Schöll, E
[J]. ANNALEN DER PHYSIK, 2004, 13 (7-8) : 403 - 413
[10] Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems
Vissat, Ludovica Luisa
Loreti, Michele
Nenzi, Laura
Hillston, Jane
Marion, Glenn
[J]. QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2017), 2017, 10503 : 317 - 332

← 1 2 3 4 5 →