Sensor systems are becoming ubiquitous throughout society, yet their design, construction, and operation are still more of an art than a science. In this paper, we define, develop, and apply a formal se- mantics for sensor systems that provides a theoretical framework for an integrated software architecture for modeling sensor-based con- trol systems. Our goal is to develop a design framework that allows the user to model, analyze, and experiment with different versions of a sensor system.
展开▼