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

From Murray Wiki

Jump to navigationJump to searchm (EECI: State Estimation on Lattices moved to EECI08: State Estimation on Lattices) |
|||

(3 intermediate revisions by the same user not shown) | |||

Line 1: | Line 1: | ||

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

{{righttoc}} | {{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}} | |

− | |||

− | |||

− | |||

− | |||

− | |||

− | | | ||

− | == | + | == 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. |

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− |

## Latest revision as of 20:17, 1 March 2009

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.