{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T04:38:02Z","timestamp":1776487082758,"version":"3.51.2"},"reference-count":23,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Optimization Methods and Software"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1080\/1055678021000012435","type":"journal-article","created":{"date-parts":[[2004,5,1]],"date-time":"2004-05-01T05:26:54Z","timestamp":1083389214000},"page":"207-237","source":"Crossref","is-referenced-by-count":42,"title":["On Ellipsoidal Techniques for Reachability Analysis. Part II: Internal Approximations Box-valued Constraints"],"prefix":"10.1080","volume":"17","author":[{"given":"A.B.","family":"Kurzhanski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Varaiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970777","volume-title":"Linear Matrix Inequalities in System and Control Theory","author":"Boyd S.","year":"1994"},{"key":"CIT0002","volume-title":"State Estimation for Dynamic Systems","author":"Chernousko F.L.","year":"1994"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48983-5_10"},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"Hybrid Systems: Computation and Control, LNCS 1386","author":"Dang T.","year":"1998"},{"key":"CIT0005","volume-title":"Matrix Theory, I-II","author":"Gantmacher F.R.","year":"1960"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"Gayer, J.E. A survey of techniques for approximating reachable and controllable sets. Proc. IEEE Conf. On Decision and Control. pp.1724\u20131729. Brighton.","DOI":"10.1109\/CDC.1991.261702"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48983-5_12"},{"key":"CIT0008","volume-title":"Linear Systems","author":"Kailath T.","year":"1980"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1080\/10556789808805696"},{"key":"CIT0010","unstructured":"Kostousova, E.K. and Kurzhanski, A.B. Theoretical framework and approximation techniques for parallel computation in set-membership state estimation. Proc. of Symp. on Modelling, Analysis and Simulation. Vol. 2, pp.849\u2013854. France: CESA'96 IMCS Multicon, Lille."},{"key":"CIT0011","volume-title":"Rendezvous game problems","author":"Krasovski N.N.","year":"1971"},{"key":"CIT0012","volume-title":"Control and Observation Under Uncertainty Conditions","author":"Kurzhanski A.B.","year":"1997"},{"key":"CIT0013","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0277-6","volume-title":"Ellipsoidal Calculus for Estimation and Control. Birkh\u00e4user, Boston, ser","author":"Kurzhanski A.B.","year":"1997"},{"key":"CIT0014","first-page":"202","volume-title":"Hybrid Systems: Computation and Control, Lecture notes in Computer Science","volume":"1790","author":"Kurzhanski A.B.","year":"2000"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"CIT0016","volume-title":"Foundations of Optimal Control Theory","author":"Lee E.B.","year":"1967"},{"key":"CIT0017","volume-title":"Dynamic Systems and Mycrophysics","author":"Leitmann G.","year":"1982"},{"key":"CIT0018","series-title":"Bayreuther Mathematische Schriften, Heft 54","volume-title":"Discrete approximations of differential inclusions","author":"Lempio F.","year":"1998"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1016\/0041-5553(75)90167-6"},{"key":"CIT0020","first-page":"109","volume-title":"Hybrid Systems, LNCS 1201","author":"Puri A.","year":"1996"},{"key":"CIT0021","volume-title":"Proc. CAV'94, LNCS 1066","author":"Puri A.","year":"1996"},{"key":"CIT0022","volume-title":"Convex Analysis,","author":"Rockafellar R.T.","year":"1999","edition":"2"},{"key":"CIT0023","volume-title":"Proc. of KIT Wokshop on Verification on Hybrid Systems","author":"Varaiya P.","year":"1998"}],"container-title":["Optimization Methods and Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/1055678021000012435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,16]],"date-time":"2024-12-16T09:18:50Z","timestamp":1734340730000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/1055678021000012435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["10.1080\/1055678021000012435"],"URL":"https:\/\/doi.org\/10.1080\/1055678021000012435","relation":{},"ISSN":["1055-6788","1029-4937"],"issn-type":[{"value":"1055-6788","type":"print"},{"value":"1029-4937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}