A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
微分代数动态逻辑的实解析方法
专题命中 其他多模态 ：multi-modal(abstract)
AI总结 本文提出实解析微分代数动态逻辑的证明演算，用于正确转换微分代数方程，实现微分代数方程到常微分方程的降阶，并确保与混合系统中的微分形式动态逻辑兼容。主要贡献是鬼切换，用于将多模系统分解为混合系统，正确混合复杂的微分代数动力学。
Comments To appear in CADE 2025
