Q Symbolic Reasoning about Noisy Dynamic Systems


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)


7 Figures and Tables

Slides referencing similar topics