RWTH Aachen University, Chair 'Informatik 11;
- Embedded Software Laboratory, Ahornstr. 55, 52074 Aachen, Germany;
hybrid systems; reachability analysis; hsolver; PHAVer;
机译:通过集成综合分析和技术经济优化工具进行混合再生系统评估的新决策过程
机译:随机混合系统的可达性分析:生物柴油生产系统
机译:通过块分解的线性混合系统的可达性分析
机译:对混合系统最近可达性分析工具的评估
机译:混合系统的用户界面:通过混合可达性进行分析和设计。
机译:根据REACH对暴露评估工具的评估:第二部分—更高层次的工具
机译:面向使用线性规划的线性混合系统有界可达性分析的高效路径导向工具