{"id":"https://openalex.org/W2162037105","doi":"https://doi.org/10.1109/robio.2010.5723437","title":"Dynamic monitoring approach for verification of control software of robot using synchronized Petri nets","display_name":"Dynamic monitoring approach for verification of control software of robot using synchronized Petri nets","publication_year":2010,"publication_date":"2010-12-01","ids":{"openalex":"https://openalex.org/W2162037105","doi":"https://doi.org/10.1109/robio.2010.5723437","mag":"2162037105"},"language":"en","primary_location":{"id":"doi:10.1109/robio.2010.5723437","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robio.2010.5723437","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International Conference on Robotics and Biomimetics","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/A5067313944","display_name":"Weijun Zhang","orcid":"https://orcid.org/0000-0003-1547-8907"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Weijun Zhang","raw_affiliation_strings":["Research Institute of Robotics, Shanghai Jiaotong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Research Institute of Robotics, Shanghai Jiaotong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024915129","display_name":"Jianjun Yuan","orcid":"https://orcid.org/0000-0003-1400-8866"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianjun Yuan","raw_affiliation_strings":["State Key Laboratory of Robotics and System HIT, Shanghai Jiaotong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Robotics and System HIT, Shanghai Jiaotong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100638653","display_name":"Wei Zhang","orcid":"https://orcid.org/0000-0002-1614-1786"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Zhang","raw_affiliation_strings":["Research Institute of Robotics, Shanghai Jiaotong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Research Institute of Robotics, Shanghai Jiaotong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5067313944"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18258884,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"850","last_page":"855"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994999766349792,"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.9994999766349792,"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.9994000196456909,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/petri-net","display_name":"Petri net","score":0.7692757844924927},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7545151114463806},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5828235745429993},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5366992354393005},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5296409130096436},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.45122140645980835},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.42936861515045166},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4206133186817169},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3975943624973297},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13672992587089539},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.13322016596794128},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12128463387489319},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10902529954910278}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7692757844924927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7545151114463806},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5828235745429993},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5366992354393005},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5296409130096436},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45122140645980835},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.42936861515045166},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4206133186817169},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3975943624973297},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13672992587089539},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.13322016596794128},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12128463387489319},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10902529954910278},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/robio.2010.5723437","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robio.2010.5723437","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International Conference on Robotics and Biomimetics","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W59365162","https://openalex.org/W1596735499","https://openalex.org/W1909871898","https://openalex.org/W2032742044","https://openalex.org/W2116093754","https://openalex.org/W2129413046","https://openalex.org/W2133237146","https://openalex.org/W2138853976","https://openalex.org/W2150621030","https://openalex.org/W2152815305","https://openalex.org/W2160883697","https://openalex.org/W2166031955","https://openalex.org/W2542553949"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2132799268","https://openalex.org/W2154794415","https://openalex.org/W791317142","https://openalex.org/W2109094990","https://openalex.org/W1538101305","https://openalex.org/W2982241419","https://openalex.org/W2285444239"],"abstract_inverted_index":{"The":[0,95],"verification":[1],"of":[2,13,29,48,59,62,82,84,91,123,127,131,138],"new":[3,77],"intelligent":[4],"robotic":[5,132],"control":[6,31,53,124,133],"algorithm":[7],"not":[8],"only":[9],"requires":[10],"the":[11,18,44,57,60,65,101,108,136],"correction":[12],"computation":[14],"but":[15],"also":[16],"satisfies":[17],"timing":[19],"constraints.":[20],"In":[21],"this":[22],"paper,":[23],"a":[24,49,76,85,113],"synchronized":[25],"Petri":[26],"nets":[27],"model":[28,97],"robot":[30],"software":[32,54],"is":[33,40,72,93,98,117],"presented,":[34],"in":[35,52,100,152],"which":[36],"an":[37],"event":[38],"set":[39],"introduced":[41],"to":[42,119],"indicate":[43],"start":[45],"and":[46,74,88,112,129,141],"end":[47],"task":[50,86],"module":[51,87],"design.":[55],"With":[56],"help":[58],"concept":[61],"inhibitor":[63],"arc,":[64],"preemptive":[66],"scheduling":[67,128,146],"policy":[68],"with":[69,149],"fixed":[70],"priority":[71],"modeled":[73],"furthermore,":[75],"approach":[78,140],"for":[79,145],"dynamic":[80],"monitoring":[81],"duration":[83],"performance":[89,122],"evaluation":[90],"schedulability":[92],"presented.":[94],"presented":[96,139],"applied":[99],"Open":[102],"Real-time":[103],"Robot":[104],"Controller-ORRC-I,":[105],"developing":[106],"under":[107],"Windows":[109],"NT":[110],"environment":[111],"real-time":[114,121],"extension":[115],"RTX":[116],"adopted":[118],"assure":[120],"actions.":[125],"Experiments":[126],"synchronization":[130],"tasks":[134],"prove":[135],"effectiveness":[137],"show":[142],"it":[143],"suitable":[144],"complex":[147],"algorithms":[148],"large":[150],"variance":[151],"execution":[153],"time.":[154]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}