Abstract
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Using lattice and order theory we develop a frame-work for constructing a discrete state estimator on an enlarged space of variables with lattice structure, which updates only two variables at each step. We apply our ideas to a multi-robot system example, the RoboFlag Drill.
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)
Bemporad, A., Ferrari-Trecate, G., Morari, M.: Observability and controllability of piece-wise 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)
Cassandra, A.R., Kaelbling, L.R., Liftman, M.L.: Acting optimally in partially observable stochastic domains. In: Proc. 12th Conference on Artificial Intelligence, pp. 1023–1028, Seattle, WA (1994)
Davey, B.A., Priesteley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)
Özveren, C.M., Willsky, A.S.: Observability of discrete event dynamic systems. IEEE Transactions on Automatic Control 35(7), 797–806 (1990)
Dijkstra, E.W.: Guarded commands, non-determinacy and a calculus for the derivation of programs. In: Proceedings of the international conference on Reliable software, Los Angeles, California, pp. 2–2.13 (1975), http://portal.acm.org
Klavins, E.: A formal model of a multi-robot control and communication task. In: Conference on Decision and Control, Hawaii (2003)
Luenberger, D.G.: An introduction to observers. IEEE Transactions on Automatic Control AC-16(6), 596–602 (1971)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concur- rent Systems: Specication. Springer, Heidelberg (1992)
Ramadge, P.J.: Observability of discrete event systems. In: Proc. 25th Conference on Decision and Control, pp. 1108–1112, Athens, Greece (1986)
Del Vecchio, D., Klavins, E.: Observation of guarded command programs. In: Conference on Decision and Control, Hawaii (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Del Vecchio, D., Murray, R.M. (2004). Discrete State Estimators for a Class of Hybrid Systems on a Lattice. In: Alur, R., Pappas, G.J. (eds) Hybrid Systems: Computation and Control. HSCC 2004. Lecture Notes in Computer Science, vol 2993. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24743-2_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-24743-2_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21259-1
Online ISBN: 978-3-540-24743-2
eBook Packages: Springer Book Archive