Jonathan Sprinkle, Aaron D. Ames, Alessandro Pinto, Haiyang Zheng, S. Shankar Sastry. On the Partitioning of Syntax and Semantics For Hybrid Systems Tools. In 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005. pages 4694-4699, IEEE, 2005. [doi]
Abstract is missing.