# Difference between revisions of "EECI08: State Estimation on Lattices"

From Murray Wiki

Jump to navigationJump to searchLine 1: | Line 1: | ||

{{eeci-sp08 header|next=[[EECI: Implementation Examples|Implementation Examples]]|prev=[[EECI: Distributed Protocols and CCL|Distributed Protocols]]}} | {{eeci-sp08 header|next=[[EECI: Implementation Examples|Implementation Examples]]|prev=[[EECI: Distributed Protocols and CCL|Distributed Protocols]]}} | ||

+ | {{righttoc}} | ||

+ | We address the problem of estimating discrete variables in a class of deterministic transition systems in which the continuous variables are available for measurement. We propose a novel approach to the estimation of discrete variables using lattice theory that overcomes some of the severe complexity issues encountered in previous work. The methodology proposed for the estimation of discrete variables is general as it is applicable to any observable system. Extensions generalize the approach to nondeterministic transition systems. The proposed estimator is finally constructed for a multi-robot system involving two teams competing against each other. | ||

− | + | == Lecture Materials == | |

* Lecture slides: {{eeci-sp08 pdf|L12_lattice.pdf|Observability of Guarded Command Programs}} | * Lecture slides: {{eeci-sp08 pdf|L12_lattice.pdf|Observability of Guarded Command Programs}} | ||

− | + | == Further Reading == | |

− | + | * D. Del Vecchio, R. M. Murray, and E. Klavins, “Discrete State Estimators for Systems on a Lattice”, Automatica, vol. 42, pp. 271-285, 2006. | |

− |

## Revision as of 01:11, 29 March 2008

Prev: Distributed Protocols | Course home | Next: Implementation Examples |

We address the problem of estimating discrete variables in a class of deterministic transition systems in which the continuous variables are available for measurement. We propose a novel approach to the estimation of discrete variables using lattice theory that overcomes some of the severe complexity issues encountered in previous work. The methodology proposed for the estimation of discrete variables is general as it is applicable to any observable system. Extensions generalize the approach to nondeterministic transition systems. The proposed estimator is finally constructed for a multi-robot system involving two teams competing against each other.

## Lecture Materials

- Lecture slides: Observability of Guarded Command Programs

## Further Reading

- D. Del Vecchio, R. M. Murray, and E. Klavins, “Discrete State Estimators for Systems on a Lattice”, Automatica, vol. 42, pp. 271-285, 2006.