Abstract
Hybrid systems are systems of continuous plants, subject to disturbances, interacting with sequential automata in a network. By the synthesis problem for hybrid systems we mean extracting a finite state digital controller automaton from the system equations, constraints, and cost function which define the hybrid system. This automaton senses system state, and on the basis of its state, changes state and issues a chattering control to the actuators to control the system with epsilon optimal control for a fixed epsilon in real time. We address this problem by extracting a local cost function for the control system which transforms the infinite-dimensional optimization problem into a finite-dimensional problem.
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
Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)
Douglass, J.: Solution of the inverse problem of the calculus of variations. Trans. Am. Math. Soc. 50, 71–128 (1941)
Helmholtz, H.: Über die physikalische Bedeutung des Prinzips der kleinsten Wirkung. J. Reine Angew. Math. 100, 137–166 (1957)
Henneaux, M.: On the inverse problem of the calculus of variations, J. Phys. A: Math. Gen. 15, L93–L96 (1957)
Hirsch, A.: Die Existenzbedingungen des verallgemeinerten kinetischen Potentials. Math. Ann. 50, 429–441 (1957)
Kohn, W., Nerode, A., Remmel, J.: Hybrid systems as Finsler manifolds: finite state control as approximation to connections. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol. 999, pp. 294–321. Springer, Heidelberg (1995)
Kohn, W., Brayman, V., Nerode, A.: Control synthesis in Hybrid systems with Finsler dynamics. Houston Journal of Mathematics 28(2) (2002)
Kohn, W., Brayman, V., Cholewinski, P., Nerode, A.: Control in Hybrid Systems. International Journal of Hybrid Systems 3(2-3) (2003)
Matsumoto, M.: Foundations of Finsler geometry and special Finsler spaces. Kaiseicha Press, Otsu (1986)
Mayer, A.: Die Existenzbedingungen eines kinetischen potentiales. Berich. Verh. Konig. Sach. Gesell. wissen, Leipzig, Math. Phys, Kl. 84, 519–529 (1957)
Nerode, A., Kohn, W.: Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol. 736, Springer, Heidelberg (1993)
Pontryagin, L.S., Boltyanskii, V.G., Gamkrelidze, R.V., Michenko, E.F.: The Mathematical Theory of Optimal Processes. Wiley Interscience, Hoboken (1962)
Rund, H.: The differential geometry of Finsler spaces. Springer, Heidelberg (1959)
Sarlet, W.: The Helmholtz conditions revisited. A new approach to the inverse problem of Lagrangian dynamics. J. Phys. A: Math. Gen. 15, 1503–1517 (1993)
Shen, Z.: Differential Geometry of Spray and Finsler Spaces. Kluwer Academic Publishers, Dordrecht (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Gottipati, S., Nerode, A. (2007). A Synthesis Algorithm for Hybrid Systems. In: Artemov, S.N., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2007. Lecture Notes in Computer Science, vol 4514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72734-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-72734-7_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72732-3
Online ISBN: 978-3-540-72734-7
eBook Packages: Computer ScienceComputer Science (R0)