会议论文《基于定性推理仿射混合自动机的矩形精化》发表于第29届中国控制会议，探讨了如何利用定性推理方法对仿射混合自动机进行矩形精化。该研究旨在提高系统模型的精确性和可验证性，为复杂动态系统的分析与控制提供理论支持。通过引入矩形精化技术，论文提出了有效的状态空间缩减方法，增强了混合系统建模的效率和准确性。
文档为pdf格式，0.51MB，总共5页。
举报
