*banner
 

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools
Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang Zheng, Shankar Sastry

Citation
Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang Zheng, Shankar Sastry. "On the Partitioning of Syntax and Semantics For Hybrid Systems Tools". 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), IEEE Controls Society, 4694-4699, December, 2005.

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.

Electronic downloads

  • sprinkleCDC2005-final-web.pdf · application/pdf · 350 kbytes. (The IEEE repository version of this document can be downloaded from http://ieeexplore.ieee.org/iel5/10559/33412/01582903.pdf?tp=&arnumber=1582903&isnumber=33412)
Citation formats  
  • HTML
    Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang
    Zheng, Shankar Sastry. <a
    href="http://chess.eecs.berkeley.edu/pubs/41.html"
    >On the Partitioning of Syntax and Semantics For Hybrid
    Systems Tools</a>, 44th IEEE Conference on Decision
    and Control and European Control Conference ECC 2005
    (CDC-ECC'05), IEEE Controls Society, 4694-4699, December,
    2005.
  • Plain text
    Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang
    Zheng, Shankar Sastry. "On the Partitioning of Syntax
    and Semantics For Hybrid Systems Tools". 44th IEEE
    Conference on Decision and Control and European Control
    Conference ECC 2005 (CDC-ECC'05), IEEE Controls Society,
    4694-4699, December, 2005.
  • BibTeX
    @inproceedings{SprinkleAmesPintoZhengSastry05_OnPartitioningOfSyntaxSemanticsForHybridSystemsTools,
        author = {Jonathan Sprinkle and Aaron Ames and Alessandro
                  Pinto and Haiyang Zheng and Shankar Sastry},
        title = {On the Partitioning of Syntax and Semantics For
                  Hybrid Systems Tools},
        booktitle = {44th IEEE Conference on Decision and Control and
                  European Control Conference ECC 2005 (CDC-ECC'05)},
        organization = {IEEE Controls Society},
        pages = {4694-4699},
        month = {December},
        year = {2005},
        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. },
        URL = {http://chess.eecs.berkeley.edu/pubs/41.html}
    }
    

Posted by Jonathan Sprinkle on 1 May 2006.
Groups: chess chesslocal
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess