Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Frequently Asked Questions
Frequently Asked Questions
Browse
Browse
By Issue Date
By Issue Date
Authors
Authors
Titles
Titles
Subjects
Subjects
Communities & Collections
Communities & Collections
Cause Mining and Controller Synthesis with STL
Date
2019-01-01
Author
Saglam, Irmak
Aydın Göl, Ebru
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
5
views
0
downloads
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications. However, the classes of systems that the formal approaches can be applied to is limited due to the computational complexity. Furthermore, the synthesis problem becomes even harder when non -determinism or stochasticity is considered. In this work, we propose an alternative approach. First, we mark the unwanted events on the traces of the system and generate a controllable cause representing these events as a Signal Temporal Logic (STL) formula. Then, we synthesize a controller to avoid the satisfaction of this formula. Our approach is applicable to any system with finitely many control choices. While we can not guarantee correctness, we show on examples that the proposed approach reduces the number of the unwanted events.
Subject Keywords
Adaptive control
,
Cost accounting
,
System dynamics
,
Trajectory
,
Conferences
,
Cyber-physical systems
URI
https://hdl.handle.net/11511/35030
DOI
https://doi.org/10.1109/cdc40024.2019.9029894
Collections
Department of Computer Engineering, Conference / Seminar