Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Design of Observers for Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Safety verification of conflict resolution manoeuvres
IEEE Transactions on Intelligent Transportation Systems
Discrete state estimators for systems on a lattice
Automatica (Journal of IFAC)
Hi-index | 0.00 |
In this paper, a cascade discrete-continuous state estimator on a partial order is proposed and its existence investigated. The continuous state estimation error is bounded by a monotonically nonincreasing function of the discrete state estimation error, with both the estimation errors converging to zero. This work shows that the lattice approach to estimation is general as the proposed estimator can be constructed for any observable and discrete state observable system. The main advantage of using the lattice approach for estimation becomes clear when the system has monotone properties that can be exploited in the estimator design. In such a case, the computational complexity of the estimator can be drastically reduced and tractability can be achieved. Some examples are proposed to illustrate these ideas.