View source for Discrete State Estimators for a Class of Nondeterministic Hybrid Systems on a Lattice

{{HTDB paper
| authors = Domitilla Del Vecchio and Richard M. Murray
| title = Discrete State Estimators for a Class of Nondeterministic Hybrid Systems on a Lattice
| source = Submitted, 2004 Conference on Decision and Control (CDC)
| year = 2004
| type = Conference Paper
| funding = NSF/CNSE
| url = http://www.cds.caltech.edu/~murray/preprints/dm04b-cdc.pdf
| abstract = 
The problem of estimating the discrete variables
in nondeterministic hybrid systems where the continuous
variables are available for measurement is considered. Using
partial order and lattice theory, we construct a discrete state
estimator, the LU estimator, which updates two variables at
each step. Namely, it updates the lower (L) and upper (U)
bounds of the set of all possible discrete variables values
compatible with the output sequence and with the systems'
dynamics. If the system is weakly observable, we show that
there always exist a lattice on which to construct the LU
estimator. For computational issues, some partial orders are to
be preferred to others.We thus show that nondeterminism may
be added to a system so as to obtain a new system that satisfies
the requirements for the construction of the LU estimator on
a chosen lattice. These ideas are applied to a nondeterministic
multi-robot system.
| flags = 
| tag = dm04b-cdc
| id = 2004d
}}