乐胖代购免代理版

{"id":"https://openalex.org/W2063793676","doi":"https://doi.org/10.1145/1457246.1457249","title":"Verifying average dwell time of hybrid systems","display_name":"Verifying average dwell time of hybrid systems","publication_year":2008,"publication_date":"2008-12-01","ids":{"openalex":"https://openalex.org/W2063793676","doi":"https://doi.org/10.1145/1457246.1457249","mag":"2063793676"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1457246.1457249","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":"http://liberzon.csl.illinois.edu/research/ADT06.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085795401","display_name":"Sayan Mitra","orcid":"https://orcid.org/0000-0002-6672-8470"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sayan Mitra","raw_affiliation_strings":["[University of Illinois at Urbana-Champaign,Urbana,IL]"],"affiliations":[{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,Urbana,IL]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086321981","display_name":"Daniel Liberzon","orcid":"https://orcid.org/0000-0003-2383-0114"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Liberzon","raw_affiliation_strings":["[University of Illinois at Urbana-Champaign,Urbana,IL]"],"affiliations":[{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,Urbana,IL]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071944803","display_name":"Nancy Lynch","orcid":"https://orcid.org/0000-0003-3045-265X"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nancy Lynch","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, MA,"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, MA,","institution_ids":["https://openalex.org/I63966007"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.113,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.903271,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"8","issue":"1","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9996,"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.9996,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9819,"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/T11549","display_name":"Synthetic Organic Chemistry Methods","score":0.9682,"subfield":{"id":"https://openalex.org/subfields/1605","display_name":"Organic Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.7009904},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.6490609},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.6281631},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.49879527}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.8022195},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7229799},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.7009904},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.6490609},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.6281631},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.60312676},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5733593},{"id":"https://openalex.org/C139423837","wikidata":"https://www.wikidata.org/wiki/Q243800","display_name":"Two-way deterministic finite automaton","level":5,"score":0.5395012},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5094939},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.49879527},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4756567},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3976042},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.38634282},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.28946072},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2192322},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.21258894},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.15701628},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1457246.1457249","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.392.9117","pdf_url":"http://liberzon.csl.illinois.edu/research/ADT06.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.392.9117","pdf_url":"http://liberzon.csl.illinois.edu/research/ADT06.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency","award_id":"F49620-02-1-0325"},{"funder":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems","award_id":"NSF-CNS-0614993"},{"funder":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research","award_id":"F49620-02-1-0325"}],"datasets":[],"versions":[],"referenced_works_count":57,"referenced_works":["https://openalex.org/W1207174601","https://openalex.org/W1273698957","https://openalex.org/W1480187351","https://openalex.org/W14843786","https://openalex.org/W1487119666","https://openalex.org/W1489501223","https://openalex.org/W1490569620","https://openalex.org/W1499599562","https://openalex.org/W1509428581","https://openalex.org/W1513077802","https://openalex.org/W1522694098","https://openalex.org/W1525967073","https://openalex.org/W1533503276","https://openalex.org/W1538906861","https://openalex.org/W1543690662","https://openalex.org/W1552094772","https://openalex.org/W1553643830","https://openalex.org/W1569713214","https://openalex.org/W1582697028","https://openalex.org/W1594130515","https://openalex.org/W1606563312","https://openalex.org/W1607353007","https://openalex.org/W1659048632","https://openalex.org/W1726255445","https://openalex.org/W1808949452","https://openalex.org/W1870235599","https://openalex.org/W1900371862","https://openalex.org/W1905380539","https://openalex.org/W1928310376","https://openalex.org/W1995691455","https://openalex.org/W1996505464","https://openalex.org/W2004463571","https://openalex.org/W2006394884","https://openalex.org/W2013925066","https://openalex.org/W2041617655","https://openalex.org/W2069300761","https://openalex.org/W2070221123","https://openalex.org/W2098898086","https://openalex.org/W2100710006","https://openalex.org/W2104011408","https://openalex.org/W2110316735","https://openalex.org/W2118741873","https://openalex.org/W2125617568","https://openalex.org/W2137951255","https://openalex.org/W2152185829","https://openalex.org/W2155303087","https://openalex.org/W2163590987","https://openalex.org/W2476491145","https://openalex.org/W2477662854","https://openalex.org/W2561675875","https://openalex.org/W2613128170","https://openalex.org/W2752885492","https://openalex.org/W3022429701","https://openalex.org/W3145128584","https://openalex.org/W4241778508","https://openalex.org/W4251912342","https://openalex.org/W4298112682"],"related_works":["https://openalex.org/W2522171317","https://openalex.org/W2321527407","https://openalex.org/W2155870982","https://openalex.org/W2145225595","https://openalex.org/W2127219675","https://openalex.org/W2120347230","https://openalex.org/W2109003011","https://openalex.org/W186350370","https://openalex.org/W1645283535","https://openalex.org/W1533908838"],"abstract_inverted_index":{"Average":[0],"dwell":[1],"time":[2],"(ADT)":[3],"properties":[4],"characterize":[5],"the":[6,50,85,123,140,168,178,185,189,194,204],"rate":[7],"at":[8],"which":[9,117],"a":[10,21,32,57,71,89,96,158,173,208],"hybrid":[11,33,64,91,114,163,210],"system":[12,34],"performs":[13],"mode":[14],"switches.":[15],"In":[16],"this":[17,138],"article,":[18],"we":[19],"present":[20],"set":[22],"of":[23,31,49,53,60,87,113,161,167,207],"techniques":[24,42],"for":[25,46,63,116,130,133],"verifying":[26,131],"ADT":[27,94,179,206],"properties.":[28],"The":[29,149,191],"stability":[30,48],"A":[35,74,165],"can":[36,97,119,197],"be":[37,98,120,144,198],"verified":[38],"by":[39,101,106],"combining":[40],"these":[41],"with":[43],"standard":[44],"methods":[45,196],"checking":[47,102],"individual":[51],"modes":[52],"A.":[54],"We":[55,82],"introduce":[56],"new":[58],"type":[59],"simulation":[61,67],"relation":[62],"automata\u2014":[65],"switching":[66],"\u2014for":[68],"establishing":[69],"that":[70,84,135,176,184],"given":[72,90,209],"automaton":[73,80,92,186],"switches":[75],"more":[76],"rapidly":[77],"than":[78],"another":[79],"B.":[81],"show":[83],"question":[86],"whether":[88],"has":[93,142],"\u03c4":[95],"answered":[99],"either":[100,171],"an":[103,108,127],"invariant":[104,141],"or":[105,181],"solving":[107],"optimization":[109,169,192],"problem.":[110],"For":[111],"classes":[112],"automata":[115,134],"invariants":[118],"checked":[121,145],"automatically,":[122],"invariant-based":[124,195],"method":[125,129,151],"yields":[126],"automatic":[128,153],"ADT;":[132],"are":[136],"outside":[137],"class,":[139],"to":[143,157,202],"using":[146],"inductive":[147],"techniques.":[148],"optimization-based":[150],"is":[152,155],"and":[154,193],"applicable":[156],"restricted":[159],"class":[160],"initialized":[162],"automata.":[164],"solution":[166],"problem":[170],"gives":[172],"counterexample":[174],"execution":[175],"violates":[177],"property,":[180],"it":[182],"confirms":[183],"indeed":[187],"satisfies":[188],"property.":[190],"used":[199],"in":[200],"combination":[201],"find":[203],"unknown":[205],"automaton.":[211]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2063793676","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-01-18T07:12:13.482817","created_date":"2016-06-24"}