671 search results - page 6 / 135 » On Observing and Constraining Active Systems |
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
AUTOMATICA
2007
13 years 7 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
ESCIENCE
2007
IEEE
13 years 9 months ago
2007
IEEE
— The environmental science and engineering communities are actively engaged in planning and developing the next generation of large-scale sensor-based observing systems. These s...
TWC
2008
13 years 7 months ago
2008
Optimal power scheduling for distributed detection in a Gaussian sensor network is addressed for both independent and correlated observations. We assume amplify-and-forward local p...
CSMR
2003
IEEE
14 years 22 days ago
2003
IEEE
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...