Login / Signup
Reachability Analysis of Networked Finite State Machine With Communication Losses: A Switched Perspective.
Zhipeng Zhang
Chengyi Xia
Shengyong Chen
Thomas T. Yang
Zengqiang Chen
Published in:
IEEE J. Sel. Areas Commun. (2020)
Keyphrases
</>
finite state machines
reachability analysis
model checking
timed automata
state machine
markov decision processes
finite state automata
state transition
incremental algorithms
hidden markov models
digital circuits
fault tolerant
cyber physical systems
data model