{"id":"https://openalex.org/W3033693865","doi":"https://doi.org/10.1145/3384441.3395990","title":"Probing the Performance of the Edinburgh Bike Sharing System using SSTL","display_name":"Probing the Performance of the Edinburgh Bike Sharing System using SSTL","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W3033693865","doi":"https://doi.org/10.1145/3384441.3395990","mag":"3033693865"},"language":"en","primary_location":{"id":"doi:10.1145/3384441.3395990","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3384441.3395990","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/b87e0c5e-d0b5-471c-b39e-d6d555da9edd","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093022052","display_name":"Justin N. Kreikemeyer","orcid":"https://orcid.org/0000-0002-4109-3608"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Justin Noah Kreikemeyer","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035860397","display_name":"Jane Hillston","orcid":"https://orcid.org/0000-0003-4914-9255"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jane Hillston","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063515034","display_name":"Adelinde M. Uhrmacher","orcid":"https://orcid.org/0000-0001-5256-4682"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Adelinde Uhrmacher","raw_affiliation_strings":["University of Rostock, Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"University of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5093022052"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.7689,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79094669,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"10","issue":null,"first_page":"141","last_page":"152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10698","display_name":"Transportation Planning and Optimization","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/3313","display_name":"Transportation"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10698","display_name":"Transportation Planning and Optimization","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/3313","display_name":"Transportation"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10298","display_name":"Urban Transport and Accessibility","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/3313","display_name":"Transportation"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11942","display_name":"Transportation and Mobility Innovations","score":0.996399998664856,"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/suite","display_name":"Suite","score":0.7531172037124634},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7334999442100525},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5541636943817139},{"id":"https://openalex.org/keywords/bike-sharing","display_name":"Bike sharing","score":0.5334159731864929},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5117285251617432},{"id":"https://openalex.org/keywords/analytics","display_name":"Analytics","score":0.48247388005256653},{"id":"https://openalex.org/keywords/redistribution","display_name":"Redistribution (election)","score":0.43069514632225037},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.36639201641082764},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3576356768608093},{"id":"https://openalex.org/keywords/transport-engineering","display_name":"Transport engineering","score":0.1847100853919983},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15222734212875366},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10637298226356506}],"concepts":[{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.7531172037124634},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7334999442100525},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5541636943817139},{"id":"https://openalex.org/C2994001137","wikidata":"https://www.wikidata.org/wiki/Q1358919","display_name":"Bike sharing","level":2,"score":0.5334159731864929},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5117285251617432},{"id":"https://openalex.org/C79158427","wikidata":"https://www.wikidata.org/wiki/Q485396","display_name":"Analytics","level":2,"score":0.48247388005256653},{"id":"https://openalex.org/C74080474","wikidata":"https://www.wikidata.org/wiki/Q7305975","display_name":"Redistribution (election)","level":3,"score":0.43069514632225037},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.36639201641082764},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3576356768608093},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.1847100853919983},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15222734212875366},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10637298226356506},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"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/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3384441.3395990","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3384441.3395990","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/b87e0c5e-d0b5-471c-b39e-d6d555da9edd","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/b87e0c5e-d0b5-471c-b39e-d6d555da9edd","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kreikemeyer, J N, Hillston, J & Uhrmacher, A 2020, Probing the Performance of the Edinburgh Bike Sharing System Using SSTL. in Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. New York, NY, USA, pp. 141\u2013152, 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, Virtual conference, Florida, United States, 15/06/20. https://doi.org/10.1145/3384441.3395990","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/b87e0c5e-d0b5-471c-b39e-d6d555da9edd","is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11820/b87e0c5e-d0b5-471c-b39e-d6d555da9edd","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/b87e0c5e-d0b5-471c-b39e-d6d555da9edd","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/b87e0c5e-d0b5-471c-b39e-d6d555da9edd","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kreikemeyer, J N, Hillston, J & Uhrmacher, A 2020, Probing the Performance of the Edinburgh Bike Sharing System Using SSTL. in Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. New York, NY, USA, pp. 141\u2013152, 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, Virtual conference, Florida, United States, 15/06/20. https://doi.org/10.1145/3384441.3395990","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[{"score":0.47999998927116394,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W1970180010","https://openalex.org/W1983649960","https://openalex.org/W1989913148","https://openalex.org/W2006576332","https://openalex.org/W2010323218","https://openalex.org/W2042321087","https://openalex.org/W2062147841","https://openalex.org/W2075767181","https://openalex.org/W2085203873","https://openalex.org/W2160031103","https://openalex.org/W2170262583","https://openalex.org/W2185704025","https://openalex.org/W2284655150","https://openalex.org/W2290784693","https://openalex.org/W2297059404","https://openalex.org/W2460389227","https://openalex.org/W2573945610","https://openalex.org/W2611491315","https://openalex.org/W2726579140","https://openalex.org/W2757211914","https://openalex.org/W2807866189","https://openalex.org/W2809496446","https://openalex.org/W2901290105","https://openalex.org/W2914604188","https://openalex.org/W3100189958","https://openalex.org/W4246034995","https://openalex.org/W6893607066"],"related_works":["https://openalex.org/W2366107444","https://openalex.org/W4231704780","https://openalex.org/W2083794993","https://openalex.org/W352609212","https://openalex.org/W4388145910","https://openalex.org/W4200340037","https://openalex.org/W1511772879","https://openalex.org/W2381570729","https://openalex.org/W1976205134","https://openalex.org/W4379115841"],"abstract_inverted_index":{"Bike":[0],"sharing":[1,57],"systems":[2,27],"are":[3],"a":[4,44,88,132],"popular":[5],"form":[6],"of":[7,32,40,62,82,100,135],"sustainable":[8],"and":[9,35,64,78,104,127,150],"affordable":[10],"transport":[11],"that":[12],"has":[13],"been":[14],"introduced":[15,55],"to":[16,28,73,96,116,130,138],"cities":[17],"around":[18],"the":[19,30,33,38,41,53,60,75,83,101,123,136,155],"world":[20],"in":[21,59],"recent":[22],"years.":[23],"Nevertheless,":[24],"designing":[25],"these":[26,118],"meet":[29],"requirements":[31],"operators":[34],"also":[36],"satisfy":[37],"demand":[39,112],"users,":[42],"is":[43,148],"complex":[45],"problem.":[46],"In":[47,114],"this":[48,106],"paper":[49],"we":[50,86,121],"focus":[51],"on":[52],"recently":[54],"bike":[56],"system":[58,137],"city":[61],"Edinburgh":[63],"use":[65,87,122],"data":[66,153],"analytics":[67],"combined":[68],"with":[69],"formal":[70],"modelling":[71,125],"approaches":[72],"investigate":[74,117,139],"current":[76],"behaviour":[77,81],"possible":[79,140],"future":[80,141],"system.":[84,157],"Specifically":[85],"spatio-temporal":[89,94],"logic,":[90],"SSTL":[91],"(the":[92],"signal":[93],"logic),":[95],"formally":[97],"characterise":[98],"properties":[99],"captured":[102],"system,":[103],"through":[105],"identify":[107],"potential":[108],"problems":[109,119],"as":[110],"user":[111],"grows.":[113],"order":[115],"further":[120],"CARMA":[124],"language":[126],"tool":[128],"suite":[129],"construct":[131],"stochastic":[133],"model":[134,147],"scenarios,":[142],"including":[143],"decentralised":[144],"redistribution.":[145],"This":[146],"parameterised":[149],"validated":[151],"using":[152],"from":[154],"operational":[156]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}