Stochastic safety analysis and synthesis of a class of human-in-the-loop systems via reachable set computation

DOI10.1016/j.nahs.2024.101526MaRDI QIDQ6643183

Huai-Ning Wu, Yangfan Liu

Publication date: 26 November 2024

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

zbMATH Keywords

hidden semi-Markov modelreachable set computationhuman-in-the-loop systemsafety analysis and synthesis

Mathematics Subject Classification ID

Markov processes: estimation; hidden Markov models (62M05) Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03)

This page was built for publication: Stochastic safety analysis and synthesis of a class of human-in-the-loop systems via reachable set computation