ILEUM
发表于 2025-3-28 15:41:44
http://reply.papertrans.cn/32/3158/315779/315779_41.png
LATER
发表于 2025-3-28 22:03:50
State Estimation,nt system (DES). These tasks include fault diagnosis and event inference, which are directly related to state estimation, as well as supervisory control and optimization/scheduling problems, which are indirectly related to state estimation. This chapter discusses state estimation in DES that are mod
说不出
发表于 2025-3-29 02:32:38
Verification of State Isolation Properties,tial) based on a streaming sequence of observations that is generated by the activity in the underlying finite automaton. In particular, given a subset of states ., we say that the (current, delayed, or initial) state of the system has been “isolated within .” if, following a sequence of observation
传授知识
发表于 2025-3-29 04:56:58
Detectability,rministic finite automaton with outputs, will almost always allow an external observer to pinpoint the (current) state of the system. More specifically, the most basic formulation, called strong detectability, requires that, regardless of the actual activity that may occur in the system, the externa
压倒性胜利
发表于 2025-3-29 08:03:37
Diagnosability,earch community. The typical set up in this line of work is to assume that the system is described by a (deterministic or nondeterministic) finite automaton that is known precisely; however, the initial state of the system may only be partially known and the activity that is taking place may only be
即席
发表于 2025-3-29 12:16:03
Opacity,stems) has prompted increased attention on various aspects of privacy and security. This chapter considers systems that can be modeled as deterministic finite automata with outputs (and possibly silent transitions) and labeled nondeterministic finite automata, and discusses notions of opacity, which
Injunction
发表于 2025-3-29 19:13:26
Decentralized State Estimation,ight be observed by multiple observation sites with distinct observation capabilities. We focus on the case of a single (monolithic) system that is modeled as a labeled nondeterministic finite automaton and assume that each observation site has its own natural projection observation mapping (i.e., e