Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems.
Eric SchkufzaNathaniel LoveMichael R. GeneserethPublished in: Australasian Conference on Artificial Intelligence (2008)
Keyphrases
- dynamic systems
- complex systems
- continuous variables
- lattice gas
- discrete event
- qualitative reasoning
- linear time invariant
- cellular automata
- consistency based diagnosis
- dynamical systems
- finite state
- probabilistic automata
- finite automata
- regular expressions
- qualitative models
- state estimation
- state variables
- tree automata
- particle filter
- finite state machines
- propositional logic
- model based diagnosis
- ordinary differential equations
- optimal solution
- turing machine
- control algorithm
- cooperative