{"id":"https://openalex.org/W2765413065","doi":"https://doi.org/10.1109/tits.2017.2759273","title":"A Formal Approach for Modeling and Simulation of Human Car-Following Behavior","display_name":"A Formal Approach for Modeling and Simulation of Human Car-Following Behavior","publication_year":2017,"publication_date":"2017-10-27","ids":{"openalex":"https://openalex.org/W2765413065","doi":"https://doi.org/10.1109/tits.2017.2759273","mag":"2765413065"},"language":"en","primary_location":{"id":"doi:10.1109/tits.2017.2759273","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2017.2759273","pdf_url":null,"source":{"id":"https://openalex.org/S144771191","display_name":"IEEE Transactions on Intelligent Transportation Systems","issn_l":"1524-9050","issn":["1524-9050","1558-0016"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Intelligent Transportation Systems","raw_type":"journal-article"},"type":"article","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/A5070858186","display_name":"Jin Woo Ro","orcid":"https://orcid.org/0000-0002-3991-0648"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Jin Woo Ro","raw_affiliation_strings":["Electrical and Computer System Engineering Department, The University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-3991-0648","affiliations":[{"raw_affiliation_string":"Electrical and Computer System Engineering Department, The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha S. Roop","raw_affiliation_strings":["Electrical and Computer System Engineering Department, The University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer System Engineering Department, The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007782699","display_name":"Avinash Malik","orcid":"https://orcid.org/0000-0002-7524-8292"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Avinash Malik","raw_affiliation_strings":["Electrical and Computer System Engineering Department, The University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-7524-8292","affiliations":[{"raw_affiliation_string":"Electrical and Computer System Engineering Department, The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022720724","display_name":"Prakash Ranjitkar","orcid":"https://orcid.org/0000-0001-8813-7615"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Prakash Ranjitkar","raw_affiliation_strings":["Electrical and Computer System Engineering Department, The University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer System Engineering Department, The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":2.7766,"has_fulltext":false,"cited_by_count":48,"citation_normalized_percentile":{"value":0.90918849,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"19","issue":"2","first_page":"639","last_page":"648"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9983000159263611,"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.9983000159263611,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.6885439157485962},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.49407437443733215},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.48999539017677307},{"id":"https://openalex.org/keywords/distraction","display_name":"Distraction","score":0.48120811581611633},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.47445759177207947},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.45606529712677},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2235322892665863},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.1092204749584198}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6885439157485962},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.49407437443733215},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.48999539017677307},{"id":"https://openalex.org/C2776378700","wikidata":"https://www.wikidata.org/wiki/Q3030775","display_name":"Distraction","level":2,"score":0.48120811581611633},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.47445759177207947},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.45606529712677},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2235322892665863},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.1092204749584198},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tits.2017.2759273","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2017.2759273","pdf_url":null,"source":{"id":"https://openalex.org/S144771191","display_name":"IEEE Transactions on Intelligent Transportation Systems","issn_l":"1524-9050","issn":["1524-9050","1558-0016"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Intelligent Transportation Systems","raw_type":"journal-article"},{"id":"pmh:oai:researchspace.auckland.ac.nz:2292/42250","is_oa":false,"landing_page_url":"http://hdl.handle.net/2292/42250","pdf_url":null,"source":{"id":"https://openalex.org/S7407055463","display_name":"ResearchSpace (University of Auckland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I154130895","host_organization_name":"University of Auckland","host_organization_lineage":["https://openalex.org/I154130895"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W87371691","https://openalex.org/W104859725","https://openalex.org/W410981336","https://openalex.org/W596319001","https://openalex.org/W1184648553","https://openalex.org/W1438143351","https://openalex.org/W1480909796","https://openalex.org/W1592568942","https://openalex.org/W1775105566","https://openalex.org/W1828156577","https://openalex.org/W1965578057","https://openalex.org/W1970863689","https://openalex.org/W1972208352","https://openalex.org/W1992996956","https://openalex.org/W1995691455","https://openalex.org/W2051519042","https://openalex.org/W2053924531","https://openalex.org/W2065866506","https://openalex.org/W2089080831","https://openalex.org/W2096542002","https://openalex.org/W2097759208","https://openalex.org/W2108386124","https://openalex.org/W2110052353","https://openalex.org/W2110512546","https://openalex.org/W2136106614","https://openalex.org/W2152374007","https://openalex.org/W2187041056","https://openalex.org/W2281287867","https://openalex.org/W2511722497","https://openalex.org/W2986120618","https://openalex.org/W3104790740","https://openalex.org/W6603568681","https://openalex.org/W6618033396","https://openalex.org/W6628494268","https://openalex.org/W6674869184"],"related_works":["https://openalex.org/W1984342691","https://openalex.org/W2470048815","https://openalex.org/W2324884046","https://openalex.org/W641612223","https://openalex.org/W2906771794","https://openalex.org/W2028203774","https://openalex.org/W2174716869","https://openalex.org/W4205873045","https://openalex.org/W146094510","https://openalex.org/W24599197"],"abstract_inverted_index":{"Car-following":[0],"is":[1,57,78,113],"the":[2,27,31,92,101,104,128,178,185,190,207],"activity":[3],"of":[4,96,103,130,184],"safely":[5],"driving":[6,37,198],"behind":[7],"a":[8,124],"leading":[9],"vehicle.":[10],"Traditional":[11],"mathematical":[12],"car-following":[13,71,75,131,156],"models":[14,122,157],"capture":[15],"vehicle":[16,187],"dynamics":[17],"without":[18],"considering":[19],"human":[20,49,66,134,194],"factors,":[21,50],"such":[22],"as":[23],"driver":[24],"distraction":[25],"and":[26,94,150,163,173,212,218],"reaction":[28,148],"delay.":[29],"Consequently,":[30],"resultant":[32],"model":[33,52,72,205],"produces":[34],"overly":[35],"safe":[36],"traces":[38,191],"during":[39],"simulation,":[40],"which":[41,77,112],"are":[42,140,169],"unrealistic.":[43],"Some":[44],"recent":[45],"work":[46],"incorporate":[47,63,100],"simplistic":[48],"though":[51],"validation":[53],"using":[54,189],"experimental":[55],"data":[56],"lacking.":[58],"In":[59],"this":[60],"paper,":[61],"we":[62],"three":[64],"distinct":[65],"factors":[67,135],"in":[68,137,210],"new":[69],"compositional":[70],"called":[73,158],"modal":[74],"model,":[76],"based":[79],"on":[80],"hybrid":[81],"input":[82],"output":[83],"automata":[84],"(HIOA).":[85],"HIOA":[86,99,121],"have":[87],"been":[88],"widely":[89,154],"used":[90,155,170],"for":[91,115,127,171],"specification":[93,129],"verification":[95],"cyber-physical":[97],"systems.":[98],"modeling":[102],"physical":[105],"system":[106],"combined":[107],"with":[108],"discrete":[109],"mode":[110],"switches,":[111],"ideal":[114],"describing":[116],"piece-wise":[117],"continuous":[118],"phenomena.":[119],"Thus,":[120],"offer":[123],"succinct":[125],"framework":[126],"behavior.":[132],"The":[133,200],"considered":[136],"our":[138,204],"approach":[139],"estimation":[141],"error":[142,183,209],"(due":[143],"to":[144,216],"imperfect":[145],"distance":[146],"perception),":[147],"delay,":[149],"temporal":[151],"anticipation.":[152],"Two":[153],"Intelligent":[159],"Driver":[160],"Model":[161,167],"(IDM)":[162],"Full":[164],"Velocity":[165],"Difference":[166],"(FVDM)":[168],"extension":[172],"comparison":[174],"purpose.":[175],"We":[176],"evaluate":[177],"root":[179],"mean":[180],"square":[181],"(rms)":[182],"following":[186],"position":[188],"obtained":[192],"from":[193],"drives":[195],"through":[196],"different":[197],"scenarios.":[199],"result":[201],"shows":[202],"that":[203],"reduces":[206],"rms":[208],"IDM":[211],"FVDM":[213],"by":[214],"up":[215],"48.8%":[217],"7.41%,":[219],"respectively.":[220]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}