TY - GEN
T1 - On the partitioning of syntax and semantics for hybrid systems tools
AU - Sprinkle, Jonathan
AU - Ames, Aaron D.
AU - Pinto, Alessandro
AU - Zheng, Haiyang
AU - Sastry, S. Shankar
PY - 2005
Y1 - 2005
N2 - Interchange formats are notoriously difficult to finish. That is, once one is developed, it is highly nontrivial to prove (or disprove) generality, and difficult at best to gain acceptance from all major players in the application domain. This paper addresses such a problem for hybrid systems, but not from the perspective of a tool interchange format, but rather that of tool availability in a toolbox. Through the paper we explain why we think this is a good approach for hybrid systems, and we also analyze the domain of hybrid systems to discern the semantic partitions that can be formed to yield a classification of tools based on their semantics. These discoveries give us the foundation upon which to build semantic capabilities, and to guarantee operational interaction between tools based on matched operational semantics.
AB - Interchange formats are notoriously difficult to finish. That is, once one is developed, it is highly nontrivial to prove (or disprove) generality, and difficult at best to gain acceptance from all major players in the application domain. This paper addresses such a problem for hybrid systems, but not from the perspective of a tool interchange format, but rather that of tool availability in a toolbox. Through the paper we explain why we think this is a good approach for hybrid systems, and we also analyze the domain of hybrid systems to discern the semantic partitions that can be formed to yield a classification of tools based on their semantics. These discoveries give us the foundation upon which to build semantic capabilities, and to guarantee operational interaction between tools based on matched operational semantics.
UR - http://www.scopus.com/inward/record.url?scp=33847226267&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33847226267&partnerID=8YFLogxK
U2 - 10.1109/CDC.2005.1582903
DO - 10.1109/CDC.2005.1582903
M3 - Conference contribution
AN - SCOPUS:33847226267
SN - 0780395689
SN - 9780780395688
T3 - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
SP - 4694
EP - 4699
BT - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
T2 - 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Y2 - 12 December 2005 through 15 December 2005
ER -