ST-DEVS: A Methodology Using Time-Dependent-Variable-Based Spatiotemporal Computation
Various real systems are being replicated in cyberspace to solve complex and difficult problems, as exemplified by the digital twin. Once such a software system is implemented, an effective computational method should be applied to the system so that the corresponding real system, connected by netwo...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2022-04-01
|
| Series: | Symmetry |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2073-8994/14/5/912 |
| _version_ | 1797495212186009600 |
|---|---|
| author | Taeho Cho |
| author_facet | Taeho Cho |
| author_sort | Taeho Cho |
| collection | DOAJ |
| description | Various real systems are being replicated in cyberspace to solve complex and difficult problems, as exemplified by the digital twin. Once such a software system is implemented, an effective computational method should be applied to the system so that the corresponding real system, connected by networks or sensors, can be indirectly controlled. Considering that all behaviors in real systems occur in space−time, the behavior-related computation in the corresponding software system should adopt both time and space as essential elements to ensure a valid representation of the real system and to effectively perform subsequent computations. Therefore, applying a spatiotemporal computation consisting of time-dependent variables and temporal statements that use such variables is a natural approach to solving problems encountered in the target real system. In this study, the ST-DEVS (spatiotemporal computation DEVS) formalism is proposed to define time-dependent variables and an execution algorithm on temporal logic statements whose arguments are the time-dependent variables; the ST-DEVS is an extension of the discrete event system specification (DEVS). To control real systems with a certain level of autonomy, at least two basic capabilities must be ensured: monitoring and action execution. In this study, action-type temporal logic with time-dependent variables and an action execution algorithm are proposed to illustrate the effectiveness of the spatiotemporal computation process. The previously defined monitoring capability is integrated into ST-DEVS so that monitoring and action execution can be processed uniformly. The proposed approach is designed considering the symmetry between the real world and the cyber world, in that both worlds are influenced by time and space. |
| first_indexed | 2024-03-10T01:44:35Z |
| format | Article |
| id | doaj.art-be615afcb7d144e98e50ed1761e584b7 |
| institution | Directory Open Access Journal |
| issn | 2073-8994 |
| language | English |
| last_indexed | 2024-03-10T01:44:35Z |
| publishDate | 2022-04-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Symmetry |
| spelling | doaj.art-be615afcb7d144e98e50ed1761e584b72023-11-23T13:18:11ZengMDPI AGSymmetry2073-89942022-04-0114591210.3390/sym14050912ST-DEVS: A Methodology Using Time-Dependent-Variable-Based Spatiotemporal ComputationTaeho Cho0College of Computing and Informatics, Sungkyunkwan University, Suwon 16419, KoreaVarious real systems are being replicated in cyberspace to solve complex and difficult problems, as exemplified by the digital twin. Once such a software system is implemented, an effective computational method should be applied to the system so that the corresponding real system, connected by networks or sensors, can be indirectly controlled. Considering that all behaviors in real systems occur in space−time, the behavior-related computation in the corresponding software system should adopt both time and space as essential elements to ensure a valid representation of the real system and to effectively perform subsequent computations. Therefore, applying a spatiotemporal computation consisting of time-dependent variables and temporal statements that use such variables is a natural approach to solving problems encountered in the target real system. In this study, the ST-DEVS (spatiotemporal computation DEVS) formalism is proposed to define time-dependent variables and an execution algorithm on temporal logic statements whose arguments are the time-dependent variables; the ST-DEVS is an extension of the discrete event system specification (DEVS). To control real systems with a certain level of autonomy, at least two basic capabilities must be ensured: monitoring and action execution. In this study, action-type temporal logic with time-dependent variables and an action execution algorithm are proposed to illustrate the effectiveness of the spatiotemporal computation process. The previously defined monitoring capability is integrated into ST-DEVS so that monitoring and action execution can be processed uniformly. The proposed approach is designed considering the symmetry between the real world and the cyber world, in that both worlds are influenced by time and space.https://www.mdpi.com/2073-8994/14/5/912ST-DEVSDEVSspatiotemporal computationtime-dependent variablesimulation modeltemporal logic |
| spellingShingle | Taeho Cho ST-DEVS: A Methodology Using Time-Dependent-Variable-Based Spatiotemporal Computation Symmetry ST-DEVS DEVS spatiotemporal computation time-dependent variable simulation model temporal logic |
| title | ST-DEVS: A Methodology Using Time-Dependent-Variable-Based Spatiotemporal Computation |
| title_full | ST-DEVS: A Methodology Using Time-Dependent-Variable-Based Spatiotemporal Computation |
| title_fullStr | ST-DEVS: A Methodology Using Time-Dependent-Variable-Based Spatiotemporal Computation |
| title_full_unstemmed | ST-DEVS: A Methodology Using Time-Dependent-Variable-Based Spatiotemporal Computation |
| title_short | ST-DEVS: A Methodology Using Time-Dependent-Variable-Based Spatiotemporal Computation |
| title_sort | st devs a methodology using time dependent variable based spatiotemporal computation |
| topic | ST-DEVS DEVS spatiotemporal computation time-dependent variable simulation model temporal logic |
| url | https://www.mdpi.com/2073-8994/14/5/912 |
| work_keys_str_mv | AT taehocho stdevsamethodologyusingtimedependentvariablebasedspatiotemporalcomputation |