Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balluchi, A., Benvenuti, L., Di Benedetto, M.D., Sangiovanni-Vincentelli, A.: Design of observers for hybrid systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 76–89. Springer, Heidelberg (2002)
Bayen, A., Zhang, J., Tomlin, C., Ye, Y.: Milp formulation and polynomial time algorithm for an aircraft scheduling problem. In: Proc. of American Control Conference (2003)
Bemporad, A., Ferrari-Trecate, G., Morari, M.: Observability and controllability of piecewise affine and hybrid systems. IEEE Transactions on Automatic Control 45, 1864–1876 (1999)
Caines, P.E.: Classical and logic-based dynamic observers for finite automata. IMA J. of Mathematical Control and Information, 45–80 (1991)
Davey, B.A., Priesteley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)
DelVecchio, D., Murray, R.M.: Discrete state estimators for a class of hybrid systems on a lattice. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 311–325. Springer, Heidelberg (2004)
DelVecchio, D., Murray, R.M.: Existence of discrete state estimators for hybrid systems on a lattice. In: Conf. on Decision and Control (2004)
DelVecchio, D., Murray, R.M.: Cascade discrete-continuous state estimators for a class of monotone systems. In: IFAC, pp. 76–89 (2005) (Submitted)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, languages, and Computation. Addison Wesley, Reading (2001)
Jung, A., Abramsky, S.: Domain Theory. In: Handbook of Logic in Computer Science, vol. 3 (1994)
Smith, H.L.: Monotone Dynamical Systems. Mathematical Surveys and Monographs. American Mathematical Society (1995)
Tomlin, C., Mitchell, I., Ghosh, R.: Safety verification of conflict resolution maneuvers. IEEE Transactions on Intelligent Transportation Systems (2001)
Vidal, R., Chiuso, A., Soatto, S.: Observability and identifiability of jump linear systems. In: Conf. on Decision and Control, Las Vegas, pp. 3614–3619 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Del Vecchio, D., Murray, R.M. (2005). Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order. In: Morari, M., Thiele, L. (eds) Hybrid Systems: Computation and Control. HSCC 2005. Lecture Notes in Computer Science, vol 3414. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31954-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-31954-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25108-8
Online ISBN: 978-3-540-31954-2
eBook Packages: Computer ScienceComputer Science (R0)