approximation theory; continuous time systems; discrete time systems; linear systems; program control structures; reachability analysis; set theory; abstract acceleration method; constraint solving; convex over-approximation; hybrid continuous-time linear dynamical system; hybrid discrete-time linear dynamical system; hybrid systems; linear dynamical systems; linear recurrence equation; linear software loops; physical models; reachable state set; set-based simulation; software control modules; unbounded-time polyhedral reachability analysis; Acceleration; Approximation methods; Automata; Computational modeling; Linear systems; Mathematical model; Reachability analysis; LTI control systems; abstract acceleration; linear loops; polyhedral sets; reachability analysis; unbounded time horizon;
机译:通过抽象加速的守护LTI模型的无界时间安全验证
机译:将抽象加速应用于反应式程序的(共)可达性分析
机译:随机混合系统的可达性分析:生物柴油生产系统
机译:基于抽象加速的混合系统无时间可达性分析
机译:混合系统的用户界面:通过混合可达性进行分析和设计。
机译:摘要:用Le Fort III截骨术校正颅骨突触的正确的头影分析和混合成骨术分散系统控制距离和矢量
机译:通过抽象加速的守护LTI模型的无界时间安全验证