混合动力系统
SpaceEx错误查找器。 我们已经开发了一个针对解决伪造问题进行调整的SpaceEx版本,也就是说,我们的主要目标是尽快找到通往坏状态的途径。 为此,我们引入了两种启发式方法,在探索所考虑的混合系统的状态空间时优先考虑符号后继: 基于盒子的启发式 和 PDB启发式 . SpaceEx中的组合推理。 我们研究了组合方法在混合系统中的应用。 我们实现了SpaceEx的一个版本,其中包含假设保证抽象细化模式(AGAR)。 基准套件。 我们为储罐网络的分层控制器提供了一个参数化基准生成器。 SpaceEx-Simulink平移。 我们已经开发了从SpaceEx模型到Simulink的源到源转换。 混合系统的基于支持功能的细化框架。 我们开发了SpaceEx的一个版本,它可以根据过渡保护和坏状态自动优化区域表示。 这样,我们可以利用精度和性能。 SpaceEx中的功能模拟接口支持。 我们已将FMI集成到SpaceEx和Uppaal中,以支持混合系统和定时系统的联合仿真。 混合系统的参数识别。 我们提出了一个基于抽象的框架来识别给定安全特性的多仿射动态系统的参数。