Zobrazeno 1 - 10
of 443
pro vyhledávání: '"Signal temporal logic"'
Publikováno v:
Tongxin xuebao, Vol 45, Pp 87-100 (2024)
Considering that traditional network security defense methods cannot meet the strict requirements of industrial Internet for reliability and stability, a method for anomaly detection and response in digital space was studied based on the idea of digi
Externí odkaz:
https://doaj.org/article/61f1cb72fb93429c8ebb332363c1e878
Publikováno v:
Kongzhi Yu Xinxi Jishu, Iss 6, Pp 50-55 (2022)
Temporal logic can ensure the accurate description and execution of task specifications by providing a rich specification language. This paper uses relevant robust semantics to consider continuous-time systems under signal temporal logic specificatio
Externí odkaz:
https://doaj.org/article/93b479bf3aa94912a2d2ceab30144c76
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Junya Ikemoto, Toshimitsu Ushio
Publikováno v:
IEEE Access, Vol 10, Pp 114814-114828 (2022)
Deep reinforcement learning (DRL) has attracted much attention as an approach to solve optimal control problems without mathematical models of systems. On the other hand, in general, constraints may be imposed on optimal control problems. In this stu
Externí odkaz:
https://doaj.org/article/a7c0ff9ab1144da5be3d8bb14bdf0db5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ashkan Zehfroosh, Herbert G. Tanner
Publikováno v:
Frontiers in Robotics and AI, Vol 9 (2022)
This paper reports on a new approach to Signal Temporal Logic (STL) control synthesis, that 1) utilizes a navigation function as the basis to construct a Control Barrier Function (CBF), and 2) composes navigation function-based barrier functions usin
Externí odkaz:
https://doaj.org/article/08db10da18224c738661a20f443593db
Publikováno v:
Sensors, Vol 23, Iss 4, p 2166 (2023)
The safety assessment of cyber-physical systems (CPSs) requires tremendous effort, as the complexity of cyber-physical systems is increasing. A well-known approach for the safety assessment of CPSs is fault injection (FI). The goal of fault injection
Externí odkaz:
https://doaj.org/article/ac9df29b23ce4e1697faa2040a64db8c
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.