乐胖代购免代理版

{"id":"https://openalex.org/W4249959811","doi":"https://doi.org/10.1109/trustcom.2015.646","title":"Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems","display_name":"Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems","publication_year":2015,"publication_date":"2015-08-01","ids":{"openalex":"https://openalex.org/W4249959811","doi":"https://doi.org/10.1109/trustcom.2015.646"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/trustcom.2015.646","pdf_url":null,"source":{"id":"https://openalex.org/S4363605531","display_name":"2015 IEEE Trustcom/BigDataSE/ISPA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5002944761","display_name":"Victor Dubinin","orcid":"https://orcid.org/0000-0002-5761-2249"},"institutions":[{"id":"https://openalex.org/I114616248","display_name":"Penza State University","ror":"https://ror.org/056r5vk88","country_code":"RU","type":"education","lineage":["https://openalex.org/I114616248"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Victor Dubinin","raw_affiliation_strings":["Computer Engineering, Penza State University, Penza, Russia"],"affiliations":[{"raw_affiliation_string":"Computer Engineering, Penza State University, Penza, Russia","institution_ids":["https://openalex.org/I114616248"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008070913","display_name":"Valeriy Vyatkin","orcid":null},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"funder","lineage":["https://openalex.org/I9927081"]},{"id":"https://openalex.org/I190632392","display_name":"Lule\u00e5 University of Technology","ror":"https://ror.org/016st3p78","country_code":"SE","type":"funder","lineage":["https://openalex.org/I190632392"]}],"countries":["FI","SE"],"is_corresponding":false,"raw_author_name":"Valeriy Vyatkin","raw_affiliation_strings":["Aalto University, Helsinki, Finland","Science, Electrical and Space Engineering, Lulea University of Technology, Lulea, Sweden"],"affiliations":[{"raw_affiliation_string":"Aalto University, Helsinki, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"Science, Electrical and Space Engineering, Lulea University of Technology, Lulea, Sweden","institution_ids":["https://openalex.org/I190632392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110066040","display_name":"Hans\u2010Michael Hanisch","orcid":null},"institutions":[{"id":"https://openalex.org/I68956291","display_name":"Martin Luther University Halle-Wittenberg","ror":"https://ror.org/05gqaka33","country_code":"DE","type":"education","lineage":["https://openalex.org/I68956291"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hans-Michael Hanisch","raw_affiliation_strings":["Automation Technology, Martin Luther University Halle-Wittenberg, Halle, Germany"],"affiliations":[{"raw_affiliation_string":"Automation Technology, Martin Luther University Halle-Wittenberg, Halle, Germany","institution_ids":["https://openalex.org/I68956291"]}]}],"institution_assertions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.262,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":5,"citation_normalized_percentile":{"value":0.629266,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":80,"max":82},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9997,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9997,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9944,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/T13935","display_name":"Mathematical Control Systems and Analysis","score":0.9876,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.5171432}],"concepts":[{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6876918},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.6497922},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.6470287},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6260351},{"id":"https://openalex.org/C28704281","wikidata":"https://www.wikidata.org/wiki/Q180165","display_name":"Mechatronics","level":2,"score":0.5613912},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.55304354},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5323622},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.5171432},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5084438},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5026474},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4601162},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.45429674},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.40344384},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3916061},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3267324},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.26279253},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.11377865},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11042586},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09622601},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/trustcom.2015.646","pdf_url":null,"source":{"id":"https://openalex.org/S4363605531","display_name":"2015 IEEE Trustcom/BigDataSE/ISPA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":13,"referenced_works":["https://openalex.org/W1487499331","https://openalex.org/W1559858204","https://openalex.org/W1581461974","https://openalex.org/W1979349468","https://openalex.org/W1990807783","https://openalex.org/W2042491290","https://openalex.org/W2054099039","https://openalex.org/W2090125314","https://openalex.org/W2107455712","https://openalex.org/W2135573965","https://openalex.org/W2149030441","https://openalex.org/W2269522038","https://openalex.org/W2499921706"],"related_works":["https://openalex.org/W613097443","https://openalex.org/W4236890452","https://openalex.org/W2913189039","https://openalex.org/W2888778368","https://openalex.org/W2484273923","https://openalex.org/W2331527865","https://openalex.org/W2154888955","https://openalex.org/W2062463517","https://openalex.org/W2062420902","https://openalex.org/W1889691171"],"abstract_inverted_index":{"Ensuring":[0],"safe":[1,98],"operation":[2],"is":[3,31,52,74,121,135],"one":[4],"of":[5,9,12,34,41,57,65,69,84,86,112,130,139,142],"the":[6,10,32,35,39,55,63,67,70,110,127,131],"basic":[7],"requirements":[8],"design":[11],"discrete":[13,19],"event":[14],"systems":[15,73,94,115],"(DES),":[16],"for":[17,48,91],"example,":[18],"industrial":[20],"automation":[21],"systems.":[22],"The":[23,45,119,133],"most":[24],"elegant":[25],"approach":[26],"to":[27,104,108,116],"solve":[28],"this":[29,78],"problem":[30,64],"synthesis":[33,51,85],"safety":[36,49,88],"controller":[37,50,89],"on":[38,96,123],"basis":[40],"a":[42,82,143],"sound":[43],"theory.":[44],"current":[46],"research":[47],"performed":[53],"using":[54],"description":[56],"plant":[58],"and":[59],"forbidden":[60,117],"behavior,":[61],"but":[62],"adjusting":[66],"behavior":[68],"existing":[71],"control":[72,93],"not":[75],"considered.":[76],"In":[77],"paper,":[79],"we":[80],"propose":[81],"method":[83,120,134],"adaptive":[87],"models":[90],"distributed":[92],"based":[95,122],"reverse":[97],"Net":[99],"Condition/Event":[100],"Systems":[101],"(RsNCES),":[102],"allowing":[103],"generate":[105],"prohibiting":[106],"rules":[107],"prevent":[109],"movement":[111],"closed":[113],"loop":[114],"states.":[118],"backward":[124],"search":[125],"in":[126],"state":[128],"space":[129],"model.":[132],"illustrated":[136],"by":[137],"means":[138],"an":[140],"example":[141],"simple":[144],"mechatronic":[145],"system.":[146]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4249959811","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-04-24T08:43:25.384709","created_date":"2022-05-12"}