Reachability analysis for hybrid systems with nonlinear guard sets
Saved in:
| Published in | Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3365365.3382194 |
Cover
| BookMark | eNotj0trwzAQhHVoD22ac6_6A053Lb90bENfEAiU5mxW9roWKEqQHIL-fV1qGJjDMDN89-LGnzwL8YiwQSzKJ6WqctZGqSZHXdyJly-mbiRjnZ2SJE8uRRvlcApyTCbYXsYUJz5GebXTKOc5Zz1TkD8XCnPIU3wQtwO5yOvFV-Lw9vq9_ch2-_fP7fMuo_ltyrDCkphq6BQ2NeuqyYlIgxlYA-eMChhN1XMHBnIwOSHAXCgU9rVuGrUS8L978WdKV3KuPQd7pJBahPYPr13w2gVP_QKyZ0qc |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/3365365.3382194 |
| DatabaseName | Unpaywall for CDI: Periodical Content Unpaywall |
| Database_xml | – sequence: 1 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | oai:mediatum.ub.tum.de:node/1591470 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a338t-1615aea70c3187e9682aaa90bfe90e2e130e1b6dec0b020b2a100aea431d79883 |
| IEDL.DBID | UNPAY |
| IngestDate | Sun Oct 26 02:53:05 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| License | other-oa |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a338t-1615aea70c3187e9682aaa90bfe90e2e130e1b6dec0b020b2a100aea431d79883 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://mediatum.ub.tum.de/1591470 |
| ParticipantIDs | unpaywall_primary_10_1145_3365365_3382194 |
| PublicationTitle | Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control |
| Score | 1.8608595 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Reachability analysis for hybrid systems with nonlinear guard sets |
| URI | https://mediatum.ub.tum.de/1591470 |
| UnpaywallVersion | submittedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1BS8MwFH6M7SBeVJyoqATx4qFb2ibpetThGIJjiIN5Kkn6ouAcY2uR-et9sXWKB0Eo5NKQ9LWP73vlfV8ALtAqIZ2MApVbQQWK5YHBUAUu9hOIYjj0eue7kRpOxO1UThtw_qWF-dRLFOWrb7jwQ45dAtxQJFSWt5Qkvt2E1mQ0vnqsfXpCIbtxrCRdHSq3KAHFNmyV84Vev-nZ7AdYDHag_7VM1SPy0ikL07HvvxwY_97HLrS_xXhsvIGZPWjgfB-u730XZOWxvWa6dhZhxEDZ89qLsFhl0bxi_kcrm1eGGHrJnvwnwVZYrNowGdw89IdBfRxCoOnBisBzM4064ZbyMMFU9SKtdcqNw5RjhIRGGBqVo-WGSKCJdMg5TSCKkHtXsvgAmrQcHgKTkYsxsVQ8JaEwXPUsJX6qpXN5ShwgOYLLTQSzRWV7kVUSZpnV0c7qaB__494TaBbLEk8JxwtzVr_IDyUEoC0 |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1BS8MwFH6M7SBeVJyoqATx4qFb2ibpetThGIJjiIN5Kkn6ouAcY2uR-et9sXWKB0Eo5NKQ9LWP73vlfV8ALtAqIZ2MApVbQQWK5YHBUAUu9hOIYjj0eue7kRpOxO1UThtw_qWF-dRLFOWrb7jwQ45dAtxQJFSWt5Qkvt2E1mQ0vnqsfXpCIbtxrCRdHSq3KAHFNmyV84Vev-nZ7AdYDHag_7VM1SPy0ikL07HvvxwY_97HLrS_xXhsvIGZPWjgfB-u730XZOWxvWa6dhZhxEDZ89qLsFhl0bxi_kcrm1eGGHrJnvwnwVZYrNowGdw89IdBfRxCoOnBisBzM4064ZbyMMFU9SKtdcqNw5RjhIRGGBqVo-WGSKCJdMg5TSCKkHtXsvgAmrQcHgKTkYsxsVQ8JaEwXPUsJX6qpXN5ShwgOYLLTQSzRWV7kVUSZpnV0c7qaB__494TaBbLEk8JxwtzVr_IDyUEoC0 |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+23rd+International+Conference+on+Hybrid+Systems%3A+Computation+and+Control&rft.atitle=Reachability+analysis+for+hybrid+systems+with+nonlinear+guard+sets&rft_id=info:doi/10.1145%2F3365365.3382194&rft.externalDocID=oai%3Amediatum.ub.tum.de%3Anode%2F1591470 |