Sciweavers

1123 search results - page 8 / 225
» On Event Based State Estimation
Sort
View
RTSS
2007
IEEE
14 years 1 months ago
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems
— We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag...
TIME
1994
IEEE
13 years 11 months ago
Localized Temporal Reasoning: A State-Based Approach
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
Shieu-Hong Lin, Thomas Dean
ISMVL
2010
IEEE
161views Hardware» more  ISMVL 2010»
14 years 13 days ago
Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse Limits
—Every probability on many-valued events (a state on a finitely-generated free MV-algebras) is uniquely represented by refining finitely-supported probabilities across all Sch...
Tomás Kroupa