On the partitioning of syntax and semantics for hybrid systems tools

Jonathan Sprinkle, Aaron D. Ames, Alessandro Pinto, Haiyang Zheng, S. Shankar Sastry

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Pages4694-4699
Number of pages6
DOIs
StatePublished - Dec 1 2005
Externally publishedYes
Event44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 - Seville, Spain
Duration: Dec 12 2005Dec 15 2005

Publication series

NameProceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Volume2005

Other

Other44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
CountrySpain
CitySeville
Period12/12/0512/15/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'On the partitioning of syntax and semantics for hybrid systems tools'. Together they form a unique fingerprint.

  • Cite this

    Sprinkle, J., Ames, A. D., Pinto, A., Zheng, H., & Sastry, S. S. (2005). On the partitioning of syntax and semantics for hybrid systems tools. In Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 (pp. 4694-4699). [1582903] (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; Vol. 2005). https://doi.org/10.1109/CDC.2005.1582903