{"id":"https://openalex.org/W4410152275","doi":"https://doi.org/10.1145/3716550.3722040","title":"Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic","display_name":"Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic","publication_year":2025,"publication_date":"2025-05-06","ids":{"openalex":"https://openalex.org/W4410152275","doi":"https://doi.org/10.1145/3716550.3722040"},"language":"en","primary_location":{"id":"doi:10.1145/3716550.3722040","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716550.3722040","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3722040","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3722040","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5096362818","display_name":"Christian Abou-Mrad","orcid":"https://orcid.org/0009-0008-1475-933X"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christian Abou-Mrad","raw_affiliation_strings":["Oregon State University, Corvallis, OR, US"],"raw_orcid":"https://orcid.org/0009-0008-1475-933X","affiliations":[{"raw_affiliation_string":"Oregon State University, Corvallis, OR, US","institution_ids":["https://openalex.org/I131249849"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040750463","display_name":"Tanmay Khandait","orcid":"https://orcid.org/0000-0002-5029-5607"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tanmay Khandait","raw_affiliation_strings":["Arizona State University, Tempe, AZ, US"],"raw_orcid":"https://orcid.org/0000-0002-5029-5607","affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, US","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049158387","display_name":"Giulia Pedrielli","orcid":"https://orcid.org/0000-0001-6726-9790"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Giulia Pedrielli","raw_affiliation_strings":["Arizona State University, Tempe, AZ, US"],"raw_orcid":"https://orcid.org/0000-0001-6726-9790","affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, US","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021880681","display_name":"Houssam Abbas","orcid":"https://orcid.org/0000-0002-8096-2618"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Houssam Abbas","raw_affiliation_strings":["Oregon State University, Corvallis, OR, US"],"raw_orcid":"https://orcid.org/0000-0002-8096-2618","affiliations":[{"raw_affiliation_string":"Oregon State University, Corvallis, OR, US","institution_ids":["https://openalex.org/I131249849"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10599864,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9993000030517578,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9986000061035156,"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/computer-science","display_name":"Computer science","score":0.6940080523490906},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6492437720298767},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5434927344322205},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5407431721687317},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5017952919006348},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.46656954288482666},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36558985710144043},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30666735768318176},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2643546462059021},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18512114882469177},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07404753565788269}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6940080523490906},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6492437720298767},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5434927344322205},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5407431721687317},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5017952919006348},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.46656954288482666},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36558985710144043},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30666735768318176},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2643546462059021},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18512114882469177},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07404753565788269}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3716550.3722040","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716550.3722040","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3722040","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3716550.3722040","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716550.3722040","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3722040","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6200000047683716}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410152275.pdf","grobid_xml":"https://content.openalex.org/works/W4410152275.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W1510052597","https://openalex.org/W1547304883","https://openalex.org/W1578823551","https://openalex.org/W2026629052","https://openalex.org/W2034592322","https://openalex.org/W2049399166","https://openalex.org/W2086092403","https://openalex.org/W2092884371","https://openalex.org/W2101804404","https://openalex.org/W2172184261","https://openalex.org/W2221585980","https://openalex.org/W2256658272","https://openalex.org/W2554968732","https://openalex.org/W2556282465","https://openalex.org/W2621540998","https://openalex.org/W2735404318","https://openalex.org/W2758427605","https://openalex.org/W2759950027","https://openalex.org/W2785700716","https://openalex.org/W2792781634","https://openalex.org/W2884685148","https://openalex.org/W2909776947","https://openalex.org/W2963100367","https://openalex.org/W3011209257","https://openalex.org/W3125246424","https://openalex.org/W3184919107","https://openalex.org/W3197359847","https://openalex.org/W3201637327","https://openalex.org/W3204851156","https://openalex.org/W3205889124","https://openalex.org/W3213923604","https://openalex.org/W4200221099","https://openalex.org/W4238746485","https://openalex.org/W4249753629","https://openalex.org/W4281761302","https://openalex.org/W4290855579","https://openalex.org/W4396571454","https://openalex.org/W4409918048"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W2763487042","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W3035590440"],"abstract_inverted_index":{"We":[0,166],"present":[1],"algorithms":[2,170,216,231],"for":[3,138,195],"Cyber-Physical":[4],"Systems":[5],"(CPS)":[6],"falsification":[7,39,130,169],"and":[8,40,131],"control,":[9],"which":[10,171,201],"take":[11,221],"advantage":[12,222],"of":[13,18,28,37,123,142,145,164,179,223],"knowing":[14],"the":[15,19,26,32,35,51,61,67,72,76,86,91,94,124,143,156,176,180,184,211,239],"entire":[16],"language":[17,144,157,181],"temporal":[20,100],"logic":[21],"specification":[22,95,125],"-":[23],"that":[24,30,59,84,155],"is,":[25],"set":[27],"signals":[29],"satisfy":[31,90],"formula.":[33],"In":[34,114],"design":[36],"CPS,":[38],"control":[41,199],"play":[42],"key":[43],"roles.":[44],"Falsification":[45],"is":[46,53,71,78,96],"a":[47,99,120,136,140,146,162,187,192,197],"testing":[48],"task,":[49,74],"where":[50,75],"goal":[52,77],"to":[54,65,79,89,110,175,182,186,220,234,238],"find":[55,80],"an":[56,81],"input":[57,82],"signal":[58,83,200],"causes":[60,85],"system's":[62,87],"output":[63,88,207],"trajectory":[64],"violate":[66],"correctness":[68],"requirements.":[69],"Control":[70],"dual":[73],"specification.":[92],"When":[93],"expressed":[97],"in":[98,148],"logic,":[101],"most":[102],"existing":[103],"work":[104,134],"relies":[105],"on":[106],"local":[107],"optimization":[108],"heuristics":[109],"perform":[111],"both":[112],"tasks.":[113],"this":[115],"paper,":[116],"we":[117,190],"explore":[118],"whether":[119],"different":[121,177],"expression":[122],"offers":[126],"advantages":[127],"when":[128],"performing":[129],"control.":[132],"Recent":[133],"presented":[135],"method":[137],"computing":[139,196],"representation":[141],"formula":[147],"(discrete-time)":[149],"Signal":[150],"Temporal":[151],"Logic":[152],"(STL),":[153],"showing":[154],"can":[158],"be":[159],"represented":[160],"as":[161],"union":[163],"polytopes.":[165],"introduce":[167,191],"new":[168,193],"combine":[172],"distance":[173],"information":[174],"components":[178],"accelerate":[183],"convergence":[185],"falsifier.":[188],"And":[189],"algorithm":[194],"satisfying":[198],"works":[202],"by":[203],"repeatedly":[204],"projecting":[205],"violating":[206],"trajectories":[208],"back":[209],"onto":[210],"language's":[212],"components.":[213],"Moreover,":[214],"these":[215],"are":[217],"trivially":[218],"parallelizable":[219],"multiple":[224],"processors.":[225],"Despite":[226],"their":[227],"relative":[228,237],"simplicity,":[229],"our":[230],"demonstrate":[232],"10x":[233],"100x":[235],"speedups":[236],"state-of-the-art.":[240]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}