Sciweavers

7311 search results - page 138 / 1463
» Time in State Machines
Sort
View
DLT
2008
15 years 5 months ago
The Average State Complexity of the Star of a Finite Set of Words Is Linear
We prove that, for the uniform distribution over all sets X of m (that is a fixed integer) non-empty words whose sum of lengths is n, DX , one of the usual deterministic automata r...
Frédérique Bassino, Laura Giambruno,...
NIPS
2007
15 years 5 months ago
Random Sampling of States in Dynamic Programming
We combine three threads of research on approximate dynamic programming: sparse random sampling of states, value function and policy approximation using local models, and using lo...
Christopher G. Atkeson, Benjamin Stephens
HYBRID
2007
Springer
15 years 10 months ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
AUTOMATICA
2008
75views more  AUTOMATICA 2008»
15 years 4 months ago
Probabilistic performance of state estimation across a lossy network
We consider a discrete time state estimation problem over a packet-based network. In each discrete time step, a measurement packet is sent across a lossy network to an estimator u...
Michael Epstein, Ling Shi, Abhishek Tiwari, Richar...
DMIN
2009
119views Data Mining» more  DMIN 2009»
15 years 2 months ago
Abnormal Process State Detection by Cluster Center Point Monitoring in BWR Nuclear Power Plant
This paper proposes a new method to detect abnormal process state. The method is based on cluster center point monitoring in time and is demonstrated in its application to data fro...
Jaakko Talonen, Miki Sirola