{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:22:43Z","timestamp":1729617763573,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cca.2004.1387594","type":"proceedings-article","created":{"date-parts":[[2005,3,7]],"date-time":"2005-03-07T18:32:27Z","timestamp":1110220347000},"page":"1540-1545","source":"Crossref","is-referenced-by-count":10,"title":["Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox"],"prefix":"10.1109","volume":"2","author":[{"given":"H.","family":"Anai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Yanami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Hara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Sakabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/3-540-45351-2_9","article-title":"Reach set computation using real quantifier elimination","volume":"2034","author":"anai","year":"2001","journal-title":"Proceedings of International Workshop on Hybrid Systems Computation and Control (HSCC2001)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.688368"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_14"},{"key":"ref14","first-page":"287","article-title":"UH DO control system design by a parameter space approach","author":"hara","year":"1991","journal-title":"Proceedings of MTNS-9J"},{"key":"ref15","first-page":"1533","article-title":"A robust control system design by a parameter space approach based on sign definition condition","author":"kimura","year":"1991","journal-title":"Proceedings of KA CC-9J"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.9746\/sicetr1965.27.714"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0016-0032(71)90014-7"},{"key":"ref18","first-page":"828","article-title":"SyNRAC: A maple-package for solving real algebraic constraints","author":"anai","year":"2003","journal-title":"Proceedings of International Workshop on Computer Algebra Systems and their Applications (CASA) 2003 (Saint Petersburg Russian Federation)"},{"key":"ref19","article-title":"A matlah toolbox for robust control synthesis by symbolic computation","author":"sakabe","year":"0","journal-title":"Proceedings of SICE Annual Conference 2004 (Sapporo Japan) to appear"},{"article-title":"Constructive methods for inequality constraints in control","year":"1998","author":"jirstrand","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0120"},{"key":"ref6","article-title":"A parameter space approach for fixed-order robust controller synthesis by symbolic computation","author":"anai","year":"0","journal-title":"Proceedings of IFAC �Vor\/d Congress on Automatic Control b'02 2002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.876713"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80003-8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SICE.2002.1195487"},{"key":"ref2","first-page":"340","article-title":"Appli-cation of quantifier elimination theory to control system design","author":"abdallah","year":"1996","journal-title":"Proceedings of Jth IEEE Mediteranean Symposium on Control and Automation+ Maleme Crete"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-9459-1","article-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"caviness","year":"1998"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0119"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.815013"},{"key":"ref22","first-page":"136","article-title":"Sturm-habicht sequence","author":"gonzalez-vega","year":"1989","journal-title":"Proceedings of lSSAC'S9"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_19"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.450"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80003-8"}],"event":{"name":"Proceedings of the 2004 IEEE International Conference on Control Applications","acronym":"CCA-04","location":"Taipei, Taiwan"},"container-title":["Proceedings of the 2004 IEEE International Conference on Control Applications, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9527\/30193\/01387594.pdf?arnumber=1387594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T16:46:01Z","timestamp":1497631561000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1387594\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cca.2004.1387594","relation":{},"subject":[]}}