193 search results - page 15 / 39 » Lyapunov Function Based Fuzzy State Estimator |
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inļ¬...
ICCD
2001
IEEE
14 years 4 months ago
2001
IEEE
We present a simulation-based semi-formal veriļ¬cation method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
ICC
2008
IEEE
14 years 1 months ago
2008
IEEE
āIn this work, we study the effect of imperfect channel-state information (CSI) on the stability and delay of a two-user channel-aware slotted ALOHA system. We assume that the ch...
TNN
2008
13 years 7 months ago
2008
Abstract-- A major drawback of artificial neural networks (ANNs) is their black-box character. This is especially true for recurrent neural networks (RNNs) because of their intrica...
UAI
2000
13 years 8 months ago
2000
We consider the problem belief-state monitoring for the purposes of implementing a policy for a partially-observable Markov decision process (POMDP), specifically how one might ap...