Skip to main content
SpringerLink
Log in

Method for computing exterior and interior approximations to the reachability sets of bilinear differential systems

  • Control Theory
  • Published:
Differential Equations Aims and scope Submit manuscript

Abstract

We consider the problem of constructing exterior and interior approximations to the reachability sets of a specific class of bilinear control systems with a geometric constraint for the control. The solution of the problem is based on the application of the comparison principle to the Hamilton—Jacobi—Bellman equation for the corresponding dynamic optimization problem.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Krasovskii, N.N., Igrovye zadachi o vstreche dvizhenii (Game Problems on the Encounter of Motions), Moscow: Nauka, 1970.

    MATH  Google Scholar 

  2. Kurzhanskii, A.B., Upravlenie i nablyudenie v usloviyakh neopredelennosti (Control and Observation Under Uncertainty), Moscow: Nauka, 1977.

    MATH  Google Scholar 

  3. Kurzhanski, A.B. and Valyi, I., Ellipsoidal Calculus for Estimation and Control, Boston: SCFA, 1997.

    Book  MATH  Google Scholar 

  4. Kurzhanski, A.B. and Varaiya, P., Dynamic Optimization for Reachability Problems, J. Optim. Theory Appl., 2001, vol. 108, no. 2, pp. 227–251.

    Article  MathSciNet  Google Scholar 

  5. Lee, E.B. and Markus, L., Foundations of Optimal Control Theory, Wiley, 1967.

    MATH  Google Scholar 

  6. Chernousko, F.L., State Estimation for Dynamic Systems, Boca Raton, 1994.

    Google Scholar 

  7. Lygeros, J., Tomlin, C., and Sastry, S., Controllers for Reachability Specifications for Hybrid Systems, Automatica, 1999, vol. 35, no. 3, pp. 349–370.

    Article  MATH  MathSciNet  Google Scholar 

  8. Krogh, B.H. and Stursberg, O., Efficient Representation and Computation of Reachable Sets for Hybrid Systems, in Hybrid Systems: Computation and Control HSCC’03, Maler, O. and Pnueli, A., Eds., LCNS 2623, Berlin; Heidelberg, 2003, pp. 482–497.

    Google Scholar 

  9. Patsko, V.S., Pyatko, S.G., and Fedotov, A.A., Three-Dimensional Reachability Set for a Nonlinear Control System, J. Comput. System Sci., 2003, vol. 42, no. 3, pp. 320–328.

    MATH  MathSciNet  Google Scholar 

  10. Sethian, J.A., Level Set Methods and Fast Marching Methods, Cambridge, 1999.

    MATH  Google Scholar 

  11. Osher, S. and Fedkiw, R., Level Set Methods and Dynamic Implicit Surfaces, New York, 2002.

    Google Scholar 

  12. Kurzhanski, A.B. and Varaiya, P., On Ellipsoidal Techniques for Reachability Analysis. Part I. External Approximations; Part II. Internal Approximations. Box-Valued Constraints, Optim. Methods Softw., 2002, vol. 17, no. 2, pp. 177–206; pp. 207–237.

    Article  MATH  MathSciNet  Google Scholar 

  13. Kostousova, E.K., On Tight Polyhedral Estimates for Reachable Sets of Linear Differential Systems, in AIP Conf. Proc., 2012, pp. 579–586.

    Google Scholar 

  14. Dar’in, A.N. and Kurzhanskii, A.B., Parallel Algorithm for Calculating the Invariant Sets of High-Dimensional Linear Systems under Uncertainty, Zh. Vychisl. Mat. Mat. Fiz., 2013, vol. 53, no. 1, pp. 47–47.

    MATH  MathSciNet  Google Scholar 

  15. Gusev, M.I., Estimates for Reachability Sets of Many-Dimensional Control Systems with Nonlinear Cross Relations, Tr. Inst. Mat. Mekh. Ural. Otd. RAN, 2009, vol. 15, no. 4, pp. 82–94.

    Google Scholar 

  16. Mohler, R.R., Nonlinear Systems: V. II. Application to Bilinear Control, New Jersi, 1991.

    Google Scholar 

  17. Kurzhanski, A.B. and Varaiya, P., Dynamics and Control of Trajectory Tubes. Theory and Computation, Basel, 2014.

    Book  MATH  Google Scholar 

  18. Kurzhanskii, A.B., Comparison Principle for an Equation of the Hamilton–Jacobi Type in the Control Theory, Tr. Inst. Mat. Mekh. Ural. Otd. RAN, 2006, vol. 12, no. 1, pp. 173–183.

    Google Scholar 

  19. Sinyakov, V. and Roublev, I.V., Approximation of Reachability Sets for Nonlinear Unicycle Control System Using the Comparison Principle, Proc. 9th IFAC Symposium Nonlinear Control Systems (NOLCOS 2013), 2013, pp. 688–692.

    Google Scholar 

  20. Pardalos, P.M. and Yatsenko, V., Optimization and Control of Bilinear Systems, New York, 2008.

    Book  MATH  Google Scholar 

  21. Kurzhanski, A.B. and Filippova, T.F., On the Theory of Trajectory Tubes”—a Mathematical Formalism for Uncertain Dynamics, Viability and Control, in Adv. Nonlinear Dynam. Control Ser. PSCT 17, Boston, 1993, pp. 122–188.

    Google Scholar 

  22. Mazurenko, S.S., A Differential Equation for the Gauge Function of the Star-Shaped Attainability Set of a Differential Inclusion, Dokl. Akad. Nauk Mat., 2012, vol. 445, no. 2, pp. 139–142.

    MathSciNet  Google Scholar 

  23. Bardi, M. and Capuzzo Dolcetta, I., Optimal Control and Viscosity Solutions of Hamilton–Jacobi–Bellman Equations, Boston: SCFA, 1995.

    Google Scholar 

  24. Crandall, M.G., Evans, L.C., and Lions, P.L., Some Properties of Solutions of Hamilton–Jacobi Equations, Trans. Amer. Math. Soc., 1984, vol. 282, no. 2, pp. 487–502.

    Article  MATH  MathSciNet  Google Scholar 

  25. Clarke, F.H., Ledyaev, Yu.S., Stern, R.J., and Wolenski, P.R., Nonsmooth Analysis and Control Theory, New York, 1998.

    MATH  Google Scholar 

  26. Subbotin, A.I., Obobshchennye resheniya uravnenii v chastnykh proizvodnykh pervogo poryadka. Perspektivy dinamicheskoi optimizatsii (Generalized Solutions of First-Order Partial Differential Equations. Prospects of Dynamic Optimization), Moscow–Izhevsk, 2003.

    Google Scholar 

  27. Gantmakher, F.R., Teoriya matrits (Theory of Matrices), Moscow, 2004.

    Google Scholar 

  28. Tyrtyshnikov, E.E., Matrichnyi analiz i lineinaya algebra (Matrix Analysis and Linear Algebra), Moscow, 2007.

    Google Scholar 

  29. Murray, R.M., Li, Z., and Sastry, S.S., A Mathematical Introduction to Robotic Manipulation, Boca Raton, 1994.

    MATH  Google Scholar 

  30. De Luca, A., Oriolo, G., and Samson, C., Feedback Control of a Nonholonomic Car-Like Robot, in Robot Motion Planning and Control, Laumond, J.-P., Ed., Berlin–Heidelberg, 1998, pp. 171–249.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lomonosov Moscow State University, Moscow, Russia

    V. V. Sinyakov

Authors
  1. V. V. Sinyakov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. V. Sinyakov.

Additional information

Original Russian Text © V.V. Sinyakov, 2015, published in Differentsial’nye Uravneniya, 2015, Vol. 51, No. 8, pp. 1101–1114.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sinyakov, V.V. Method for computing exterior and interior approximations to the reachability sets of bilinear differential systems. Diff Equat 51, 1097–1111 (2015). https://doi.org/10.1134/S0012266115080145

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0012266115080145

Keywords

Search

Navigation