Cargando…
Autonomics: In search of a foundation for next-generation autonomous systems
The potential benefits of autonomous systems are obvious. However, there are still major issues to be dealt with before developing such systems becomes a commonplace engineering practice, with accepted and trustworthy deliverables. We argue that a solid, evolving, publicly available, community-contr...
Autores principales: | , , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
National Academy of Sciences
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7395442/ https://www.ncbi.nlm.nih.gov/pubmed/32694210 http://dx.doi.org/10.1073/pnas.2003162117 |
_version_ | 1783565408713834496 |
---|---|
author | Harel, David Marron, Assaf Sifakis, Joseph |
author_facet | Harel, David Marron, Assaf Sifakis, Joseph |
author_sort | Harel, David |
collection | PubMed |
description | The potential benefits of autonomous systems are obvious. However, there are still major issues to be dealt with before developing such systems becomes a commonplace engineering practice, with accepted and trustworthy deliverables. We argue that a solid, evolving, publicly available, community-controlled foundation for developing next-generation autonomous systems is a must, and term the desired foundation “autonomics.” We focus on three main challenges: 1) how to specify autonomous system behavior in the face of unpredictability; 2) how to carry out faithful analysis of system behavior with respect to rich environments that include humans, physical artifacts, and other systems; and 3) how to build such systems by combining executable modeling techniques from software engineering with artificial intelligence and machine learning. |
format | Online Article Text |
id | pubmed-7395442 |
institution | National Center for Biotechnology Information |
language | English |
publishDate | 2020 |
publisher | National Academy of Sciences |
record_format | MEDLINE/PubMed |
spelling | pubmed-73954422020-08-07 Autonomics: In search of a foundation for next-generation autonomous systems Harel, David Marron, Assaf Sifakis, Joseph Proc Natl Acad Sci U S A Physical Sciences The potential benefits of autonomous systems are obvious. However, there are still major issues to be dealt with before developing such systems becomes a commonplace engineering practice, with accepted and trustworthy deliverables. We argue that a solid, evolving, publicly available, community-controlled foundation for developing next-generation autonomous systems is a must, and term the desired foundation “autonomics.” We focus on three main challenges: 1) how to specify autonomous system behavior in the face of unpredictability; 2) how to carry out faithful analysis of system behavior with respect to rich environments that include humans, physical artifacts, and other systems; and 3) how to build such systems by combining executable modeling techniques from software engineering with artificial intelligence and machine learning. National Academy of Sciences 2020-07-28 2020-07-21 /pmc/articles/PMC7395442/ /pubmed/32694210 http://dx.doi.org/10.1073/pnas.2003162117 Text en Copyright © 2020 the Author(s). Published by PNAS. https://creativecommons.org/licenses/by-nc-nd/4.0/ https://creativecommons.org/licenses/by-nc-nd/4.0/This open access article is distributed under Creative Commons Attribution-NonCommercial-NoDerivatives License 4.0 (CC BY-NC-ND) (https://creativecommons.org/licenses/by-nc-nd/4.0/) . |
spellingShingle | Physical Sciences Harel, David Marron, Assaf Sifakis, Joseph Autonomics: In search of a foundation for next-generation autonomous systems |
title | Autonomics: In search of a foundation for next-generation autonomous systems |
title_full | Autonomics: In search of a foundation for next-generation autonomous systems |
title_fullStr | Autonomics: In search of a foundation for next-generation autonomous systems |
title_full_unstemmed | Autonomics: In search of a foundation for next-generation autonomous systems |
title_short | Autonomics: In search of a foundation for next-generation autonomous systems |
title_sort | autonomics: in search of a foundation for next-generation autonomous systems |
topic | Physical Sciences |
url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7395442/ https://www.ncbi.nlm.nih.gov/pubmed/32694210 http://dx.doi.org/10.1073/pnas.2003162117 |
work_keys_str_mv | AT hareldavid autonomicsinsearchofafoundationfornextgenerationautonomoussystems AT marronassaf autonomicsinsearchofafoundationfornextgenerationautonomoussystems AT sifakisjoseph autonomicsinsearchofafoundationfornextgenerationautonomoussystems |