{"id":"https://openalex.org/W2487553079","doi":"https://doi.org/10.1109/acc.2016.7525022","title":"Finite state abstraction and formal methods for traffic flow networks","display_name":"Finite state abstraction and formal methods for traffic flow networks","publication_year":2016,"publication_date":"2016-07-01","ids":{"openalex":"https://openalex.org/W2487553079","doi":"https://doi.org/10.1109/acc.2016.7525022","mag":"2487553079"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2016.7525022","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2016.7525022","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010552433","display_name":"Samuel Coogan","orcid":"https://orcid.org/0000-0003-0495-1535"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Samuel Coogan","raw_affiliation_strings":["Electrical Engineering Department, UCLA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical Engineering Department, UCLA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025743742","display_name":"Murat Arcak","orcid":"https://orcid.org/0000-0001-9060-4032"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Murat Arcak","raw_affiliation_strings":["Department of Electrical Engineering and Computer Sciences, University of California, Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742095","display_name":"C\u0103lin Belta","orcid":"https://orcid.org/0000-0002-7141-2657"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Calin Belta","raw_affiliation_strings":["Department of Mechanical Engineering, Boston University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Boston University","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4404,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.472876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"864","last_page":"879"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7563838958740234},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6245560646057129},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5227580070495605},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5154839158058167},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.478918194770813},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44232502579689026},{"id":"https://openalex.org/keywords/finite-state","display_name":"Finite state","score":0.4388655126094818},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.43149295449256897},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.41069650650024414},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3877999186515808},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38568034768104553},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10954427719116211},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.06938832998275757}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7563838958740234},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6245560646057129},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5227580070495605},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5154839158058167},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.478918194770813},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44232502579689026},{"id":"https://openalex.org/C2983497884","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite state","level":3,"score":0.4388655126094818},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.43149295449256897},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.41069650650024414},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3877999186515808},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38568034768104553},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10954427719116211},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.06938832998275757},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acc.2016.7525022","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2016.7525022","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":75,"referenced_works":["https://openalex.org/W17866615","https://openalex.org/W71585739","https://openalex.org/W246120801","https://openalex.org/W1483893502","https://openalex.org/W1498432697","https://openalex.org/W1518436864","https://openalex.org/W1524886571","https://openalex.org/W1549644356","https://openalex.org/W1560050980","https://openalex.org/W1792768639","https://openalex.org/W1851248039","https://openalex.org/W1985391442","https://openalex.org/W1985919024","https://openalex.org/W1991978699","https://openalex.org/W1992472169","https://openalex.org/W2007894170","https://openalex.org/W2009965218","https://openalex.org/W2011979623","https://openalex.org/W2018380024","https://openalex.org/W2020883449","https://openalex.org/W2023808162","https://openalex.org/W2031592188","https://openalex.org/W2032549372","https://openalex.org/W2036664528","https://openalex.org/W2037141248","https://openalex.org/W2044323243","https://openalex.org/W2044485540","https://openalex.org/W2047671935","https://openalex.org/W2053979146","https://openalex.org/W2059470663","https://openalex.org/W2060612291","https://openalex.org/W2064289863","https://openalex.org/W2065798383","https://openalex.org/W2066260128","https://openalex.org/W2071797744","https://openalex.org/W2075419914","https://openalex.org/W2078151802","https://openalex.org/W2079042739","https://openalex.org/W2091316349","https://openalex.org/W2092043492","https://openalex.org/W2094599695","https://openalex.org/W2094912129","https://openalex.org/W2098682681","https://openalex.org/W2101691700","https://openalex.org/W2120430892","https://openalex.org/W2122472839","https://openalex.org/W2133099570","https://openalex.org/W2142634894","https://openalex.org/W2143095681","https://openalex.org/W2145970716","https://openalex.org/W2146560209","https://openalex.org/W2147741970","https://openalex.org/W2148446974","https://openalex.org/W2151188077","https://openalex.org/W2151958719","https://openalex.org/W2152243886","https://openalex.org/W2152784531","https://openalex.org/W2154247464","https://openalex.org/W2157807654","https://openalex.org/W2158345050","https://openalex.org/W2165748475","https://openalex.org/W2166127999","https://openalex.org/W2235884325","https://openalex.org/W2251401173","https://openalex.org/W2292798165","https://openalex.org/W2471308051","https://openalex.org/W2487779201","https://openalex.org/W2963778636","https://openalex.org/W3103706207","https://openalex.org/W3104168345","https://openalex.org/W3104654558","https://openalex.org/W4242077219","https://openalex.org/W6602878295","https://openalex.org/W6631546732","https://openalex.org/W6785644777"],"related_works":["https://openalex.org/W1532285316","https://openalex.org/W4281261571","https://openalex.org/W4387024110","https://openalex.org/W2535494882","https://openalex.org/W1571505340","https://openalex.org/W2908087036","https://openalex.org/W2103029213","https://openalex.org/W4387581576","https://openalex.org/W4254987752","https://openalex.org/W2765148997"],"abstract_inverted_index":{"Formal":[0],"methods":[1,28,52],"from":[2],"computer":[3],"science":[4],"have":[5,69],"emerged":[6],"as":[7],"a":[8,20,54,84,117,130,137,142,147,165,182,195,222,228],"powerful":[9],"suite":[10],"of":[11,23,36,57,73,86,97,105,110,184,190,206,230],"tools":[12],"that,":[13],"under":[14,212],"appropriate":[15],"modifications,":[16],"are":[17,44,209,219],"applicable":[18],"to":[19,38,94,115,145,156,163,169,178,227],"wide":[21],"range":[22],"physical":[24,60],"control":[25,143,171],"systems.":[26,187],"These":[27,217],"promise":[29],"automated":[30,75],"algorithms":[31],"for":[32,120,124,140,235],"verification":[33],"and":[34,41,62,100,134,162,233],"synthesis":[35],"controllers":[37,123],"accomplish":[39],"specifications":[40],"objectives":[42],"that":[43,208],"not":[45],"accommodated":[46],"by":[47,90,127,202],"traditional":[48],"approaches.":[49],"However,":[50],"formal":[51,170],"require":[53],"finite":[55,131,196],"abstraction":[56,67,133,198],"the":[58,71,191,204,213],"underlying":[59],"process,":[61],"challenges":[63,99],"in":[64,83],"obtaining":[65,129],"scalable":[66],"techniques":[68],"impeded":[70],"applicability":[72],"these":[74,98],"tools.":[76],"This":[77,173],"tutorial":[78,112],"paper":[79,113],"exploits":[80],"structural":[81],"properties":[82,189],"class":[85],"networked":[87],"systems":[88,126],"motivated":[89],"traffic":[91,159,214],"flow":[92,160,215],"networks":[93],"overcome":[95],"some":[96],"points":[101],"towards":[102],"new":[103],"directions":[104],"research.":[106,237],"The":[107,152],"first":[108,128],"aim":[109],"this":[111],"is":[114,155,176,199],"review":[116,157],"broad":[118],"technique":[119],"synthesizing":[121,141],"correct-by-design":[122],"dynamical":[125,186],"state":[132,197],"then":[135],"applying":[136],"game-based":[138],"algorithm":[139],"strategy":[144],"satisfy":[146],"linear":[148],"temporal":[149],"logic":[150],"specification.":[151],"second":[153],"objective":[154],"vehicular":[158],"models":[161],"characterize":[164],"general":[166,174],"model":[167,175],"amenable":[168],"synthesis.":[172],"shown":[177],"be":[179],"mixed":[180,192],"monotone,":[181],"generalization":[183],"monotone":[185,193],"Using":[188],"dynamics,":[194],"efficiently":[200],"computed":[201],"overapproximating":[203],"set":[205],"states":[207],"one-step":[210],"reachable":[211],"dynamics.":[216],"results":[218],"demonstrated":[220],"on":[221],"case":[223],"study":[224],"which":[225],"leads":[226],"discussion":[229],"open":[231],"problems":[232],"avenues":[234],"future":[236]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}