Reachability computation for hybrid systems with Ariadne
- 期刊名称IFAC Proceedings Volumes
- 作者Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
- 卷第41卷
- 期第2期
- 印刷ISSN1474-6670
- 文件大小859.78KB
- 发表时间2008
- DOI10.3182/20080706-5-kr-1001.01513
- 页码8960-8965
同作者推荐
Production of bulk cementite and its characterizationM. Umemoto; Z. G. Liu; H. Takaoka; M. Sawakami; K. Tsuchiya; K. Masuyama · 2001
Tensile stress-strain analysis of single-structure steelsM. Umemoto; K. Tsuchiya; Z. G. Liu; S. Sugimoto · 2000
Formation and annealing behavior of nanocrystalline ferrite in Fe-0.89C spheroidite steel produced by ball millingY. Xu; Z. G. Liu; M. Umemoto; K. Tsuchiya · 2002