On the Partitioning of Syntax and Semantics For Hybrid Systems Tools
Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang Zheng, Shankar Sastry
44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05)
Jan 2005