A systems-theoretical formalization of closed systems

N Shadab, T Cody, A Salado… - IEEE Open Journal of …, 2024 - ieeexplore.ieee.org
There is a lack of formalism for some key foundational concepts in systems engineering.
One of the most recently acknowledged deficits is the inadequacy of systems engineering …

On combining automated theorem proving and digital engineering for general intelligence

T Cody, PA Beling - Disruptive Technologies in Information …, 2023 - spiedigitallibrary.org
In recent years, engineering intelligent systems has become closely related to integrating
artificial intelligence (AI) or machine learning (ML) components into systems. There is a …

Test and evaluation harnesses for learning systems

T Cody, P Beling, L Freeman - 2022 IEEE AUTOTESTCON, 2022 - ieeexplore.ieee.org
There is an increasing demand for operational uses of machine learning (ML), however, a
lack of best practices for test and evaluation (T &E) of learning systems is a hindrance to …

Product herding for intelligent systems

N Shadab, T Cody, P Beling, A Salado - Conference on Systems …, 2023 - Springer
The endogenous evolution of intelligent systems exposes insufficiencies in some systems
engineering activities that rely on exogenous properties of systems. One of these activities is …

A Systems-oriented Approach to Medical Education Incorporates Virtual Patients and Gamification

MNR Khan, K Lippert, RJ Cloutier - 2023 27th International …, 2023 - ieeexplore.ieee.org
The availability of diagnostic and therapeutic alternatives allows trainee medical
professionals to receive more simulation-based training. In recent years, the entertainment …

Transition From Scenario-Based to Outcome-Based Engineering in SE4AI

N Shadab, A Salado, T Cody… - IEEE Open Journal of …, 2024 - ieeexplore.ieee.org
As intelligent systems become increasingly integrated into our daily lives, it has become
evident that there is a mismatch between traditional systems engineering (SE) practices and …

On the role of loss-driven systems analysis in assessing AI ethics

T Cody, L Freeman, PA Beling - Assurance and Security for AI …, 2024 - spiedigitallibrary.org
As machine learning (ML) models are integrated more and more into critical systems,
questions regarding their ethical use intensify. This paper advocates for a loss-driven …

Verification & Validation Methods for Complex AI-enabled Cyber-Physical Learning-Based Systems: A Systematic Literature Review

W Meyer, R Oosthuizen - 2023 IEEE International Conference …, 2023 - ieeexplore.ieee.org
This systematic literature review (SLR) investigates how systems-and software engineers
should approach verification and validation (V&V) of complex Artificial Intelligence (AI) …

A systems theoretic perspective on open architectures for learning systems

T Cody, PA Beling - Disruptive Technologies in Information …, 2024 - spiedigitallibrary.org
The advancement of open architecture ecosystems is fundamentally dependent on the
interoperability, scalability, and adaptability of their constituent elements. As Machine …

Towards an Interoperability Framework for Blockchain in the Banking Sector

SS Mafike - 2024 - search.proquest.com
Banking enterprises globally are considering the adoption and leveraging of the benefits of
blockchain technology to enhance their processes. Most of these organisations seek ways to …