Abstract
We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are available for measurement. The contribution of the present paper is twofold. First, a novel framework for performing dynamic feedback is proposed which relies on partial orders on the sets of inputs and of discrete states. Within this framework, a state estimator updates a lower and an upper bound of the set of current states. A controller then uses such upper and lower bounds to compute the upper and lower bounds of the set of inputs that maintain the current state in a desired set. Second, we show that under dynamic controllability assumptions, the conditions that allow to apply the developed algorithms can always be verified. Therefore, the partial order approach to dynamic feedback is general. A multi-robot system is presented to show the computational advantages in a system in which the size of the state set can be so large as to render enumeration and exhaustive techniques inapplicable.
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
Asarin, E., Maler, O., Pnueli, A.: Symbolic controller design for discrete and timed systems. In: Antsaklis, P.J., et al. (eds.) HS 1994. LNCS, vol. 999, pp. 1–20. Springer, Heidelberg (1995)
Aubin, J., et al.: Impulse differential inclusions: A viability approach to hybrid systems. IEEE Transactions on Automatic Control 47(1), 2–20 (2002)
Davey, B.A., Priesteley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)
Del Vecchio, D., Murray, R.M., Klavins, E.: Discrete state estimators for systems on a lattice. Automatica 42(2), 271–285 (2006)
Deshpande, A., Varaiya, P.: Viable control of hybrid systems. In: Antsaklis, P.J., et al. (eds.) HS 1994. LNCS, vol. 999, pp. 128–147. Springer, Heidelberg (1995)
Caines, P.E., Wang, S.: Classical and logic based regulator design and its complexity for partially observed automata. In: Conf. on Decision and Control, pp. 132–137 (1989)
Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)
Rohloff, K., Lafortune, S.: On the synthesis of safe control policies in decentralized control of discrete event systems. IEEE Transactions on Automatic Control 48(6), 1064–1068 (2003)
Sontag, E.D.: Mathematical Control Theory. Springer, Heidelberg (1998)
Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 1–13. Springer, Heidelberg (1995)
Wong-Toi, H.: The synthesis of controllers for linear hybrid automata. In: Conf. on Decision and Control, pp. 4607–4613 (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Del Vecchio, D. (2007). A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds) Hybrid Systems: Computation and Control. HSCC 2007. Lecture Notes in Computer Science, vol 4416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71493-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-71493-4_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71492-7
Online ISBN: 978-3-540-71493-4
eBook Packages: Computer ScienceComputer Science (R0)