Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent
Fuente:
Wiley Open Access
Salvato in:
| Autori principali: | , , , , , , , , |
|---|---|
| Natura: | Artículo Open Access |
| Pubblicazione: |
Wiley
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1867018767209332736 |
|---|---|
| author | Parth Ganeriwala Nandith Narayan Randolph M. Jones Michael Matessa Siddhartha Bhattacharyya Jennifer Davis Simone Fulvio Rollini Hemant Purohit Natasha Neogi |
| author_facet | Parth Ganeriwala Nandith Narayan Randolph M. Jones Michael Matessa Siddhartha Bhattacharyya Jennifer Davis Simone Fulvio Rollini Hemant Purohit Natasha Neogi Parth Ganeriwala Nandith Narayan Randolph M. Jones Michael Matessa Siddhartha Bhattacharyya Jennifer Davis Simone Fulvio Rollini Hemant Purohit Natasha Neogi |
| collection | Wiley Open Access |
| contents | Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent Parth Ganeriwala Nandith Narayan Randolph M. Jones Michael Matessa Siddhartha Bhattacharyya Jennifer Davis Simone Fulvio Rollini Hemant Purohit Natasha Neogi Systems Engineering ABSTRACT With the rapid advancements in Artificial Intelligence (AI), autonomous agents are expected to handle increasingly complex situations. However, learning‐enabled algorithms, which are critical to these systems, present significant challenges, including complexity, difficulty in verification, and a lack of certification pathways. A systematic approach integrating architectural analysis with human–machine interaction is crucial to ensuring the safety of these systems. This research emphasizes the early incorporation of human interactions in the design of architectural models to meet safety requirements. These interactions are modeled in the Soar cognitive architecture, which combines symbolic decision logic and numeric decision preferences, refined by reinforcement learning. The agent is then automatically translated into the formal verification environment, nuXmv, where its properties are verified. Our framework integrates systems modeling, formal verification, and simulation to check operational correctness, enhancing the reliability and safety of learning‐enabled autonomous agents. 10.1002/sys.21816 http://onlinelibrary.wiley.com/termsAndConditions#vor |
| doi_str_mv | 10.1002/sys.21816 |
| format | Artículo Open Access |
| id | wiley_oa_10_1002_sys_21816 |
| institution | Wiley Open Access |
| license_str_mv | http://onlinelibrary.wiley.com/termsAndConditions#vor |
| publishDate | 2025 |
| publisher | Wiley |
| record_format | wiley_oa |
| spellingShingle | Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent Parth Ganeriwala Nandith Narayan Randolph M. Jones Michael Matessa Siddhartha Bhattacharyya Jennifer Davis Simone Fulvio Rollini Hemant Purohit Natasha Neogi Systems Engineering Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent Parth Ganeriwala Nandith Narayan Randolph M. Jones Michael Matessa Siddhartha Bhattacharyya Jennifer Davis Simone Fulvio Rollini Hemant Purohit Natasha Neogi Systems Engineering ABSTRACT With the rapid advancements in Artificial Intelligence (AI), autonomous agents are expected to handle increasingly complex situations. However, learning‐enabled algorithms, which are critical to these systems, present significant challenges, including complexity, difficulty in verification, and a lack of certification pathways. A systematic approach integrating architectural analysis with human–machine interaction is crucial to ensuring the safety of these systems. This research emphasizes the early incorporation of human interactions in the design of architectural models to meet safety requirements. These interactions are modeled in the Soar cognitive architecture, which combines symbolic decision logic and numeric decision preferences, refined by reinforcement learning. The agent is then automatically translated into the formal verification environment, nuXmv, where its properties are verified. Our framework integrates systems modeling, formal verification, and simulation to check operational correctness, enhancing the reliability and safety of learning‐enabled autonomous agents. 10.1002/sys.21816 http://onlinelibrary.wiley.com/termsAndConditions#vor |
| title | Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent |
| topic | Systems Engineering |
| url | https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21816 |