乐胖代购免代理版

{"id":"https://openalex.org/W2470330431","doi":"https://doi.org/10.1016/j.tcs.2016.06.009","title":"Deadness and how to disprove liveness in hybrid dynamical systems","display_name":"Deadness and how to disprove liveness in hybrid dynamical systems","publication_year":2016,"publication_date":"2016-06-27","ids":{"openalex":"https://openalex.org/W2470330431","doi":"https://doi.org/10.1016/j.tcs.2016.06.009","mag":"2470330431"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2016.06.009","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.tcs.2016.06.009","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008571456","display_name":"Eva M. Navarro-L\u00f3pez","orcid":"https://orcid.org/0000-0001-8762-6943"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Eva M. Navarro-L\u00f3pez","raw_affiliation_strings":["School of Computer Science, The University of Manchester, Oxford Road, Kilburn Building, Manchester, M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, The University of Manchester, Oxford Road, Kilburn Building, Manchester, M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090863816","display_name":"Rebekah Carter","orcid":null},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rebekah Carter","raw_affiliation_strings":["School of Computer Science, The University of Manchester, Oxford Road, Kilburn Building, Manchester, M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, The University of Manchester, Oxford Road, Kilburn Building, Manchester, M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008571456"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690,"provenance":"doaj"},"apc_paid":{"value":1623,"currency":"EUR","value_usd":1750,"provenance":"openapc"},"fwci":1.357,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":7,"citation_normalized_percentile":{"value":0.566291,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":83,"max":84},"biblio":{"volume":"642","issue":null,"first_page":"1","last_page":"23"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9681,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9622,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.98613274},{"id":"https://openalex.org/keywords/dynamical-system","display_name":"Dynamical system (definition)","score":0.59330004}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.98613274},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.75212693},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.71669227},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6328733},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.62781906},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.59330004},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.57277995},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.5218605},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3311466},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0882411},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2016.06.009","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/2436/623937","pdf_url":"https://wlv.openrepository.com/bitstream/2436/623937/3/Navarro-Lopez_Deadness_2016.pdf","source":{"id":"https://openalex.org/S4306401000","display_name":"Wolverhampton Intellectual Repository and E-Theses (University of Wolverhampton)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119664326","host_organization_name":"University of Wolverhampton","host_organization_lineage":["https://openalex.org/I119664326"],"host_organization_lineage_names":["University of Wolverhampton"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2016.06.009","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320320240","funder_display_name":"Research Councils UK","award_id":"EP/E50048/1"},{"funder":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council","award_id":"EP/I001689/1"}],"datasets":[],"versions":[],"referenced_works_count":92,"referenced_works":["https://openalex.org/W1482438700","https://openalex.org/W1482875841","https://openalex.org/W1482912566","https://openalex.org/W1486663866","https://openalex.org/W1516289514","https://openalex.org/W1522228969","https://openalex.org/W1525658795","https://openalex.org/W1528685560","https://openalex.org/W1531018690","https://openalex.org/W1535116423","https://openalex.org/W1551696135","https://openalex.org/W1552094772","https://openalex.org/W1579164394","https://openalex.org/W1580456725","https://openalex.org/W1607353007","https://openalex.org/W1656273969","https://openalex.org/W1720608511","https://openalex.org/W185629625","https://openalex.org/W1964723886","https://openalex.org/W1965032334","https://openalex.org/W1969626918","https://openalex.org/W1971846892","https://openalex.org/W197679583","https://openalex.org/W1994348879","https://openalex.org/W1995691455","https://openalex.org/W1999629321","https://openalex.org/W2000803546","https://openalex.org/W2002089154","https://openalex.org/W2008288068","https://openalex.org/W2011580096","https://openalex.org/W2013840602","https://openalex.org/W2021673620","https://openalex.org/W2023808162","https://openalex.org/W2026629052","https://openalex.org/W2031992770","https://openalex.org/W2042027173","https://openalex.org/W2049696538","https://openalex.org/W2066057891","https://openalex.org/W2067441543","https://openalex.org/W2068864491","https://openalex.org/W2071520194","https://openalex.org/W2071797744","https://openalex.org/W2072215604","https://openalex.org/W2085838366","https://openalex.org/W2087465133","https://openalex.org/W2089073844","https://openalex.org/W2096698163","https://openalex.org/W2099308299","https://openalex.org/W2104958104","https://openalex.org/W2107164313","https://openalex.org/W2115198108","https://openalex.org/W2118741873","https://openalex.org/W2122321090","https://openalex.org/W2124778357","https://openalex.org/W2128705492","https://openalex.org/W2129231075","https://openalex.org/W2130519480","https://openalex.org/W2131441094","https://openalex.org/W2134182264","https://openalex.org/W2138846859","https://openalex.org/W2144329495","https://openalex.org/W2149817600","https://openalex.org/W2153803621","https://openalex.org/W2157911271","https://openalex.org/W2158859403","https://openalex.org/W2161491210","https://openalex.org/W2162982600","https://openalex.org/W2163850966","https://openalex.org/W2165690864","https://openalex.org/W2166656159","https://openalex.org/W2170742323","https://openalex.org/W2170815052","https://openalex.org/W2171235575","https://openalex.org/W2172357028","https://openalex.org/W2414119487","https://openalex.org/W2475576466","https://openalex.org/W2476491145","https://openalex.org/W2477728106","https://openalex.org/W2478741156","https://openalex.org/W2572378421","https://openalex.org/W2739962188","https://openalex.org/W2754657703","https://openalex.org/W2914206182","https://openalex.org/W2952721922","https://openalex.org/W333239218","https://openalex.org/W4206053810","https://openalex.org/W4233296508","https://openalex.org/W4239509541","https://openalex.org/W4252850254","https://openalex.org/W4302339081","https://openalex.org/W4387839489","https://openalex.org/W4388013161"],"related_works":["https://openalex.org/W4401726393","https://openalex.org/W4250831671","https://openalex.org/W4240278998","https://openalex.org/W2470330431","https://openalex.org/W2230606337","https://openalex.org/W2154236742","https://openalex.org/W1968813561","https://openalex.org/W183350788","https://openalex.org/W1552641502","https://openalex.org/W1201114281"],"abstract_inverted_index":{"What":[0],"if":[1,157],"we":[2,78,120,138,144],"designed":[3],"a":[4,25,29,48,80,87,140,149,153,166,185],"tool":[5,26],"to":[6,22,50,105],"automatically":[7,54,125,183],"prove":[8],"the":[9,33,51,93,109,122,127,160],"dynamical":[10,37,73,113,133],"properties":[11,59,85,129,182],"of":[12,35,53,60,68,82,97,111,124,130,152,165,187,206],"systems":[13,38,62,208],"for":[14,184,198],"which":[15,143,178],"analytic":[16],"proof":[17],"is":[18,42,148],"difficult":[19],"or":[20],"impossible":[21],"obtain?":[23],"Such":[24],"would":[27],"represent":[28,203],"significant":[30],"advance":[31],"in":[32],"understanding":[34],"complex":[36,61,210],"with":[39,63,209],"nonlinearities.":[40],"This":[41,147],"precisely":[43],"what":[44],"this":[45,76,136,172,195],"paper":[46],"offers:":[47],"solution":[49],"problem":[52,123],"proving":[55],"some":[56,83],"dynamic":[57],"stability":[58,84],"multiple":[64],"discontinuities":[65],"and":[66,99,174],"modes":[67],"operation":[69],"modelled":[70],"as":[71],"hybrid":[72,112,132,154,207],"systems.":[74,114,134],"For":[75,135],"purpose,":[77,137],"propose":[79],"reinterpretation":[81],"from":[86],"computational":[88],"viewpoint,":[89],"chiefly":[90],"by":[91,163],"using":[92],"computer":[94,116],"science":[95,117],"concepts":[96,103],"safety":[98],"liveness.":[100],"However,":[101],"these":[102],"need":[104],"be":[106],"redefined":[107],"within":[108],"framework":[110],"In":[115],"terms,":[118],"here,":[119],"consider":[121],"disproving":[126],"liveness":[128,161,188],"nonlinear":[131],"define":[139,171],"new":[141],"property,":[142,173],"call":[145],"deadness.":[146],"dynamically-aware":[150],"property":[151,162,189],"system":[155],"which,":[156],"true,":[158],"disproves":[159],"means":[164],"finite":[167],"execution.":[168],"We":[169,192],"formally":[170],"give":[175],"an":[176],"algorithm":[177,196],"can":[179],"derive":[180],"deadness":[181],"type":[186],"called":[190],"inevitability.":[191],"show":[193],"how":[194],"works":[197],"three":[199,204],"different":[200],"examples":[201],"that":[202],"classes":[205],"behaviours.":[211]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2470330431","counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2}],"updated_date":"2025-01-16T16:23:55.721130","created_date":"2016-07-22"}