Manual operation; Models; Operators(Personnel); Adaptive control systems; Performance(Human); Theory; Control; Behavior;
机译:基于自适应巡航控制的人类驾驶行为分析与建模
机译:通过模拟关系和行为理论进行正式控制合成离散时间描述符系统
机译:用于验证由定时过渡图建模的实时离散事件控制需求的正式透明框架
机译:人类行为的信息监督控制—实验和形式建模
机译:使用任务分析行为建模,错误的人类行为生成和形式化方法来评估人类自动化交互在系统故障中的作用。
机译:自适应行为干预下顺序决策策略的混合模型预测控制
机译:验证分散自适应系统的随机行为:a 基于形式化建模和仿真的方法