Loading...

Loading...

Adjust height of sidebar

KMap

People

Adjust height of sidebar

KMap

Profile

Picture of Alejandro Salado Diez

Alejandro Salado Diez

Member of the Graduate Faculty | Associate Professor, Systems and Industrial Engineering

Systems and Industrial Engr

Collaboration(10)

Nirav Merchant
Krishna Muralidharan
Janet Roveda
Ricardo Valerdi
Pratik Satam

Page 1 of 2

Research Opportunities(1)

Undergrad Research Opp Volunteer, For Credit
systems engineering, theory of systems engineering, problem formulation, design of VandV strategies, engineering education Prerequisite Courses: Coding VR environments for Occulus Quest (Unity) Majors: Computer Science, Software Engineering, Game Design and Development, Systems Engineering, Industrial Engineering

Grants(9)

WRT-1085: Trusted Artificial Intelligence (AI) Systems Engineering (SE) Challenge: Seed Funding
Active·2024·$22.5K / $22.5K·
External
Principal Investigator (PI)
artificial intelligence, systems engineering, challenges
WRT-1071: Digital Transformation in Test and Evaluation for AI/ML, Autonomous, and Continuously Evolving Systems
Active·2023·$250K·
External
Principal Investigator (PI)
digital transformation, test and evaluation, ai/ml, autonomous systems, evolving systems
WRT-1081: Acquisition Innovation Research Center (A/RC) Core Research
Active·2023·$57K·
External
Principal Investigator (PI)
acquisition, innovation, research center, core research, a/rc
CAREER: Belief Formation in Verification Strategies and the Evaluation of Verification Evidence
Active·2021·$392.6K·
External
Principal Investigator (PI)
belief formation, verification strategies, evaluation of evidence, career, verification
WRT-1071: Digital Transformation in Test and Evaluation for AI/ML, Autonomous, and Continuously Evolving Systems
2022·$170K·
External
Principal Investigator (PI)
digital transformation, test and evaluation, ai/ml, autonomous systems, continuously evolving systems

Page 1 of 2

Publications(71)

Recent

Closed Systems Paradigm for Intelligent Systems

2022

closed systems, intelligent systems, paradigm, artificial intelligence, automation

Design of an IoT System for the Palletized Distribution Supply Chain with Model-Based Systems Engineering Tools

2022

iot, supply chain, model-based systems engineering, palletized distribution, design

A Mathematical Approach to Design Verification Strategies that Incorporate Corrective Activities as Dedicated Decisions

2022

mathematical modeling, design verification, corrective actions, decision making, strategy development

Formalizing the Representativeness of Verification Models using Morphisms

2022

formal methods, verification, mathematical modeling, morphisms, computer science

An experimentation framework for validating architectural properties as proxies for the ilities

2022

experimentation, architectural properties, validation, proxies, ilities

A Formalization of Verification Artifacts through Morphisms

2022

formal methods, verification, morphisms, artifacts, formalization

Initial Systems Theoretic Metamodel of Verification Artifacts

2022

systems theory, verification, metamodel, initial systems, artifacts

Understanding Redundancy Requirements in the Design of Non-Serviceable Systems

2022

reliability, system design, fault tolerance, redundancy, engineering

A Modeling Methodology to Enable Digital Twin Development for Industry 4.0 Human Augmentation Experiments in Smart Factories

2021

digital twins, industry 4.0, smart factories, human augmentation, modeling methodology

Modeling Correction Activities in the Context of Verification Strategies

2021

verification, modeling, correction, activities, strategies