Controlling a class of nonlinear systems on rectangles

IEEE Transactions on Automatic Control

Volumn 51, Issue 11, 2006, Pages 1749-1759

  Belta, Calin ^a   Habets, Luc C G J M ^b,c  

^a Boston University   (United States)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c CWI   (Netherlands)

Author keywords

Aircraft control; Convex analysis; Hybrid systems; Nonlinear systems

Indexed keywords

ACTUATORS; AIRCRAFT; FEEDBACK CONTROL; VECTORS;

AIRCRAFT CONTROL; CONVEX ANALYSIS; HYBRID SYSTEMS;

NONLINEAR CONTROL SYSTEMS;

EID: 37149035291     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2006.884957     Document Type: Article

References (31)

1. R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, Eds. Berlin, Germany: Springer-Verlag, 1993, vol. 736, Lecture Notes in Computer Science, pp. 209-229.
2. R. Alur, T. Dang, and F. Ivancić, "Reachability analysis of hybrid systems via predicate abstraction," in Hybrid Systems: Computation and Control, C.J. Tomlin and M.R. Greenstreet, Eds. Berlin, Germany: Springer-Verlag, 2002, vol. 2289, Lecture Notes in Computer Science, pp. 35-48.
3. R. Alur and D. L. Dill, "A theory of timed automata," Theor. Comp. Sci., vol. 126, pp. 183-235, 1994.
4. C. Belta, "On controlling aircraft and underwater vehicles," in Proc. IEEE Int. Conf. Robotics and Automation, New Orleans, LA, 2004, vol. 5, pp. 4905-4910.
5. C. Belta, P. Finin, L. C. G. J. M. Habets, A. M. Halász, M. Imielinksi, R. V. Kumar, and H. Rubin, "Understanding the bacterial stringent response using reachability analysis of hybrid systems," in Hybrid Systems: Computation and Control, R. Alur and G.J. Pappas, Eds. Berlin, Germany: Springer-Verlag, 2004, vol. 2993, Lecture Notes in Computer Science, pp. 111-125.
6. P. E. Crouch, "Spacecraft attitude control and stabilization: Applications of geometric control theory to rigid body models," IEEE Trans. Autom. Control, vol. AC-29, no. 4, pp. 321-331, Apr. 1984.
7. H. de Jong, "Modeling and simulation of genetic regulatory systems," J. Comput. Biol., vol. 9, pp. 69-105, 2002.
8. S. Fortune, "Voronoi diagrams and Delaunay triangulations," in Handbook of Discrete and Computational Geometry, J. E. Goodman and J. O'Rourke, Eds. Boca Raton, FL: CRC Press, 1997, pp. 377-388.
9. K. Fukuda, Frequently asked questions in polyhedral computation Swiss Federal Inst. Technol., Lausanne, Switzerland, 2004 [Online]. Available: www.ifor.math.ethz.ch/~fukuda/polyfaq/polyfaq.html
10. R. Ghosh, A. Tiwari, and C. Tomlin, "Automated symbolic reachability analysis; with application to delta-notch signaling automata," in Hybrid Systems: Computation and Control, O. Maler and A. Pnueli, Eds. Berlin, Germany: Springer-Verlag, 2003, vol. 2623, Lecture Notes in Computer Science, pp. 233-248.
11. L. C. G. J. M. Habets and J. H. van Schuppen, "Control of piecewise-linear hybrid systems on simplices and rectangles," in Hybrid Systems: Computation and Control, M.D. Di Benedetto and A.L. Sangiovanni-Vincentelli, Eds. Berlin, Germany: Springer-Verlag, 2001, vol. 2034, Lecture Notes in Computer Science, pp. 261-274.
12. L. C. G. J. M. Habets and J. H. van Schuppen, "A controllability result for piecewise-linear hybrid systems," in Proc. Eur. Control Conf., Porto, Portugal, 2001, pp. 3870-3873.
13. L. C. G. J. M. Habets and J. H. van Schuppen, "A control problem for affine dynamical systems on a full-dimensional polytope," Automatica, vol. 40, pp. 21-35, 2004.
14. E. Haghverdi, P. Tabuada, and G. Pappas, "Bisimulation relations for dynamical and control systems," in Electronic Notes in Theoretical Computer Science. New York: Elsevier, 2003, vol. 69, pp. 1-17.
15. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, "What is decidable about hybrid automata?," J. Comput. Syst. Sci., vol. 57, pp. 94-124, 1998.
16. A. Isidori, Nonlinear Control Systems, 2nd ed. Berlin, Germany: Springer-Verlag, 1989.
17. B. Jeannet, Convex polyhedra library Verimag, Grenoble, France, 1999, Tech. Rep..
18. G. Lafferriere, G. J. Pappas, and S. Sastry, "O-minimal hybrid systems," Math. Control, Signals, Syst., vol. 13, pp. 1-21, 2000.
19. G. Lafferriere, G. J. Pappas, and S. Yovine, "A new class of decidable hybrid systems," in Hybrid Systems: Computation and Control, F. W. Varager and J. H. van Schuppen, Eds. Berlin, Germany: Springer-Verlag, 1999, vol. 1569, Lecture Notes in Computer Science, pp. 137-151.
20. C. W. Lee, "Subdivisions and triangulations of polytopes," in Handbook of Discrete and Computational Geometry, J.E. Goodman and J. O'Rourke, Eds. Boca Raton, FL: CRC Press, 1997, pp. 271-290.
21. N. E. Leonard, "Stability of a bottom-heavy underwater vehicle," Automatica, vol. 33, pp. 331-346, 1997.
22. A. Lotka, Elements of Physical Biology. New York: Dover Publications, 1925.
23. R. Milner, Communication and Concurrency. Englewood Cliffs, NJ: Prentice-Hall, 1989.
24. R. E. Mortensen, "A globally stable linear attitude regulator," Int. J. Control, vol. 8, pp. 297-302, 1968.
25. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "An approach to the description and analysis of hybrid systems," in Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, Eds. Berlin, Germany: Springer-Verlag, 1993, vol. 736, Lecture Notes in Computer Science, pp. 149-178.
26. H. Nijmeijer and A. J. van der Schaft, Nonlinear Dynamical Control Systems. New York: Springer-Verlag, 1990.
27. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, pp. 2035-2047, 2003.
28. D. Park, "Concurrency and automata on infinite sequences," in Theoretical Computer Science, P. Deussen, Ed. Berlin, Germany: Springer-Verlag, 1981, vol. 104, Lecture Notes in Computer Science, pp. 167-183.
29. A. Puri and P. Varaiya, "Decidability of hybrid systems with rectangular differential inclusions," in Computer Aided Verification, D. L. Dill, Ed. Berlin, Germany: Springer-Verlag, 1994, vol. 818, Lecture Notes in Computer Science, pp. 95-104.
30. A. Tiwari and G. Khanna, "Series of abstractions for hybrid automata," in Hybrid Systems: Computation and Control, C.J. Tomlin and M.R. Greenstreet, Eds. Berlin, Germany: Springer-Verlag, 2002, vol. 2289, Lecture Notes in Computer Science, pp. 465-478.
31. V. Volterra, "Fluctuations in the abundance of a species considered mathematically," Nature, vol. 118, pp. 558-560, 1926.