CaltechAUTHORS
  A Caltech Library Service

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools

Sprinkle, Jonathan and Ames, Aaron D. and Pinto, Alessandro and Zheng, Haiyang and Sastry, S. Shankar (2005) On the Partitioning of Syntax and Semantics For Hybrid Systems Tools. In: Proceedings of the 44th IEEE Conference on Decision and Control. IEEE , Piscataway, NJ, pp. 4694-4699. ISBN 0-7803-9567-0. https://resolver.caltech.edu/CaltechAUTHORS:20190307-111103826

[img] PDF - Published Version
See Usage Policy.

3423Kb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20190307-111103826

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.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
https://doi.org/10.1109/CDC.2005.1582903DOIArticle
ORCID:
AuthorORCID
Ames, Aaron D.0000-0003-0848-3177
Additional Information:© 2005 IEEE. This work is supported by the Large NSF ITR Project on "Foundations of Hybrid and Embedded Software Systems," award number: CCR-0225610. The authors for this particular paper are a short list of involved researchers who are members of a special interest group that discusses the hyper framework weekly at University of California, Berkeley. Active local members of this group, excluding the authors, include (alphabetically by surname) Alessandro Abate, J. Mikael Eklund, Alexander Kurzhanskiy, Edward A. Lee, and Alberto Sangiovanni Vincentelli. These members contributed greatly to the sentiment of this paper, if not the contents. Additional thanks are due to Gabor Karsai of Vanderbilt University, and Oleg Sokolsky of the University of Pennsylvania, who were the original designers of HSIF, and provided many insightful comments and suggestions over time regarding the hyper effort. We also thank the National Science Foundation and Office of Naval Research for their support and direction of this hybrid systems research.
Funders:
Funding AgencyGrant Number
NSFCCR-0225610
Office of Naval Research (ONR)UNSPECIFIED
Record Number:CaltechAUTHORS:20190307-111103826
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20190307-111103826
Official Citation:J. Sprinkle, A. D. Ames, A. Pinto, Haiyang Zheng and S. S. Sastry, "On the Partitioning of Syntax and Semantics For Hybrid Systems Tools," Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, 2005, pp. 4694-4699. doi: 10.1109/CDC.2005.1582903
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:93634
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:07 Mar 2019 21:27
Last Modified:03 Oct 2019 20:56

Repository Staff Only: item control page