{"id":"https://openalex.org/W1574643553","doi":"https://doi.org/10.1007/978-3-662-46078-8_19","title":"Maximally Permissive Controlled System Synthesis for Modal Logic","display_name":"Maximally Permissive Controlled System Synthesis for Modal Logic","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W1574643553","doi":"https://doi.org/10.1007/978-3-662-46078-8_19","mag":"1574643553"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-46078-8_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-46078-8_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5111457988","display_name":"A.C. van Hulst","orcid":null},"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":"Alan C. van Hulst","raw_affiliation_strings":["Eindhoven University of Technology, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","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":false,"raw_author_name":"Michel A. Reniers","raw_affiliation_strings":["Eindhoven University of Technology, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078610814","display_name":"Wan Fokkink","orcid":"https://orcid.org/0000-0001-7443-8978"},"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":"Wan J. Fokkink","raw_affiliation_strings":["Eindhoven University of Technology, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5111457988"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.3023,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.87234043,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"230","last_page":"241"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9983999729156494,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9968000054359436,"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/reachability","display_name":"Reachability","score":0.8633711338043213},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.84026038646698},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.7488926649093628},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7482454180717468},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.6574039459228516},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4882247745990753},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.46945589780807495},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4678047001361847},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.4431045353412628},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4362744092941284},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3586658239364624},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2655401825904846},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1912825107574463},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13481828570365906}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8633711338043213},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.84026038646698},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.7488926649093628},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7482454180717468},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.6574039459228516},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4882247745990753},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.46945589780807495},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4678047001361847},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4431045353412628},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4362744092941284},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3586658239364624},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2655401825904846},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1912825107574463},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13481828570365906},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-662-46078-8_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-46078-8_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/39d6e90c-de45-4da9-864c-f8c963a2a082","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/39d6e90c-de45-4da9-864c-f8c963a2a082","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van Hulst, A C, Reniers, M A & Fokkink, W J 2015, Maximally permissive controlled system synthesis for modal logic. in G F Italiano, T Margaria-Steffen, J Pokorny, J-J Quisquater & R Wattenhofer (eds), SOFSEM 2015 : Theory and Practice of Computer Science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015. Proceedings. Lecture Notes in Computer Science (LNCS), vol. 8939, Springer, Berlin, pp. 230-241, 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015), Pec pod Snezkou, Czech Republic, 24/01/15. https://doi.org/10.1007/978-3-662-46078-8_19","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.759.8511","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.759.8511","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1408.3317.pdf","raw_type":"text"},{"id":"pmh:oai:research.vu.nl:publications/7a35ea8d-a590-41fe-b37b-02388f7a5c96","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=84922010222&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Hulst, A C, Reniers, M A & Fokkink, W 2015, Maximally permissive controlled system synthesis for modal logic. in SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science. vol. 8939, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8939, Springer/Verlag, pp. 230-241, 41st International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2015, Pec pod Sn\u011b\u017ekou, Czech Republic, 24/01/15.","raw_type":"contributionToPeriodical"},{"id":"pmh:tue:oai:pure.tue.nl:publications/39d6e90c-de45-4da9-864c-f8c963a2a082","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/39d6e90c-de45-4da9-864c-f8c963a2a082","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SOFSEM 2015 : Theory and Practice of Computer Science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015. Proceedings, 230 - 241","raw_type":"info:eu-repo/semantics/bookpart"},{"id":"pmh:vu:oai:research.vu.nl:publications/7a35ea8d-a590-41fe-b37b-02388f7a5c96","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/7a35ea8d-a590-41fe-b37b-02388f7a5c96","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, 8939, 230 - 241","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W39529632","https://openalex.org/W1534873969","https://openalex.org/W1553574558","https://openalex.org/W1574643553","https://openalex.org/W1587663028","https://openalex.org/W1791618115","https://openalex.org/W1978469611","https://openalex.org/W1979349468","https://openalex.org/W1985861264","https://openalex.org/W1989359021","https://openalex.org/W1996120936","https://openalex.org/W2013854827","https://openalex.org/W2016206563","https://openalex.org/W2039568153","https://openalex.org/W2054099039","https://openalex.org/W2084477406","https://openalex.org/W2097060735","https://openalex.org/W2098981343","https://openalex.org/W2169984362","https://openalex.org/W2179217959","https://openalex.org/W2949562517","https://openalex.org/W3000511677","https://openalex.org/W3144082900","https://openalex.org/W3152249891","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W4312626387","https://openalex.org/W1651168384","https://openalex.org/W2103504376","https://openalex.org/W2153337086","https://openalex.org/W1989082972","https://openalex.org/W2135051863","https://openalex.org/W2790897865","https://openalex.org/W2015160737","https://openalex.org/W1583061463","https://openalex.org/W2161605176"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}