Verification; Model checking and hybrid automata;
机译:使用动态线性混合自动机对动态可重构系统进行规范和验证
机译:循环线性微分自动机:一类简单的混合动力系统
机译:动态输入/输出自动机:动态系统的形式化组成模型
机译:使用动态线性混合自动机进行动态可重新配置系统的正式方法的案例研究
机译:通过组合数值分析方法对非线性动力系统进行整体研究。
机译:疼痛预测精度的非线性振荡:一种理解日常疼痛预测的动态系统方法
机译:集值向量场的混合自动机的平方和稳定性分析(混合动力系统,<特殊部分>并发/混合系统:理论与应用)