...
机译:混合系统监督控制的行为抽象改进
Kyungpook Natl Univ Sch Elect Engn 80 Daehakro Daegu 41566 South Korea;
Friedrich Alexander Univ Erlangen Nurnberg Lehrstuhl Regelungstech D-91058 Erlangen Germany;
Tech Univ Berlin Fachgebiet Regelungssyst D-10587 Berlin Germany;
Hybrid systems; Behavioural abstractions; l-complete approximations; Local refinement; Supervisory control;
机译:混合系统监督控制的行为抽象改进
机译:基于模型抽象和指导搜索的混合系统监督控制
机译:
机译:基于抽象改进的混合系统超级控制器合成
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:利用抽提精炼合成混合体系的监控系统
机译:假设 - 保证抽象细化符合混合系统。