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...

Descripción completa

Detalles Bibliográficos
Autores principales: Harel, David, Marron, Assaf, Sifakis, Joseph
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