On Optimal Design of Highly Dependable Hybrid Dynamical Systems

高可靠混合动力系统的优化设计

• 批准号: 17560386
• 负责人: HIRAISHI Kunihiko
• 金额: $ 2.42万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17560386/
• 关键词: Hybrid Systems; Ontimal Control; Formal Verification; 形式手法; 性能評価

On the design of highly dependable hybrid dynamical systems (EDS), we aim to incorporate various techniques on formal approaches with problems on optimal control, and have obtained the following results.(1) We have developed a computer tool, called KCLP-HS, as a basis of dealing with various kinds of computations on HDS. KCLP-HS is equipped with linear and quadratic solver, manipulation of convex polyhedra, and interval arithmetic.(2) We have applied quantifier elimination, which is a symbolic computation technique to remove quantifiers from first-order formula, to solving optimal control problem for piecewise affine systems. We have verified effectiveness of the approach through computer experiments.(3) As a framework for dealing with logical constraints, given by temporal logic formula, in model predictive control of HDS, we have proposed notion of bounded bisimilation. We have also developed a pre-computation method for obtaining approximated solutions.(4) We have proposed a new representation of logical dynamics in MLD system. We have verified advantages of the proposed representation against the previous one through computer experiments.(5) We have applied the above results on HDS to the fluidification technique, a technique for approximating discrete state transition by continuous flows. We have developed a scalable method to evaluate performance of large information systems.

在高可靠混合动力系统（EDS）的设计中，我们的目标是结合形式化方法中的各种技术来解决最优控制问题，并取得了以下成果：（1）我们开发了一种计算机工具，称为KCLP-HS，作为处理HDS上各种计算的基础。 KCLP-HS配备了线性和二次求解器、凸多面体操作和区间运算。(2)我们应用量词消除（一种从一阶公式中删除量词的符号计算技术）来解决分段仿射系统的最优控制问题。我们通过计算机实验验证了该方法的有效性。(3)作为处理由时序逻辑公式给出的逻辑约束的框架，在HDS的模型预测控制中，我们提出了有界互相似的概念。我们还开发了一种用于获得近似解的预计算方法。(4)我们提出了MLD系统中逻辑动力学的新表示。我们通过计算机实验验证了所提出的表示相对于先前表示的优点。(5)我们将上述HDS结果应用到流化技术中，这是一种通过连续流近似离散状态转换的技术。我们开发了一种可扩展的方法来评估大型信息系统的性能。

项目成果

Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction

基于约束满足的混合系统设计计算工具

• 发表时间: 2005
• 期刊: Proc. IEICE 18th Karuizawa Workshop
• 作者: Kunihiko;Hiraishi;Sunseong;Choe
• 通讯作者: Choe

Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions

使用离散集和概率分布的流体流近似来评估工作流的性能

• 发表时间: 2007
• 期刊: Proc. IEEE IECON'07
• 作者: N.L.Kamiji;A.Ishihara;K.Yamaji;S.Usui;平石 邦彦
• 通讯作者: 平石 邦彦

Performance, Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions

使用离散集和概率分布的流体流动近似来评估工作流程的性能

• 发表时间: 2007
• 期刊: Proc. IEEE IECON'07
• 作者: Kunihiko;Hiraishi
• 通讯作者: Hiraishi

A Rapid Prototyping Tool for Implementing Algorithms on Hybrid Systems

用于在混合系统上实施算法的快速原型设计工具

• 发表时间: 2006
• 期刊: JIAST Research Report IS-RR-2006-012
• 作者: Kunihiko;Hiraishi;KCLP-HS
• 通讯作者: KCLP-HS

形式的手法の新展開-離散と連続の融合

形式化方法的新进展——离散与连续的融合

• 发表时间: 2007
• 作者: Sunseong Choe;Kunihiko Hiraishi;平石 邦彦
• 通讯作者: 平石 邦彦