A robust control system design by a special quantifier elimination:
Abstract: "For multi-objective design and robust control synthesis problems, the methods based on Quantifier Elimination (QE) have been proposed. QE based methods are really suitable for such problems but, in general, they have a drawback on computational complexity. In this paper, we will prop...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Passau
2000
|
| Series: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
2000,04 |
| Subjects: | |
| Summary: | Abstract: "For multi-objective design and robust control synthesis problems, the methods based on Quantifier Elimination (QE) have been proposed. QE based methods are really suitable for such problems but, in general, they have a drawback on computational complexity. In this paper, we will propose an efficient symbolic method for a parameter space approach based on Sign Definite Condition (SDC) by a special quantifier elimination using Sturm-Habicht sequence. Then we examine its feasibility, in particular, for multi-objective control using low degree fixed-structure controller by showing the several experimental results." |
| Physical Description: | 24, 3 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013085275 | ||
| 003 | DE-604 | ||
| 005 | 20000717 | ||
| 007 | t| | ||
| 008 | 000403s2000 xx d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)45097288 | ||
| 035 | |a (DE-599)BVBBV013085275 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-154 |a DE-739 |a DE-12 |a DE-703 |a DE-634 | ||
| 100 | 1 | |a Anai, Hirokazu |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A robust control system design by a special quantifier elimination |c H. Anai ; S. Hara |
| 264 | 1 | |a Passau |c 2000 | |
| 300 | |a 24, 3 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |v 2000,04 | |
| 520 | 3 | |a Abstract: "For multi-objective design and robust control synthesis problems, the methods based on Quantifier Elimination (QE) have been proposed. QE based methods are really suitable for such problems but, in general, they have a drawback on computational complexity. In this paper, we will propose an efficient symbolic method for a parameter space approach based on Sign Definite Condition (SDC) by a special quantifier elimination using Sturm-Habicht sequence. Then we examine its feasibility, in particular, for multi-objective control using low degree fixed-structure controller by showing the several experimental results." | |
| 650 | 4 | |a Decomposition (Mathematics) | |
| 650 | 4 | |a Elimination | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 700 | 1 | |a Hara, Shinji |e Verfasser |4 aut | |
| 810 | 2 | |a Fakultät für Mathematik und Informatik: MIP |t Universität <Passau> |v 2000,04 |w (DE-604)BV000905393 |9 2000,04 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008913795 | |
Record in the Search Index
| _version_ | 1820882318019002368 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Anai, Hirokazu Hara, Shinji |
| author_facet | Anai, Hirokazu Hara, Shinji |
| author_role | aut aut |
| author_sort | Anai, Hirokazu |
| author_variant | h a ha s h sh |
| building | Verbundindex |
| bvnumber | BV013085275 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)45097288 (DE-599)BVBBV013085275 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV013085275</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000717</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000403s2000 xx d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45097288</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013085275</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-154</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Anai, Hirokazu</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A robust control system design by a special quantifier elimination</subfield><subfield code="c">H. Anai ; S. Hara</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">24, 3 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">2000,04</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "For multi-objective design and robust control synthesis problems, the methods based on Quantifier Elimination (QE) have been proposed. QE based methods are really suitable for such problems but, in general, they have a drawback on computational complexity. In this paper, we will propose an efficient symbolic method for a parameter space approach based on Sign Definite Condition (SDC) by a special quantifier elimination using Sturm-Habicht sequence. Then we examine its feasibility, in particular, for multi-objective control using low degree fixed-structure controller by showing the several experimental results."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decomposition (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Elimination</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hara, Shinji</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="t">Universität <Passau></subfield><subfield code="v">2000,04</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">2000,04</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008913795</subfield></datafield></record></collection> |
| id | DE-604.BV013085275 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:04:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008913795 |
| oclc_num | 45097288 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-12 DE-703 DE-634 |
| owner_facet | DE-154 DE-739 DE-12 DE-703 DE-634 |
| physical | 24, 3 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Anai, Hirokazu Verfasser aut A robust control system design by a special quantifier elimination H. Anai ; S. Hara Passau 2000 24, 3 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 2000,04 Abstract: "For multi-objective design and robust control synthesis problems, the methods based on Quantifier Elimination (QE) have been proposed. QE based methods are really suitable for such problems but, in general, they have a drawback on computational complexity. In this paper, we will propose an efficient symbolic method for a parameter space approach based on Sign Definite Condition (SDC) by a special quantifier elimination using Sturm-Habicht sequence. Then we examine its feasibility, in particular, for multi-objective control using low degree fixed-structure controller by showing the several experimental results." Decomposition (Mathematics) Elimination Logic, Symbolic and mathematical Hara, Shinji Verfasser aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 2000,04 (DE-604)BV000905393 2000,04 |
| spellingShingle | Anai, Hirokazu Hara, Shinji A robust control system design by a special quantifier elimination Decomposition (Mathematics) Elimination Logic, Symbolic and mathematical |
| title | A robust control system design by a special quantifier elimination |
| title_auth | A robust control system design by a special quantifier elimination |
| title_exact_search | A robust control system design by a special quantifier elimination |
| title_full | A robust control system design by a special quantifier elimination H. Anai ; S. Hara |
| title_fullStr | A robust control system design by a special quantifier elimination H. Anai ; S. Hara |
| title_full_unstemmed | A robust control system design by a special quantifier elimination H. Anai ; S. Hara |
| title_short | A robust control system design by a special quantifier elimination |
| title_sort | a robust control system design by a special quantifier elimination |
| topic | Decomposition (Mathematics) Elimination Logic, Symbolic and mathematical |
| topic_facet | Decomposition (Mathematics) Elimination Logic, Symbolic and mathematical |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT anaihirokazu arobustcontrolsystemdesignbyaspecialquantifierelimination AT harashinji arobustcontrolsystemdesignbyaspecialquantifierelimination |