Abstract
We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical control algorithm. Two layers of functionality, (1) piece-wise viable servo controllers and (2) a “reflex controller,” are required for guaranteed constraint satisfaction. The resulting control structure allows higher-levels of “intelligence” or functionality to be added which don't have to worry about guaranteeing constraints. The structure acts as an on-line filter which approves any actions that will maintain constraints but denies any requests that would result in behavior outside that specified.
In this note, we lay down the notation and theory of this hierarchy in a broad, abstract setting. Minimal properties to assure constraint satisfaction are given. The incorporation of such a model with higher planning levels and its associated convergence properties are discussed. The philosophy has been successfully applied to a robot's maintaining collision avoidance while under higher-level control, viz. path planners and teleoperation. The system operates on-line in real-time; in executing collisionfree motions, the robot uses its full mechanical bandwidth.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Jean-Pierre Aubin. Viability Theory. Birkhauser, Boston, 1991.
Anthony J. Barbera, M. L. Fitzgerald, and J. S. Albus. Concepts for a real-time sensory-interactive control system architecture. In Proc. Fourteenth Southeastern Symp. on System Theory, pp. 121–126, April 1982.
Michael S. Branicky. Efficient configuration space transforms for real-time robotic reflexes. Master's thesis, Case Western Reserve University, Dept. of Electrical Engineering and Applied Physics, January 1990.
Michael S. Branicky. Analyzing continuous switching systems: theory and examples. In Proc, American Control Conf., pp. 3110–3114, Baltimore, June 1994.
Michael S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD thesis, Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, June 1995.
Rodney A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, RA-2(1):14–23, March 1986.
Yao-Chon Chen and Mathukumalli Vidyasagar. Optimal trajectory planning for planar n-link revolute manipulators in the presence of obstacles. In Proc. IEEE Intl. Conf. on Robotics and Automation, pp. 202–208, 1988.
Morris W. Hirsch and Stephen Smale. Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, Inc., San Diego, CA, 1974.
Vinay K. Krishnaswamy and Wyatt S. Newman. On-line motion planning using critical point graphs in two-dimensional configuration space. In Proc. IEEE Intl. Conf. on Robotics and Automation, pp. 2334–2340, Nice, France, May, 1992.
Jean-Claude Latombe. Robot Motion Planning. Kluwer Academic Publishers, Boston, 1991.
Tomás Lozano-Pérez. Automatic planning of manipulator transfer movements. IEEE Trans. Systems, Man, and Cybernetics, SMC-11(10):681–698, October 1981.
Tomás Lozano-Pérez. Spatial planning: A configuration space approach. IEEE Trans. Computers, C-32(2):108–120, February 1983.
Wyatt S. Newman. High speed robot control and obstacle avoidance using dynamic potential functions. In Proc. IEEE Intl. Conf. on Robotics and Automation, pp. 14–24, March 1987.
Wyatt S. Newman. High-Speed Robot Control in Complex Environments. PhD thesis, Massachusetts Institute of Technology, Dept. of Mechanical Engineering, October 1987.
Wyatt S. Newman. Automatic obstacle avoidance at high speeds via reflex control. In Proc. IEEE Intl. Conf. on Robotics and Automation, pp. 1104–1109, May 1989.
Wyatt S. Newman and Michael S. Branicky. Experiments in reflex control for industrial manipulators. In Proc. IEEE Intl. Conf. on Robotics and Automation, pp. 266–271, May 1990.
Amir Pnueli. The temporal logic of programs. In Proc. 18th IEEE Foundations of Computer Science, Providence, RI, pp. 46–57, October 31–November 2, 1977.
Walter Rudin. Principles of Mathematical Analysis. McGraw-Hill, New York, third edition, 1976.
M. Vidyasagar. Nonlinear Systems Analysis. Prentice-Hall, Englewood Cliffs, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Branicky, M.S. (1997). On-Line, reflexive constraint satisfaction for hybrid systems: First steps. In: Maler, O. (eds) Hybrid and Real-Time Systems. HART 1997. Lecture Notes in Computer Science, vol 1201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014718
Download citation
DOI: https://doi.org/10.1007/BFb0014718
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62600-8
Online ISBN: 978-3-540-68330-8
eBook Packages: Springer Book Archive