Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Zhong, Bingzhuo"'
Diagnosability is a system theoretical property characterizing whether fault occurrences in a system can always be detected within a finite time. In this paper, we investigate the verification of diagnosability for cyber-physical systems with continu
Externí odkaz:
http://arxiv.org/abs/2408.06982
We compute probabilistic controlled invariant sets for nonlinear systems using Gaussian process state space models, which are data-driven models that account for unmodeled and unknown nonlinear dynamics. We investigate the relationship between robust
Externí odkaz:
http://arxiv.org/abs/2407.11256
In this paper, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on studying a specific security property called opacity, which characteri
Externí odkaz:
http://arxiv.org/abs/2307.02564
In this paper, we provide a direct data-driven approach to synthesize safety controllers for unknown linear systems affected by unknown-but-bounded disturbances, in which identifying the unknown model is not required. First, we propose a notion of $\
Externí odkaz:
http://arxiv.org/abs/2206.00354
In this paper, we propose a construction scheme for a Safe-visor architecture for sandboxing unverified controllers, e.g., artificial intelligence-based (a.k.a. AI-based) controllers, in two-players non-cooperative stochastic games. Concretely, we le
Externí odkaz:
http://arxiv.org/abs/2203.14924
In this paper, we present how to synthesize controllers to enforce $\omega$-regular properties over linear control systems affected by bounded disturbances. In particular, these controllers are synthesized based on so-called hybrid controlled invaria
Externí odkaz:
http://arxiv.org/abs/2111.08734
Publikováno v:
In International Conference on Formal Modeling and Analysis of Timed Systems, pp. 247-264. Springer, Cham, 2019
Current cyber-physical systems (CPS) are expected to accomplish complex tasks. To achieve this goal, high performance, but unverified controllers (e.g. deep neural network, black-box controllers from third parties) are applied, which makes it very ch
Externí odkaz:
http://arxiv.org/abs/2109.11264
In this work, we propose an abstraction and refinement methodology for the controller synthesis of discrete-time stochastic systems to enforce complex logical properties expressed by deterministic finite automata (a.k.a. DFA). Our proposed scheme is
Externí odkaz:
http://arxiv.org/abs/2104.11803
High performance but unverified controllers, e.g., artificial intelligence-based (a.k.a. AI-based) controllers, are widely employed in cyber-physical systems (CPSs) to accomplish complex control missions. However, guaranteeing the safety and reliabil
Externí odkaz:
http://arxiv.org/abs/2102.05490
Publikováno v:
In IFAC PapersOnLine 2024 58(11):81-86
