Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes
This paper presents a method for computing the reach set of affine systems for sets of initial states given as low-dimensional polytopes. An affine representation for polytopes is introduced to improve the efficiency of set representations. Using the affine representation, we present a procedure to...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 301 |
|---|---|
| container_issue | |
| container_start_page | 287 |
| container_title | |
| container_volume | |
| creator | Han, Zhi Krogh, Bruce H. |
| description | This paper presents a method for computing the reach set of affine systems for sets of initial states given as low-dimensional polytopes. An affine representation for polytopes is introduced to improve the efficiency of set representations. Using the affine representation, we present a procedure to compute conservative over-approximations of the reach set, which uses the Krylov subspace approximation method to handle large-scale affine systems (systems of order over 100). |
| doi_str_mv | 10.1007/11730637_23 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_19309052</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19309052</sourcerecordid><originalsourceid>FETCH-LOGICAL-c261t-de5e9fd6ca099d5ee2c2d06264fc1c4a6b08c1a861aa534f3fe5022b23b63bb93</originalsourceid><addsrcrecordid>eNpNkMtOwzAURM1Loi1d8QPesGARuNc3ceplxVuKBKJ0HTmOXQxpXMWRUP6eoILEahZzZjQaxs4RrhAgv0bMCSTlpaADNlf5grIUiDBHPGQTlIgJUaqO2PTPADhmEyAQicpTOmXTGD8AQORKTNjq1Wrzrivf-H7gy1Y3Q_SRB8cL3W1ssjK6sXzpnG8tXw2xt9vI19G3G16Er-TWb20bfRhz_CU0Qx92Np6xE6ebaOe_OmPr-7u3m8ekeH54ulkWiRES-6S2mVWulkaDUnVmrTCiBilk6gyaVMsKFgb1QqLWGaWOnM1AiEpQJamqFM3Yxb53p-M403W6NT6Wu85vdTeUqAgUZGLkLvdcHK12Y7uyCuEzlgjlz6Xlv0vpGyCqY-k</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes</title><source>Springer Books</source><creator>Han, Zhi ; Krogh, Bruce H.</creator><contributor>Tiwari, Ashish ; Hespanha, João P.</contributor><creatorcontrib>Han, Zhi ; Krogh, Bruce H. ; Tiwari, Ashish ; Hespanha, João P.</creatorcontrib><description>This paper presents a method for computing the reach set of affine systems for sets of initial states given as low-dimensional polytopes. An affine representation for polytopes is introduced to improve the efficiency of set representations. Using the affine representation, we present a procedure to compute conservative over-approximations of the reach set, which uses the Krylov subspace approximation method to handle large-scale affine systems (systems of order over 100).</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540331700</identifier><identifier>ISBN: 9783540331704</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540331711</identifier><identifier>EISBN: 3540331719</identifier><identifier>DOI: 10.1007/11730637_23</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Automata. Abstract machines. Turing machines ; Computer science; control theory; systems ; Control theory. Systems ; Exact sciences and technology ; Hybrid Dynamic System ; Krylov Subspace ; Krylov Subspace Method ; Linear System Model ; Reachability Analysis ; Theoretical computing</subject><ispartof>Hybrid Systems: Computation and Control, 2006, p.287-301</ispartof><rights>Springer-Verlag Berlin Heidelberg 2006</rights><rights>2007 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c261t-de5e9fd6ca099d5ee2c2d06264fc1c4a6b08c1a861aa534f3fe5022b23b63bb93</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11730637_23$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11730637_23$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,779,780,784,789,790,793,4050,4051,27925,38255,41442,42511</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19309052$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Tiwari, Ashish</contributor><contributor>Hespanha, João P.</contributor><creatorcontrib>Han, Zhi</creatorcontrib><creatorcontrib>Krogh, Bruce H.</creatorcontrib><title>Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes</title><title>Hybrid Systems: Computation and Control</title><description>This paper presents a method for computing the reach set of affine systems for sets of initial states given as low-dimensional polytopes. An affine representation for polytopes is introduced to improve the efficiency of set representations. Using the affine representation, we present a procedure to compute conservative over-approximations of the reach set, which uses the Krylov subspace approximation method to handle large-scale affine systems (systems of order over 100).</description><subject>Applied sciences</subject><subject>Automata. Abstract machines. Turing machines</subject><subject>Computer science; control theory; systems</subject><subject>Control theory. Systems</subject><subject>Exact sciences and technology</subject><subject>Hybrid Dynamic System</subject><subject>Krylov Subspace</subject><subject>Krylov Subspace Method</subject><subject>Linear System Model</subject><subject>Reachability Analysis</subject><subject>Theoretical computing</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540331700</isbn><isbn>9783540331704</isbn><isbn>9783540331711</isbn><isbn>3540331719</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNpNkMtOwzAURM1Loi1d8QPesGARuNc3ceplxVuKBKJ0HTmOXQxpXMWRUP6eoILEahZzZjQaxs4RrhAgv0bMCSTlpaADNlf5grIUiDBHPGQTlIgJUaqO2PTPADhmEyAQicpTOmXTGD8AQORKTNjq1Wrzrivf-H7gy1Y3Q_SRB8cL3W1ssjK6sXzpnG8tXw2xt9vI19G3G16Er-TWb20bfRhz_CU0Qx92Np6xE6ebaOe_OmPr-7u3m8ekeH54ulkWiRES-6S2mVWulkaDUnVmrTCiBilk6gyaVMsKFgb1QqLWGaWOnM1AiEpQJamqFM3Yxb53p-M403W6NT6Wu85vdTeUqAgUZGLkLvdcHK12Y7uyCuEzlgjlz6Xlv0vpGyCqY-k</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Han, Zhi</creator><creator>Krogh, Bruce H.</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2006</creationdate><title>Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes</title><author>Han, Zhi ; Krogh, Bruce H.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c261t-de5e9fd6ca099d5ee2c2d06264fc1c4a6b08c1a861aa534f3fe5022b23b63bb93</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Applied sciences</topic><topic>Automata. Abstract machines. Turing machines</topic><topic>Computer science; control theory; systems</topic><topic>Control theory. Systems</topic><topic>Exact sciences and technology</topic><topic>Hybrid Dynamic System</topic><topic>Krylov Subspace</topic><topic>Krylov Subspace Method</topic><topic>Linear System Model</topic><topic>Reachability Analysis</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Han, Zhi</creatorcontrib><creatorcontrib>Krogh, Bruce H.</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Han, Zhi</au><au>Krogh, Bruce H.</au><au>Tiwari, Ashish</au><au>Hespanha, João P.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes</atitle><btitle>Hybrid Systems: Computation and Control</btitle><date>2006</date><risdate>2006</risdate><spage>287</spage><epage>301</epage><pages>287-301</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540331700</isbn><isbn>9783540331704</isbn><eisbn>9783540331711</eisbn><eisbn>3540331719</eisbn><abstract>This paper presents a method for computing the reach set of affine systems for sets of initial states given as low-dimensional polytopes. An affine representation for polytopes is introduced to improve the efficiency of set representations. Using the affine representation, we present a procedure to compute conservative over-approximations of the reach set, which uses the Krylov subspace approximation method to handle large-scale affine systems (systems of order over 100).</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11730637_23</doi><tpages>15</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Hybrid Systems: Computation and Control, 2006, p.287-301 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_19309052 |
| source | Springer Books |
| subjects | Applied sciences Automata. Abstract machines. Turing machines Computer science control theory systems Control theory. Systems Exact sciences and technology Hybrid Dynamic System Krylov Subspace Krylov Subspace Method Linear System Model Reachability Analysis Theoretical computing |
| title | Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-22T15%3A43%3A30IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Reachability%20Analysis%20of%20Large-Scale%20Affine%20Systems%20Using%20Low-Dimensional%20Polytopes&rft.btitle=Hybrid%20Systems:%20Computation%20and%20Control&rft.au=Han,%20Zhi&rft.date=2006&rft.spage=287&rft.epage=301&rft.pages=287-301&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540331700&rft.isbn_list=9783540331704&rft_id=info:doi/10.1007/11730637_23&rft_dat=%3Cpascalfrancis_sprin%3E19309052%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540331711&rft.eisbn_list=3540331719&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |