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]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png) |
PDF
- Published Version
See Usage Policy. 3MB |
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: |
| ||||||
| ORCID: |
| ||||||
| 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: |
| ||||||
| DOI: | 10.1109/CDC.2005.1582903 | ||||||
| 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: | 16 Nov 2021 16:59 |
Repository Staff Only: item control page
