next up previous
Next: Perception and Action Hierarchies Up: Verification and Design Tools Previous: Faulted Mode Verification

Probabilistic Verification

In the conceptual underpinings of the research, we will attempt a rapproachment between Markov decision networks, AI based Bayesian decision networks to come up with a ``soft'' version of verification for hybrid systems. Conceptually this method will be like the change in computational complexity theory between studying worst case behavior of an algorithm and the mean behavior of the algorithm.



S Sastry
Sun Aug 9 16:58:51 PDT 1998