{"id":"https://openalex.org/W4403675777","doi":"https://doi.org/10.1109/case59546.2024.10711749","title":"Validation of supervisory control synthesis tool CIF using model checker mCRL2","display_name":"Validation of supervisory control synthesis tool CIF using model checker mCRL2","publication_year":2024,"publication_date":"2024-08-28","ids":{"openalex":"https://openalex.org/W4403675777","doi":"https://doi.org/10.1109/case59546.2024.10711749"},"language":"en","primary_location":{"id":"doi:10.1109/case59546.2024.10711749","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/case59546.2024.10711749","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.tue.nl/ws/files/345450840/Validation_of_supervisory_control_synthesis_tool_CIF_using_model_checker_mCRL2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040487816","display_name":"Michel Reniers","orcid":"https://orcid.org/0000-0002-9283-4074"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Michel Reniers","raw_affiliation_strings":["Eindhoven University of Technology,Dept. of Mechanical Engineering,The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology,Dept. of Mechanical Engineering,The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010819147","display_name":"Jeroen J. A. Keiren","orcid":"https://orcid.org/0000-0002-5772-9527"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jeroen J.A. Keiren","raw_affiliation_strings":["Eindhoven University of Technology,Dept. of Mathematics & Computer Science,The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology,Dept. of Mathematics & Computer Science,The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040487816"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22874057,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1437","last_page":"1442"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.925599992275238,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.925599992275238,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7209875583648682},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.670772135257721},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6653547286987305},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44089025259017944},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.41397911310195923},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.35360804200172424},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34817034006118774},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.32677793502807617},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12962225079536438},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12323909997940063}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7209875583648682},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.670772135257721},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6653547286987305},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44089025259017944},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.41397911310195923},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.35360804200172424},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34817034006118774},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.32677793502807617},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12962225079536438},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12323909997940063}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/case59546.2024.10711749","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/case59546.2024.10711749","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:publications/c824b0fe-0509-4773-9f1c-f12fcc18613c","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/c824b0fe-0509-4773-9f1c-f12fcc18613c","pdf_url":"https://pure.tue.nl/ws/files/345450840/Validation_of_supervisory_control_synthesis_tool_CIF_using_model_checker_mCRL2.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Reniers, M & Keiren, J J A 2024, Validation of supervisory control synthesis tool CIF using model checker mCRL2. in 2024 IEEE 20th International Conference on Automation Science and Engineering, CASE 2024., 10711749, Institute of Electrical and Electronics Engineers, pp. 1437-1442, 20th IEEE International Conference on Automation Science and Engineering, CASE 2024, Bari, Italy, 28/08/24. https://doi.org/10.1109/CASE59546.2024.10711749","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire/c824b0fe-0509-4773-9f1c-f12fcc18613c","is_oa":true,"landing_page_url":"https://research.tue.nl/files/345450840/Validation_of_supervisory_control_synthesis_tool_CIF_using_model_checker_mCRL2.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Reniers, M & Keiren, J J A 2024, Validation of supervisory control synthesis tool CIF using model checker mCRL2. in 2024 IEEE 20th International Conference on Automation Science and Engineering, CASE 2024., 10711749, Institute of Electrical and Electronics Engineers, pp. 1437-1442, 20th IEEE International Conference on Automation Science and Engineering, CASE 2024, Bari, Italy, 28/08/24. https://doi.org/10.1109/CASE59546.2024.10711749","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:publications/c824b0fe-0509-4773-9f1c-f12fcc18613c","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/c824b0fe-0509-4773-9f1c-f12fcc18613c","pdf_url":"https://pure.tue.nl/ws/files/345450840/Validation_of_supervisory_control_synthesis_tool_CIF_using_model_checker_mCRL2.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Reniers, M & Keiren, J J A 2024, Validation of supervisory control synthesis tool CIF using model checker mCRL2. in 2024 IEEE 20th International Conference on Automation Science and Engineering, CASE 2024., 10711749, Institute of Electrical and Electronics Engineers, pp. 1437-1442, 20th IEEE International Conference on Automation Science and Engineering, CASE 2024, Bari, Italy, 28/08/24. https://doi.org/10.1109/CASE59546.2024.10711749","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4403675777.pdf"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W83902219","https://openalex.org/W623593394","https://openalex.org/W627571476","https://openalex.org/W1507873625","https://openalex.org/W1587663028","https://openalex.org/W1979349468","https://openalex.org/W1992707297","https://openalex.org/W1995831109","https://openalex.org/W2000947342","https://openalex.org/W2036717684","https://openalex.org/W2039568153","https://openalex.org/W2048949114","https://openalex.org/W2059057465","https://openalex.org/W2071592303","https://openalex.org/W2101528689","https://openalex.org/W2123814533","https://openalex.org/W2140197499","https://openalex.org/W2140317178","https://openalex.org/W2162379766","https://openalex.org/W2163119090","https://openalex.org/W2522848592","https://openalex.org/W2931334490","https://openalex.org/W4230290951","https://openalex.org/W4366453084"],"related_works":["https://openalex.org/W1552815313","https://openalex.org/W3028107872","https://openalex.org/W2182871100","https://openalex.org/W2122920927","https://openalex.org/W2353922510","https://openalex.org/W4238819820","https://openalex.org/W4254979643","https://openalex.org/W2388318948","https://openalex.org/W2373691600","https://openalex.org/W1538854713"],"abstract_inverted_index":{"This":[0],"paper":[1,37],"proposes":[2,38],"a":[3,16,39,57,69,79],"method":[4,40],"to":[5,13],"show":[6],"how":[7],"model":[8],"checking":[9],"may":[10],"be":[11],"used":[12,25],"verify":[14],"that":[15,48],"synthesized":[17],"supervisor":[18],"indeed":[19],"is":[20,66],"safe":[21],"(w.r.t.":[22],"safety":[23],"requirements":[24],"in":[26,53],"the":[27,54,73],"synthesis":[28],"procedure),":[29],"nonblocking":[30],"and":[31],"controllable.":[32],"To":[33],"achieve":[34],"this":[35,36],"for":[41,78],"transforming":[42],"networks":[43],"of":[44,56,75],"extended":[45],"finite":[46],"automata":[47],"interact":[49],"through":[50],"shared":[51],"events,":[52],"form":[55],"CIF":[58],"model,":[59],"into":[60],"an":[61],"mCRL2":[62],"specification.":[63],"The":[64],"approach":[65],"illustrated":[67],"using":[68],"case":[70],"dealing":[71],"with":[72],"coordination":[74],"maintenance":[76],"procedures":[77],"high-end":[80],"printer.":[81]},"counts_by_year":[],"updated_date":"2026-03-17T17:19:04.345684","created_date":"2025-10-10T00:00:00"}