代数混杂自动机的近似完备迹等价的若干研究的中期报告

代数混杂自动机的近似完备迹等价的若干研究的中期报告代数混杂自动机（Algebraic Hybrid Automata，AHA）是一类结合了连续与离散状态转移的混杂自动机模型。近年来，AHA 的研究越来