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)

• 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.