Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems.

Pieter Collins Ivan S. Zapreev

Published in: RP (2009)

Keyphrases

continuous space
dynamic systems
linear time invariant
model checking
temporal logic
complex systems
discrete space
consistency based diagnosis
qualitative reasoning
discrete event
mathematical morphology
model based diagnosis
dynamical systems
particle filter
qualitative models
spatial features
multiscale