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

From Murray Wiki
Jump to navigationJump to search
Line 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 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}}
  
====  Additional Information ====
+
== 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.
==== Further Reading ====
 

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

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.