Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Anand, Mahathi"'
Publikováno v:
IEEE 58th Conference on Decision and Control (CDC), 2019, pp. 4373-4378
The paper presents a methodology for temporal logic verification of continuous-time switched stochastic systems. Our goal is to find the lower bound on the probability that a complex temporal property is satisfied over a finite time horizon. The requ
Externí odkaz:
http://arxiv.org/abs/2109.12420
Hyperproperties are system properties that require quantification over multiple execution traces of a system. Hyperproperties can express several specifications of interest for cyber-physical systems--such as opacity, robustness, and noninterference-
Externí odkaz:
http://arxiv.org/abs/2105.05493
This paper is concerned with a compositional scheme for the construction of control barrier certificates for interconnected discrete-time stochastic systems. The main objective is to synthesize switching control policies against $\omega$-regular prop
Externí odkaz:
http://arxiv.org/abs/2103.02226
This paper is concerned with a compositional approach for the construction of control barrier certificates for large-scale interconnected stochastic systems while synthesizing hybrid controllers against high-level logic properties. Our proposed metho
Externí odkaz:
http://arxiv.org/abs/2101.06916
Publikováno v:
In Nonlinear Analysis: Hybrid Systems February 2024 51
Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks
Autor:
Anand, Mahathi, Zamani, Majid
Publikováno v:
In IFAC PapersOnLine 2024 58(11):171-176
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.
Publikováno v:
In IFAC PapersOnLine 2020 53(2):1862-1867
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.