{"id":"https://openalex.org/W2015412987","doi":"https://doi.org/10.3103/s0146411614070256","title":"Modeling a consistent behavior of PLC-sensors","display_name":"Modeling a consistent behavior of PLC-sensors","publication_year":2014,"publication_date":"2014-12-01","ids":{"openalex":"https://openalex.org/W2015412987","doi":"https://doi.org/10.3103/s0146411614070256","mag":"2015412987"},"language":"en","primary_location":{"id":"doi:10.3103/s0146411614070256","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411614070256","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","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/A5022065995","display_name":"E. V. Kuzmin","orcid":"https://orcid.org/0000-0003-0500-306X"},"institutions":[{"id":"https://openalex.org/I198371094","display_name":"Yaroslavl State University","ror":"https://ror.org/044s2fj67","country_code":"RU","type":"education","lineage":["https://openalex.org/I198371094"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"E. V. Kuzmin","raw_affiliation_strings":["Demidov Yaroslavl State University, Sovetskaya str. 14, Yaroslavl, 150000, Russia","Demidov Yaroslavl\u2019 State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Demidov Yaroslavl State University, Sovetskaya str. 14, Yaroslavl, 150000, Russia","institution_ids":["https://openalex.org/I198371094"]},{"raw_affiliation_string":"Demidov Yaroslavl\u2019 State University","institution_ids":["https://openalex.org/I198371094"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035086756","display_name":"D. A. Ryabukhin","orcid":null},"institutions":[{"id":"https://openalex.org/I198371094","display_name":"Yaroslavl State University","ror":"https://ror.org/044s2fj67","country_code":"RU","type":"education","lineage":["https://openalex.org/I198371094"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"D. A. Ryabukhin","raw_affiliation_strings":["Demidov Yaroslavl State University, Sovetskaya str. 14, Yaroslavl, 150000, Russia","Demidov Yaroslavl\u2019 State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Demidov Yaroslavl State University, Sovetskaya str. 14, Yaroslavl, 150000, Russia","institution_ids":["https://openalex.org/I198371094"]},{"raw_affiliation_string":"Demidov Yaroslavl\u2019 State University","institution_ids":["https://openalex.org/I198371094"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076972376","display_name":"\u0412. \u0410. \u0421\u043e\u043a\u043e\u043b\u043e\u0432","orcid":"https://orcid.org/0000-0003-1427-4937"},"institutions":[{"id":"https://openalex.org/I198371094","display_name":"Yaroslavl State University","ror":"https://ror.org/044s2fj67","country_code":"RU","type":"education","lineage":["https://openalex.org/I198371094"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V. A. Sokolov","raw_affiliation_strings":["Demidov Yaroslavl State University, Sovetskaya str. 14, Yaroslavl, 150000, Russia","Demidov Yaroslavl\u2019 State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Demidov Yaroslavl State University, Sovetskaya str. 14, Yaroslavl, 150000, Russia","institution_ids":["https://openalex.org/I198371094"]},{"raw_affiliation_string":"Demidov Yaroslavl\u2019 State University","institution_ids":["https://openalex.org/I198371094"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5022065995"],"corresponding_institution_ids":["https://openalex.org/I198371094"],"apc_list":null,"apc_paid":null,"fwci":0.7664,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.79717125,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"48","issue":"7","first_page":"602","last_page":"614"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.855400025844574,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.855400025844574,"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/T10320","display_name":"Neural Networks and Applications","score":0.8379999995231628,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13344","display_name":"Industrial Automation and Control Systems","score":0.7681999802589417,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8436809778213501},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7433778047561646},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6073525547981262},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48996391892433167},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.47401222586631775}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8436809778213501},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7433778047561646},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6073525547981262},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48996391892433167},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.47401222586631775},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3103/s0146411614070256","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411614070256","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W390409041","https://openalex.org/W1489841730","https://openalex.org/W1902207939","https://openalex.org/W2070072058","https://openalex.org/W2071929198","https://openalex.org/W2214759117","https://openalex.org/W2240148909","https://openalex.org/W2340735175","https://openalex.org/W4229510997"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W3119814709","https://openalex.org/W2018477250","https://openalex.org/W1508895727","https://openalex.org/W3097218026","https://openalex.org/W4390481443"],"abstract_inverted_index":{"The":[0,31,122,187],"article":[1],"extends":[2],"the":[3,19,27,48,66,84,87,110,116,120,151,173,182,198,202,205,217,222,225,232,237],"cycle":[4],"of":[5,12,21,24,41,47,62,86,100,105,119,124,136,158,172,181,185,190,200,204,231,240],"papers":[6],"dedicated":[7],"to":[8,54,83,95,115,153,162,208],"programming":[9,206],"and":[10,144],"verificatoin":[11],"PLC-programs":[13,25],"by":[14,26,102,128,176],"LTL-specification.":[15],"This":[16,78],"approach":[17,152],"provides":[18],"availability":[20],"correctness":[22],"analysis":[23],"model":[28,32,40,175,207,219,226],"checking":[29,33,201],"method.":[30],"method":[34],"application":[35],"presupposes":[36],"constructing":[37,147],"a":[38,42,75,97,134,148,155,212],"finite":[39],"PLC-program.":[43,121],"For":[44],"successful":[45],"verification":[46],"required":[49,209],"properties":[50],"it":[51,114],"is":[52,72,126,133,192],"important":[53],"take":[55],"into":[56,194],"consideration":[57],"that":[58,224,234],"not":[59],"all":[60],"combinations":[61],"input":[63,139],"signals":[64,140],"from":[65,141],"sensors":[67,101,160,191],"can":[68],"occur":[69],"while":[70],"PLC":[71,159],"working":[73],"with":[74,221,236],"control":[76],"object.":[77],"fact":[79],"requires":[80],"more":[81],"advertence":[82],"construction":[85],"PLC-program":[88,132,149],"model.":[89],"In":[90,146],"this":[91],"paper":[92],"we":[93],"propose":[94],"describe":[96],"consistent":[98,156,188,238],"behavior":[99,118,157,184,189,239],"three":[103],"groups":[104],"LTL-formulas.":[106],"They":[107],"will":[108],"affect":[109],"program":[111,174,233],"model,":[112,150],"approximating":[113],"actual":[117],"idea":[123],"LTL-requirements":[125],"shown":[127],"an":[129,170],"example.":[130],"A":[131],"description":[135],"reactions":[137,168],"on":[138,164],"sensors,":[142],"switches":[143],"buttons.":[145],"modeling":[154,165],"allows":[161],"focus":[163],"precisely":[166],"these":[167],"without":[169],"extension":[171],"additional":[177],"structures":[178],"for":[179,216],"design":[180],"realistic":[183],"sensors.":[186,241],"taken":[193],"account":[195],"only":[196,228],"at":[197],"stage":[199],"conformity":[203],"properties,":[210],"i.e.":[211],"property":[213],"satisfaction":[214],"proof":[215],"constructed":[218],"occurs":[220],"condition":[223],"contains":[227],"such":[229],"executions":[230],"comply":[235]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}