[IEEE 2004 IEEE International Symposium on Computer Aided Control Systems Design - Taipei, Taiwan (2-4 Sept. 2004)] 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) - Formal approach to compute hybrid automata models for linear physical systems with switches
Buisson, J.; Cormerais, H.; Zainea, M.; Gueguen, H.; Godoy, E.
- 作者Buisson, J.; Cormerais, H.; Zainea, M.; Gueguen, H.; Godoy, E.
- 文件大小423.54KB
- 发表时间2004
- DOI10.1109/cacsd.2004.1393849
- 页码47-52