Q Symbolic Reasoning about Noisy Dynamic Systems

Abstract

Symbolic reasoning about continuous dynamic systems requires consistent qualitative abstraction functions and a consistent symbolic model. Classically, symbolic reasoning systems have utilized a box partition of the system space to achieve qualitative abstraction, but boxes can not provide a consistent abstraction. Our Q methodology abstracts a provably… (More)

Topics

7 Figures and Tables

Slides referencing similar topics