{"id":"https://openalex.org/W2108768098","doi":"https://doi.org/10.7551/978-0-262-31709-2-ch112","title":"Boolean Network Robotics as an Intermediate Step in the Synthesis of Finite State Machines for Robot Control","display_name":"Boolean Network Robotics as an Intermediate Step in the Synthesis of Finite State Machines for Robot Control","publication_year":2013,"publication_date":"2013-08-29","ids":{"openalex":"https://openalex.org/W2108768098","doi":"https://doi.org/10.7551/978-0-262-31709-2-ch112","mag":"2108768098"},"language":"en","primary_location":{"id":"doi:10.7551/978-0-262-31709-2-ch112","is_oa":false,"landing_page_url":"https://doi.org/10.7551/978-0-262-31709-2-ch112","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Artificial Life, ECAL 2013","raw_type":"proceedings-article"},"type":"conference-paper","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/A5014520592","display_name":"Lorenzo Garattoni","orcid":"https://orcid.org/0000-0002-6382-0335"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Lorenzo Garattoni","raw_affiliation_strings":["Universit\u00e9 Libre de Bruxelles, Brussels, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Libre de Bruxelles, Brussels, Belgium","institution_ids":["https://openalex.org/I132053463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045128977","display_name":"Andrea Roli","orcid":"https://orcid.org/0000-0001-9891-5441"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Roli","raw_affiliation_strings":["University of Bologna, Bologna, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084488284","display_name":"Matteo Amaducci","orcid":null},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Amaducci","raw_affiliation_strings":["University of Bologna, Bologna, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034543991","display_name":"Carlo Pinciroli","orcid":"https://orcid.org/0000-0002-2155-0445"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Carlo Pinciroli","raw_affiliation_strings":["Universit\u00e9 Libre de Bruxelles, Brussels, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Libre de Bruxelles, Brussels, Belgium","institution_ids":["https://openalex.org/I132053463"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061782786","display_name":"Mauro Birattari","orcid":"https://orcid.org/0000-0003-3309-2194"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Mauro Birattari","raw_affiliation_strings":["Universit\u00e9 Libre de Bruxelles, Brussels, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Libre de Bruxelles, Brussels, Belgium","institution_ids":["https://openalex.org/I132053463"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"783","last_page":"790"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9898999929428101,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6655703783035278},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6444781422615051},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6110336780548096},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.5767747759819031},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5506564378738403},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.47778019309043884},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.47367388010025024},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46199560165405273},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.43200045824050903},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4226449728012085},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.30950942635536194},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1994483470916748},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18178999423980713}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6655703783035278},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6444781422615051},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6110336780548096},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.5767747759819031},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5506564378738403},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.47778019309043884},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.47367388010025024},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46199560165405273},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.43200045824050903},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4226449728012085},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.30950942635536194},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1994483470916748},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18178999423980713}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.7551/978-0-262-31709-2-ch112","is_oa":false,"landing_page_url":"https://doi.org/10.7551/978-0-262-31709-2-ch112","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Artificial Life, ECAL 2013","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.465.1850","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.1850","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://mitpress.mit.edu/sites/default/files/titles/content/ecal13/978-0-262-31709-2-ch112.pdf","raw_type":"text"},{"id":"pmh:oai:cris.unibo.it:11585/295315","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/295315","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dipot.ulb.ac.be:2013/154623","is_oa":false,"landing_page_url":"http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/154623","pdf_url":null,"source":{"id":"https://openalex.org/S4306401063","display_name":"D\u00e9p\u00f4t institutionnel de l'Universit\u00e9 libre de Bruxelles (Universit\u00e9 Libre de Bruxelles)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I132053463","host_organization_name":"Universit\u00e9 Libre de Bruxelles","host_organization_lineage":["https://openalex.org/I132053463"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1550045403","https://openalex.org/W1563970480","https://openalex.org/W1971224531","https://openalex.org/W1993247695","https://openalex.org/W2017162913","https://openalex.org/W2030792885","https://openalex.org/W2045924769","https://openalex.org/W2053024278","https://openalex.org/W2087236469","https://openalex.org/W2119620862","https://openalex.org/W2145461202","https://openalex.org/W2153988646","https://openalex.org/W2240585996","https://openalex.org/W2503916696","https://openalex.org/W3105600731","https://openalex.org/W3116417620"],"related_works":["https://openalex.org/W1597080238","https://openalex.org/W2055594799","https://openalex.org/W2728195892","https://openalex.org/W1991822629","https://openalex.org/W1976822807","https://openalex.org/W2611822924","https://openalex.org/W2150974517","https://openalex.org/W4248224315","https://openalex.org/W2106622045","https://openalex.org/W2169792446"],"abstract_inverted_index":{"We":[0,193],"propose":[1],"an":[2],"approach":[3,33],"to":[4,34,51,57,88,99,188],"the":[5,14,35,74,78,94,110,114,133,140,155,162,195,224,226],"automatic":[6,36,95,115,141],"synthesis":[7,156],"of":[8,38,69,77,81,109,125,132,143,157,164,179,190,197],"robot":[9,39,61],"control":[10,40,220],"software":[11],"based":[12],"on":[13],"finite":[15],"state":[16,79,111],"machine":[17],"(FSM)":[18],"formalism.":[19],"In":[20,42,172],"our":[21,137,198],"previous":[22],"research,":[23],"we":[24,45,175],"have":[25],"introduced":[26],"Boolean":[27,55,63,83,145],"network":[28,64,84,146,183],"robotics":[29,65],"as":[30],"a":[31,67,82,144,150,158,166,191,218],"novel":[32],"design":[37,96,116,142],"software.":[41],"this":[43,173],"paper,":[44,174],"show":[46,176],"that":[47,139,177],"it":[48],"is":[49,97,136],"possible":[50],"leverage":[52],"automatically":[53],"designed":[54],"networks":[56,101,118],"synthesize":[58],"FSMs":[59],"for":[60],"control.":[62],"exhibits":[66],"number":[68],"interesting":[70],"properties.":[71],"Firstly,":[72],"notwithstanding":[73],"large":[75],"size":[76],"space":[80],"and":[85,91,169,208],"its":[86],"ability":[87],"display":[89],"complex":[90],"rich":[92],"dynamics,":[93],"able":[98],"produce":[100],"whose":[102],"trajectories":[103,184],"are":[104],"confined":[105],"in":[106,119,154,200,223],"small":[107],"volumes":[108],"space.":[112],"Secondly,":[113],"produces":[117],"which":[120,160],"one":[121],"can":[122,148,185,214],"identify":[123],"clusters":[124,178],"states":[126,180,189],"associated":[127],"with":[128],"functional":[129],"behavioral":[130],"units":[131],"robots.":[134],"It":[135],"contention":[138],"controller":[147],"be":[149,186,215],"convenient":[151],"intermediate":[152],"step":[153],"FSM,":[159],"offers":[161],"advantage":[163],"being":[165],"compact,":[167],"readable,":[168],"modifiable":[170],"representation.":[171],"traversed":[181],"by":[182,217],"mapped":[187],"FSM.":[192],"illustrate":[194],"viability":[196],"proposal":[199],"two":[201],"notable":[202],"robotic":[203],"tasks,":[204],"namely":[205],"collision":[206],"avoidance":[207],"sequence":[209],"recognition.":[210],"The":[211],"first":[212],"task":[213],"achieved":[216],"memoryless":[219],"program,":[221],"whilst":[222],"second":[225],"robots":[227],"need":[228],"memory.":[229]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}