Abstract
Tagged systems provide a denotational semantics for embedded systems. A heterogeneous network of embedded systems can be modeled mathematically by a network of tagged systems. Taking the heterogeneous composition of this network results in a single, homogeneous, tagged system. The question this paper addresses is: when is semantics (behavior) preserved by composition? To answer this question, we use the framework of category theory to reason about heterogeneous system composition and derive results that are as general as possible. In particular, we define the category of tagged systems, demonstrate that a network of tagged systems corresponds to a diagram in this category and prove that taking the composition of a network of tagged systems is equivalent to taking the limit of this diagram – thus composition is endowed with a universal property. Using this universality, we are able to derive veri.able necessary and sufficient conditions on when composition preserves semantics.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
About this chapter
Cite this chapter
Ames, A.D., Sangiovanni-Vincentelli, A., Sastry, S. Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems. In: Antsaklis, P.J., Tabuada, P. (eds) Networked Embedded Sensing and Control. Lecture Notes in Control and Information Science, vol 331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533382_9
Download citation
DOI: https://doi.org/10.1007/11533382_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32794-3
Online ISBN: 978-3-540-32847-6
eBook Packages: EngineeringEngineering (R0)