Runtime Enforcement of CPS against Signal Temporal Logic
Cyber-Physical Systems (CPSs), especially those involving autonomy, need guarantees of their safety. Runtime Enforcement (RE) is a lightweight method to formally ensure that some specified properties are satisfied over the executions of the system. Hence, there is recent interest in the RE of CPS. However, existing methods are not designed to tackle specifications suitable for the hybrid dynamics of CPS. With this in mind, we develop runtime enforcement of CPS using properties defined in Signal Temporal Logic (STL).
Authors
- S. Siva Shankar (ORCID: https://orcid.org/0000-0002-1455-4106)
- Naijun Zhan (ORCID: https://orcid.org/0000-0003-3298-3817)
- Srinivas Pinisetty (ORCID: https://orcid.org/0000-0001-7779-8231)
- Partha S. Roop (ORCID: https://orcid.org/0000-0001-9654-5678)
- Han Su (ORCID: https://orcid.org/0000-0003-4260-8340)
Institutions
- University of Auckland (NZ)
- Peking University (CN)
- Institute of Software (CN)
- University of Chinese Academy of Sciences (CN)
- Indian Institute of Technology Bhubaneswar (IN)
Publication Details
- Published
- 2025-05-06
- DOI
- https://doi.org/10.1145/3716863.3718052
- Citations
- 1
- Primary Topic
- Formal Methods in Verification
- Type
- article
- Field-Weighted Citation Impact
- 1.50
Funders
- National Natural Science Foundation of China