{"id":"https://openalex.org/W2989926736","doi":"https://doi.org/10.1109/smc.2019.8914057","title":"Provably Correct Configuration Management of Precision Feeding in Agriculture4.0","display_name":"Provably Correct Configuration Management of Precision Feeding in Agriculture4.0","publication_year":2019,"publication_date":"2019-10-01","ids":{"openalex":"https://openalex.org/W2989926736","doi":"https://doi.org/10.1109/smc.2019.8914057","mag":"2989926736"},"language":"en","primary_location":{"id":"doi:10.1109/smc.2019.8914057","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2019.8914057","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)","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/A5044933462","display_name":"Gert Kanter","orcid":"https://orcid.org/0000-0002-8201-8540"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"G. Kanter","raw_affiliation_strings":["Tallinn University of Technology, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012544083","display_name":"J\u00fcri Vain","orcid":"https://orcid.org/0000-0002-0700-7972"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"J. Vain","raw_affiliation_strings":["Tallinn University of Technology, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049088556","display_name":"Seshadhri Srinivasan","orcid":"https://orcid.org/0000-0003-0014-3928"},"institutions":[{"id":"https://openalex.org/I4210167254","display_name":"Singapore-MIT Alliance for Research and Technology","ror":"https://ror.org/05yb3w112","country_code":"SG","type":"education","lineage":["https://openalex.org/I4210167254"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Seshadhri Srinivasan","raw_affiliation_strings":["Berkeley Education Alliance for Research in Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Berkeley Education Alliance for Research in Singapore, Singapore","institution_ids":["https://openalex.org/I4210167254"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029928673","display_name":"Srini Ramaswamy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Srini Ramaswamy","raw_affiliation_strings":["ABB Inc, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ABB Inc, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1847,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80919662,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"3098","issue":null,"first_page":"1631","last_page":"1636"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9790999889373779,"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9761000275611877,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8439668416976929},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.7267946600914001},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6796911358833313},{"id":"https://openalex.org/keywords/configuration-management","display_name":"Configuration Management (ITSM)","score":0.5625602602958679},{"id":"https://openalex.org/keywords/configuration-design","display_name":"Configuration design","score":0.5416543483734131},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.47800910472869873},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.439973384141922},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.40441396832466125},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3272131681442261},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15473812818527222},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1473294198513031},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12018969655036926},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.08866775035858154}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8439668416976929},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.7267946600914001},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6796911358833313},{"id":"https://openalex.org/C78873551","wikidata":"https://www.wikidata.org/wiki/Q5160111","display_name":"Configuration Management (ITSM)","level":2,"score":0.5625602602958679},{"id":"https://openalex.org/C10451660","wikidata":"https://www.wikidata.org/wiki/Q5160113","display_name":"Configuration design","level":2,"score":0.5416543483734131},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.47800910472869873},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.439973384141922},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.40441396832466125},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3272131681442261},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15473812818527222},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1473294198513031},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12018969655036926},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.08866775035858154},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc.2019.8914057","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2019.8914057","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7200000286102295,"id":"https://metadata.un.org/sdg/2","display_name":"Zero hunger"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1962072139","https://openalex.org/W2103538781","https://openalex.org/W2150220388","https://openalex.org/W2587923041","https://openalex.org/W2762799612","https://openalex.org/W2806576037","https://openalex.org/W2907410355","https://openalex.org/W2914290300","https://openalex.org/W2966386789","https://openalex.org/W4390512778","https://openalex.org/W6682152189","https://openalex.org/W6744916906"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2376932109","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W1596801655","https://openalex.org/W2387147530","https://openalex.org/W2367036492","https://openalex.org/W1595187661","https://openalex.org/W1556433336"],"abstract_inverted_index":{"Agriculture":[0],"4.0":[1],"aims":[2],"to":[3,9,35,42,48,99,144],"use":[4],"recent":[5],"advances":[6],"in":[7,106],"technology":[8],"enhance":[10],"productivity":[11],"and":[12,28,40,46,73,130],"reduce":[13],"operating":[14],"costs.":[15],"In":[16],"precision":[17,29],"feeding":[18,30],"systems":[19],"using":[20,78],"robots,":[21],"farm":[22,60],"configuration":[23,33,62,70],"should":[24],"support":[25],"robot":[26,59],"maneuvers":[27],"operations.":[31],"Such":[32],"needs":[34],"be":[36],"checked":[37],"during":[38,132,139],"design":[39,127],"operations":[41,140],"avoid":[43],"costly":[44],"modifications":[45],"damage":[47],"robots.":[49],"This":[50],"investigation":[51],"presents":[52],"an":[53,65],"incremental":[54,121],"model-":[55],"based":[56,83],"approach":[57],"for":[58],"runtime":[61],"management.":[63],"First,":[64],"abstract":[66],"model":[67,79],"of":[68,135],"the":[69,113,119,124],"is":[71,76,94,97,110],"generated":[72],"its":[74],"feasibility":[75],"verified":[77],"checking.":[80],"Then,":[81],"simulation":[82],"verification":[84],"by":[85],"introducing":[86],"low-level":[87],"operational":[88,104],"details":[89],"(robot":[90],"speed,":[91],"capacity,":[92],"etc.)":[93],"performed":[95],"which":[96,141],"used":[98],"refine":[100],"formal":[101],"verification.":[102],"Finally,":[103],"correctness":[105],"real":[107],"exploitation":[108],"conditions":[109],"tested":[111],"against":[112],"simulation.":[114],"Our":[115],"results":[116],"show":[117],"that":[118],"proposed":[120],"validation":[122,125],"minimizes":[123],"time,":[126],"space":[128],"exploration":[129],"cost":[131],"early":[133],"stages":[134],"design,":[136],"rather":[137],"than":[138],"could":[142],"lead":[143],"significant":[145],"cost.":[146]},"counts_by_year":[{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}