{"id":"https://openalex.org/W2971468422","doi":"https://doi.org/10.1109/codit.2019.8820518","title":"A theoretical framework for testing cyber-physical systems","display_name":"A theoretical framework for testing cyber-physical systems","publication_year":2019,"publication_date":"2019-04-01","ids":{"openalex":"https://openalex.org/W2971468422","doi":"https://doi.org/10.1109/codit.2019.8820518","mag":"2971468422"},"language":"en","primary_location":{"id":"doi:10.1109/codit.2019.8820518","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit.2019.8820518","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-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/A5029473503","display_name":"Puneet Bhateja","orcid":null},"institutions":[{"id":"https://openalex.org/I98389781","display_name":"Dhirubhai Ambani Institute of Information and Communication Technology","ror":"https://ror.org/02d5b7g69","country_code":"IN","type":"education","lineage":["https://openalex.org/I98389781"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Puneet Bhateja","raw_affiliation_strings":["DA-IICT Gandhinagar, INDIA"],"affiliations":[{"raw_affiliation_string":"DA-IICT Gandhinagar, INDIA","institution_ids":["https://openalex.org/I98389781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5029473503"],"corresponding_institution_ids":["https://openalex.org/I98389781"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13765634,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"818","last_page":"823"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.996999979019165,"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/correctness","display_name":"Correctness","score":0.8906091451644897},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.8519755601882935},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7221052050590515},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6870263814926147},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.6621180772781372},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4777454733848572},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43188297748565674},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.4222117066383362},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3516271710395813},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24943223595619202},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14956411719322205}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8906091451644897},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.8519755601882935},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7221052050590515},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6870263814926147},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.6621180772781372},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4777454733848572},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43188297748565674},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.4222117066383362},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3516271710395813},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24943223595619202},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14956411719322205},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/codit.2019.8820518","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit.2019.8820518","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1498542756","https://openalex.org/W1522465028","https://openalex.org/W1557346410","https://openalex.org/W1560641661","https://openalex.org/W1566748826","https://openalex.org/W1601908032","https://openalex.org/W2101508170","https://openalex.org/W2103559378","https://openalex.org/W2108394166","https://openalex.org/W2113780769","https://openalex.org/W2134038996","https://openalex.org/W2147340401","https://openalex.org/W2157144873","https://openalex.org/W3022167599","https://openalex.org/W4229439915","https://openalex.org/W6630112156","https://openalex.org/W6631414444","https://openalex.org/W6633247870","https://openalex.org/W6633688481","https://openalex.org/W6633918799","https://openalex.org/W6636048331","https://openalex.org/W6676919743"],"related_works":["https://openalex.org/W2045554806","https://openalex.org/W2994120531","https://openalex.org/W2108326965","https://openalex.org/W2086962923","https://openalex.org/W2756692340","https://openalex.org/W3099113830","https://openalex.org/W4229048927","https://openalex.org/W190251865","https://openalex.org/W2152192540","https://openalex.org/W3017360834"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1,6,57,72],"(CPSs)":[2],"are":[3,58],"digital":[4],"real-time":[5],"embedded":[7],"in":[8,30,48,101],"analog":[9],"environments.":[10],"A":[11],"typical":[12],"example":[13],"of":[14,33,37,43,96,111],"a":[15,18,66,123],"CPS":[16,121],"is":[17,65,75,115],"control":[19],"program":[20,27],"for":[21,73,108],"an":[22,93,106],"industrial":[23],"plant.":[24],"While":[25],"the":[26,34,40,44,53,83,86,119],"can":[28],"be":[29],"any":[31],"one":[32],"finite":[35],"number":[36,95],"discrete":[38],"states,":[39],"physical":[41,54],"quantities":[42],"plant":[45],"evolve":[46],"continuously":[47],"each":[49],"state":[50],"according":[51],"to":[52,92],"laws.":[55],"Such":[56],"usually":[59],"safety-critical":[60],"and":[61],"therefore":[62],"their":[63],"correctness":[64,74],"prime":[67],"concern.":[68],"However":[69],"verifying":[70],"these":[71],"far":[76],"from":[77,82],"trivial.":[78],"The":[79],"challenge":[80],"comes":[81],"fact":[84],"that":[85],"discrete-continuous":[87],"combine":[88],"dynamics":[89],"give":[90],"rise":[91],"uncountable":[94],"states.":[97],"To":[98],"this":[99,102],"end,":[100],"paper":[103],"we":[104],"suggest":[105],"approach":[107,114],"conformance":[109],"testing":[110],"CPSs.":[112],"Our":[113],"based":[116],"on":[117],"modeling":[118],"given":[120],"as":[122],"hybrid":[124],"automaton.":[125]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}