Viability and invariance kernels of impulse differential inclusions
Impulse differential inclusions provide a framework for modelling hybrid phenomena. In the context of impulse differential inclusions, verification for safety specifications and safe controller synthesis can be formulated as viability and invariance questions for appropriate sets of states. In this...
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1644 vol.2 |
|---|---|
| container_issue | |
| container_start_page | 1639 |
| container_title | |
| container_volume | 2 |
| creator | Aubin, J.P. Lygeros, J. Quincampoix, M. Sastry, S. Seube, N. |
| description | Impulse differential inclusions provide a framework for modelling hybrid phenomena. In the context of impulse differential inclusions, verification for safety specifications and safe controller synthesis can be formulated as viability and invariance questions for appropriate sets of states. In this paper, a characterisation of viability and invariance kernels (i.e. the largest subsets of a given set that are viable or invariant) is presented. In the process, a method for computing these sets using standard viability and invariance tools is developed. |
| doi_str_mv | 10.1109/CDC.2001.981136 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_981136</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>981136</ieee_id><sourcerecordid>981136</sourcerecordid><originalsourceid>FETCH-LOGICAL-c218t-9ce14fcc1280ce079a03b9b65132dfd9e62c4064454c94e4d608e897f724fd7f3</originalsourceid><addsrcrecordid>eNotj01LAzEYhAMiKHXPgqf8ga3vm2TzcZT1Ewpe1GvJJm8guk3LZiv037tQh4E5PMPAMHaLsEYEd98_9msBgGtnEaW-YI0zFhZLAxr1FWtq_YZFqkMN3TXrv7If8pjnE_cl8lx-_ZR9CcR_aCo0Vr5PPO8Ox7ESjzklmqjM2Y9LNYzHmvel3rDL5Bfe_OeKfT4_ffSv7eb95a1_2LRBoJ1bFwhVCgGFhUBgnAc5uEF3KEVM0ZEWQYFWqlPBKVJRgyXrTDJCpWiSXLG7824mou1hyjs_nbbnp_IPCVBJIA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Viability and invariance kernels of impulse differential inclusions</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Aubin, J.P. ; Lygeros, J. ; Quincampoix, M. ; Sastry, S. ; Seube, N.</creator><creatorcontrib>Aubin, J.P. ; Lygeros, J. ; Quincampoix, M. ; Sastry, S. ; Seube, N.</creatorcontrib><description>Impulse differential inclusions provide a framework for modelling hybrid phenomena. In the context of impulse differential inclusions, verification for safety specifications and safe controller synthesis can be formulated as viability and invariance questions for appropriate sets of states. In this paper, a characterisation of viability and invariance kernels (i.e. the largest subsets of a given set that are viable or invariant) is presented. In the process, a method for computing these sets using standard viability and invariance tools is developed.</description><identifier>ISBN: 9780780370616</identifier><identifier>ISBN: 0780370619</identifier><identifier>DOI: 10.1109/CDC.2001.981136</identifier><language>eng</language><publisher>IEEE</publisher><subject>Control system synthesis ; Control systems ; Kernel ; Safety ; Standards development</subject><ispartof>Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001, Vol.2, p.1639-1644 vol.2</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c218t-9ce14fcc1280ce079a03b9b65132dfd9e62c4064454c94e4d608e897f724fd7f3</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/981136$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>310,311,782,786,791,792,2062,4054,4055,27934,54929</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/981136$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Aubin, J.P.</creatorcontrib><creatorcontrib>Lygeros, J.</creatorcontrib><creatorcontrib>Quincampoix, M.</creatorcontrib><creatorcontrib>Sastry, S.</creatorcontrib><creatorcontrib>Seube, N.</creatorcontrib><title>Viability and invariance kernels of impulse differential inclusions</title><title>Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)</title><addtitle>CDC</addtitle><description>Impulse differential inclusions provide a framework for modelling hybrid phenomena. In the context of impulse differential inclusions, verification for safety specifications and safe controller synthesis can be formulated as viability and invariance questions for appropriate sets of states. In this paper, a characterisation of viability and invariance kernels (i.e. the largest subsets of a given set that are viable or invariant) is presented. In the process, a method for computing these sets using standard viability and invariance tools is developed.</description><subject>Control system synthesis</subject><subject>Control systems</subject><subject>Kernel</subject><subject>Safety</subject><subject>Standards development</subject><isbn>9780780370616</isbn><isbn>0780370619</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2001</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj01LAzEYhAMiKHXPgqf8ga3vm2TzcZT1Ewpe1GvJJm8guk3LZiv037tQh4E5PMPAMHaLsEYEd98_9msBgGtnEaW-YI0zFhZLAxr1FWtq_YZFqkMN3TXrv7If8pjnE_cl8lx-_ZR9CcR_aCo0Vr5PPO8Ox7ESjzklmqjM2Y9LNYzHmvel3rDL5Bfe_OeKfT4_ffSv7eb95a1_2LRBoJ1bFwhVCgGFhUBgnAc5uEF3KEVM0ZEWQYFWqlPBKVJRgyXrTDJCpWiSXLG7824mou1hyjs_nbbnp_IPCVBJIA</recordid><startdate>2001</startdate><enddate>2001</enddate><creator>Aubin, J.P.</creator><creator>Lygeros, J.</creator><creator>Quincampoix, M.</creator><creator>Sastry, S.</creator><creator>Seube, N.</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope></search><sort><creationdate>2001</creationdate><title>Viability and invariance kernels of impulse differential inclusions</title><author>Aubin, J.P. ; Lygeros, J. ; Quincampoix, M. ; Sastry, S. ; Seube, N.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c218t-9ce14fcc1280ce079a03b9b65132dfd9e62c4064454c94e4d608e897f724fd7f3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2001</creationdate><topic>Control system synthesis</topic><topic>Control systems</topic><topic>Kernel</topic><topic>Safety</topic><topic>Standards development</topic><toplevel>online_resources</toplevel><creatorcontrib>Aubin, J.P.</creatorcontrib><creatorcontrib>Lygeros, J.</creatorcontrib><creatorcontrib>Quincampoix, M.</creatorcontrib><creatorcontrib>Sastry, S.</creatorcontrib><creatorcontrib>Seube, N.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Aubin, J.P.</au><au>Lygeros, J.</au><au>Quincampoix, M.</au><au>Sastry, S.</au><au>Seube, N.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Viability and invariance kernels of impulse differential inclusions</atitle><btitle>Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)</btitle><stitle>CDC</stitle><date>2001</date><risdate>2001</risdate><volume>2</volume><spage>1639</spage><epage>1644 vol.2</epage><pages>1639-1644 vol.2</pages><isbn>9780780370616</isbn><isbn>0780370619</isbn><abstract>Impulse differential inclusions provide a framework for modelling hybrid phenomena. In the context of impulse differential inclusions, verification for safety specifications and safe controller synthesis can be formulated as viability and invariance questions for appropriate sets of states. In this paper, a characterisation of viability and invariance kernels (i.e. the largest subsets of a given set that are viable or invariant) is presented. In the process, a method for computing these sets using standard viability and invariance tools is developed.</abstract><pub>IEEE</pub><doi>10.1109/CDC.2001.981136</doi></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9780780370616 |
| ispartof | Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001, Vol.2, p.1639-1644 vol.2 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_981136 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Control system synthesis Control systems Kernel Safety Standards development |
| title | Viability and invariance kernels of impulse differential inclusions |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-02T11%3A06%3A40IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Viability%20and%20invariance%20kernels%20of%20impulse%20differential%20inclusions&rft.btitle=Proceedings%20of%20the%2040th%20IEEE%20Conference%20on%20Decision%20and%20Control%20(Cat.%20No.01CH37228)&rft.au=Aubin,%20J.P.&rft.date=2001&rft.volume=2&rft.spage=1639&rft.epage=1644%20vol.2&rft.pages=1639-1644%20vol.2&rft.isbn=9780780370616&rft.isbn_list=0780370619&rft_id=info:doi/10.1109/CDC.2001.981136&rft_dat=%3Cieee_6IE%3E981136%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=981136&rfr_iscdi=true |