References
References
- Krasovski NN 1971 Rendezvous Game Problems Springfield VA National Technical Information Survey
- Lee EB Markus L 1961 Foundations of Optimal Control Theory New York Wiley
- Leitmann G 1982 Optimality and Reachability with Feedback Controls In: A. Blaquiere and G. Leitmann (Eds) Dynamic Systems and Microphysics New York Academic Press
- Kurzhanski AB 1977 Control and Observation under Uncertainty Moscow Nauka
- Chernousko FL 1994 State Estimation for Dynamic Systems Boca Raton CRC Press
- Varaiya P 1998 Reach set computation using optimal control In: O. Maler and J. Sifakis (Eds) Proc. of KIT Workshop on Verification of Hybrid Systems Verimag Grenoble
- Lygeros , JC , Tomlin , C and Sastri , S . 1999 . Controllers for Reachability Specifications for Hybrid Systems . Automatica , 35 : 349 – 370 .
- Puri A Varaiya P 1996 Decidability of hybrid systems with rectangular inclusions In: D. Dill (Ed.) Proc. CAV’ 94 Lecture Notes in Computer Sciences (LNCS) 1066 Berlin Springer
- Kurzhanski AB Valyi I 1997 Ellipsoidal Calculus for Estimation and Control Boston Birkhäuser
- Kurzhanski , AB and Varaiya , P . 2002 . Reachability under uncertainty . SIAM Journal on Control and Optimization , 41 : 181 – 216 .
- Kurzhanski , AB and Varaiya , P . 2002 . On ellipsoidal techniques for reachability analysis. Part I: External Approximations, Part II: Internal Approximations. Box-valued Constraints . Optimization Methods and Software , 17 : 187 – 237 .
- Kurzhanski AB 1988 Identification: a Theory of Guaranteed Estimates In: J.C. Willems (Ed) From Data to Model Berlin Springer-Verlag
- Kurzhanski , AB and Varaiya , P . 2002 . Reachability Analysis for Uncertain Systems – The Ellipsoidal Technique . Dynamics of Continuous, Discrete and Impulsive Systems, Series B , 9 : 347 – 367 .