{"id":"https://openalex.org/W4403535449","doi":"https://doi.org/10.1109/codit62066.2024.10708360","title":"Constraint Programming for Logic controller Synthesis","display_name":"Constraint Programming for Logic controller Synthesis","publication_year":2024,"publication_date":"2024-07-01","ids":{"openalex":"https://openalex.org/W4403535449","doi":"https://doi.org/10.1109/codit62066.2024.10708360"},"language":"en","primary_location":{"id":"doi:10.1109/codit62066.2024.10708360","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit62066.2024.10708360","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 10th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04914353/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114320016","display_name":"Mathieu Roisin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210144798","display_name":"Institut Sup\u00e9rieur de M\u00e9canique de Paris","ror":"https://ror.org/04dtfqt68","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210144798"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Mathieu Roisin","raw_affiliation_strings":["ISAE-Supmeca, Quartz, EA7393,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ISAE-Supmeca, Quartz, EA7393,France","institution_ids":["https://openalex.org/I4210144798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021526746","display_name":"Pierre\u2010Alain Yvars","orcid":"https://orcid.org/0000-0002-7131-6796"},"institutions":[{"id":"https://openalex.org/I4210144798","display_name":"Institut Sup\u00e9rieur de M\u00e9canique de Paris","ror":"https://ror.org/04dtfqt68","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210144798"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre-Alain Yvars","raw_affiliation_strings":["ISAE-Supmeca, Quartz, EA7393,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ISAE-Supmeca, Quartz, EA7393,France","institution_ids":["https://openalex.org/I4210144798"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021605624","display_name":"Bernard Riera","orcid":"https://orcid.org/0000-0003-1294-874X"},"institutions":[{"id":"https://openalex.org/I4210137396","display_name":"Centre de Recherche en \u00c9conomie et Statistique","ror":"https://ror.org/0449khs19","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I142476485","https://openalex.org/I4210108488","https://openalex.org/I4210108488","https://openalex.org/I4210137396","https://openalex.org/I4210145102","https://openalex.org/I4210145102","https://openalex.org/I4210150854","https://openalex.org/I84009706"]},{"id":"https://openalex.org/I96226040","display_name":"Universit\u00e9 de Reims Champagne-Ardenne","ror":"https://ror.org/03hypw319","country_code":"FR","type":"education","lineage":["https://openalex.org/I96226040"]},{"id":"https://openalex.org/I4210100943","display_name":"Centre de Recherche en Sciences et Technologies de l'Information et de la Communication","ror":"https://ror.org/016wdna72","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I4210100943","https://openalex.org/I4210141980","https://openalex.org/I96226040"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bernard Riera","raw_affiliation_strings":["University of Reims Champagne-Ardenne Reims,CReSTIC,Reims,France,51100","CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (UFR Sciences Exactes et Naturelles, Moulin de la Housse, BP 1039, 51687 Reims CEDEX 2, FRANCE - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Reims Champagne-Ardenne Reims,CReSTIC,Reims,France,51100","institution_ids":["https://openalex.org/I96226040","https://openalex.org/I4210100943"]},{"raw_affiliation_string":"CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (UFR Sciences Exactes et Naturelles, Moulin de la Housse, BP 1039, 51687 Reims CEDEX 2, FRANCE - France)","institution_ids":["https://openalex.org/I4210100943","https://openalex.org/I4210137396"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5114320016"],"corresponding_institution_ids":["https://openalex.org/I4210144798"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2134631,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1843","last_page":"1848"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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.9986000061035156,"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.9948999881744385,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.671555757522583},{"id":"https://openalex.org/keywords/concurrent-constraint-logic-programming","display_name":"Concurrent constraint logic programming","score":0.6270508766174316},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.6058985590934753},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5958807468414307},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.530274510383606},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5131784081459045},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.4637245535850525},{"id":"https://openalex.org/keywords/logic-optimization","display_name":"Logic optimization","score":0.46217554807662964},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4467061460018158},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.41277796030044556},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.33445847034454346},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.33338916301727295},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2500839829444885},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.24899473786354065},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.22391220927238464},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20875930786132812},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.18166959285736084},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17071393132209778}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.671555757522583},{"id":"https://openalex.org/C204306468","wikidata":"https://www.wikidata.org/wiki/Q5159106","display_name":"Concurrent constraint logic programming","level":5,"score":0.6270508766174316},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.6058985590934753},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5958807468414307},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.530274510383606},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5131784081459045},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4637245535850525},{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.46217554807662964},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4467061460018158},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.41277796030044556},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.33445847034454346},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.33338916301727295},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2500839829444885},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.24899473786354065},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.22391220927238464},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20875930786132812},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.18166959285736084},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17071393132209778},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/codit62066.2024.10708360","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit62066.2024.10708360","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 10th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04914353v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04914353","pdf_url":"https://hal.science/hal-04914353/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, Malta. pp.1843-1848, ⟨10.1109/codit62066.2024.10708360⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04914353v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04914353","pdf_url":"https://hal.science/hal-04914353/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, Malta. pp.1843-1848, ⟨10.1109/codit62066.2024.10708360⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2404780492","display_name":"Digital Twins for Cyber-Physical Systems","funder_award_id":"ANR-23-CE10-0010","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4903417099","display_name":null,"funder_award_id":"CE10-0010","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403535449.pdf","grobid_xml":"https://content.openalex.org/works/W4403535449.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1245771","https://openalex.org/W2029287142","https://openalex.org/W2082734046","https://openalex.org/W2119456262","https://openalex.org/W2159875930","https://openalex.org/W2511301953","https://openalex.org/W2600920262","https://openalex.org/W3036426655","https://openalex.org/W3169373863","https://openalex.org/W4231635913","https://openalex.org/W4233578582","https://openalex.org/W4285125253","https://openalex.org/W4297744580","https://openalex.org/W4320720423","https://openalex.org/W4387780088","https://openalex.org/W6600053870","https://openalex.org/W6661110980","https://openalex.org/W6849642414"],"related_works":["https://openalex.org/W2495969191","https://openalex.org/W1840715060","https://openalex.org/W2611103758","https://openalex.org/W316728381","https://openalex.org/W1517880980","https://openalex.org/W1520714863","https://openalex.org/W1589232796","https://openalex.org/W4243324743","https://openalex.org/W2277365967","https://openalex.org/W1548690989"],"abstract_inverted_index":{"This":[0],"article":[1],"deals":[2],"with":[3,13,46],"the":[4,21,72,82,87,108],"use":[5],"of":[6,23,61,74],"a":[7,14,59,99,110,114],"constraint":[8,15],"satisfaction":[9],"problem":[10],"(CSP)":[11],"modeling":[12],"programming":[16],"(CP)":[17],"solver":[18,77],"to":[19,101],"support":[20],"synthesis":[22],"logical":[24,47,51],"controllers":[25],"for":[26],"Programmable":[27],"Logic":[28],"Controller":[29],"(PLC).":[30],"In":[31,94],"this":[32],"work,":[33],"manufacturing":[34],"systems":[35],"are":[36,39],"considered":[37],"and":[38,50],"seen":[40,57],"as":[41,58],"Discrete":[42],"Event":[43],"Systems":[44],"(DES)":[45],"inputs":[48],"(sensors)":[49],"outputs":[52],"(actuators).":[53],"The":[54,67,76],"controller":[55],"is":[56,69,97],"scheduler":[60],"operative":[62],"(or":[63],"functional)":[64],"independent":[65],"tasks.":[66],"methodology":[68],"based":[70,80],"on":[71,81],"definition":[73],"constraints.":[75],"will":[78],"indicate,":[79],"previous":[83],"PLC":[84],"variables":[85],"state,":[86],"possible":[88,111],"tasks":[89],"which":[90],"could":[91],"be":[92],"activated.":[93],"addition,":[95],"it":[96],"proposed":[98],"solution":[100],"get":[102],"only":[103],"one":[104],"solution,":[105],"enabling,":[106],"in":[107,113],"future,":[109],"implementation":[112],"PLC.":[115]},"counts_by_year":[],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}