transition systems; discrete-time systems; simulation relations; reachability; control invariant subspaces;
机译:线性离散时间系统的最小H / sub无穷/范数调节及其与线性二次离散博弈的关系
机译:通过模拟关系和行为理论进行正式控制合成离散时间描述符系统
机译:离散时间描述符系统的控制细化:通过仿真关系的行为方法
机译:离散时间线性系统的模拟关系
机译:复杂系统特殊类别(奇摄动,离散时间,线性化,两时标度系统)的灵敏度分析,识别和模型简化技术
机译:具有信道衰落扇区非线性以及随机出现的间隔延迟和非线性的离散时间系统的模糊...公式输出反馈控制
机译:离散时间线性系统的仿真关系
机译:离散非线性系统的动态投入产出线性化