Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools

Summary: On the Partitioning of Syntax and Semantics
For Hybrid Systems Tools
Jonathan Sprinkle, Aaron D. Ames, Alessandro Pinto, Haiyang Zheng, and S. Shankar Sastry
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.
The study of hybrid systems is an exciting and complex
topic for research. Generally, hybrid systems are systems


Source: Ames, Aaron - Department of Mechanical Engineering, Texas A&M University


Collections: Engineering