共 39 条
[1]
[Anonymous], 1995, H OPTIMAL CONTROL RE
[2]
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,
2013, 43 (03)
:488-503
[6]
Stochastic game in remote estimation under DoS attacks
[J].
IEEE Control Systems Letters,
2017, 1 (01)
:146-151