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 Citations (Scopus)

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
Volume2005
DOIs
StatePublished - 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

Other

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

Fingerprint

Hybrid systems
Semantics
Interchanges
Availability

ASJC Scopus subject areas

  • Engineering(all)

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 (Vol. 2005, pp. 4694-4699). [1582903] https://doi.org/10.1109/CDC.2005.1582903

On the partitioning of syntax and semantics for hybrid systems tools. / Sprinkle, Jonathan; Ames, Aaron D.; Pinto, Alessandro; Zheng, Haiyang; Sastry, S. Shankar.

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. Vol. 2005 2005. p. 4694-4699 1582903.

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

Sprinkle, J, Ames, AD, Pinto, A, Zheng, H & Sastry, SS 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. vol. 2005, 1582903, pp. 4694-4699, 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05, Seville, Spain, 12/12/05. https://doi.org/10.1109/CDC.2005.1582903
Sprinkle J, Ames AD, Pinto A, Zheng H, Sastry SS. 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. Vol. 2005. 2005. p. 4694-4699. 1582903 https://doi.org/10.1109/CDC.2005.1582903
Sprinkle, Jonathan ; Ames, Aaron D. ; Pinto, Alessandro ; Zheng, Haiyang ; Sastry, S. Shankar. / On the partitioning of syntax and semantics for hybrid systems tools. Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. Vol. 2005 2005. pp. 4694-4699
@inproceedings{1e12501196684cd6b1416c1104394173,
title = "On the partitioning of syntax and semantics for hybrid systems tools",
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.",
author = "Jonathan Sprinkle and Ames, {Aaron D.} and Alessandro Pinto and Haiyang Zheng and Sastry, {S. Shankar}",
year = "2005",
doi = "10.1109/CDC.2005.1582903",
language = "English (US)",
isbn = "0780395689",
volume = "2005",
pages = "4694--4699",
booktitle = "Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05",

}

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

SN - 0780395689

SN - 9780780395688

VL - 2005

SP - 4694

EP - 4699

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

ER -