Abstract
In this paper, we introduce the hybrid automaton on the discrete time structure of a countable scattered linear-order set and present the reachability analysis for the Zeno and reversed-Zeno behaviors in the Fuller’s phenomenon by using the extended automaton.
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
Ames, A.D., Abate, A., Sastry, S.: Sufficient condition for the existence of Zeno behavior. In: 44th IEEE Conference on Decision and Control and Europian Control Conference (2005)
Bruyeŕe, V., Carton, O.: Automata on linear orderings. Journal of Computer and System Sciences 73(1), 1–24 (2007)
Nakamura, K., Fusaoka, A.: On Transfinite Hybrid Automata. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 495–510. Springer, Heidelberg (2005)
Rosenstein, J.G.: Linear Orderings. Academic Press, London (1982) (A Subsidiary of Harcourt Brace Jovanovich, Publishers)
Zelikin, M.I., Borisov, V.F.: Theory of Chattering Control with applications to Astronautics, Robotics, Economics, and Engineering. Birkhaüser, Boston (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakamura, K., Fusaoka, A. (2009). An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. In: Majumdar, R., Tabuada, P. (eds) Hybrid Systems: Computation and Control. HSCC 2009. Lecture Notes in Computer Science, vol 5469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00602-9_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-00602-9_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00601-2
Online ISBN: 978-3-642-00602-9
eBook Packages: Computer ScienceComputer Science (R0)