2 citations · 3 across the 5 of their papers we have counts for
5 papers
A Systems-Theoretical Formalization of Closed Systems
Niloofar Shadab, Tyler Cody, Alejandro Salado +1
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 prac…
Core and Periphery as Closed-System Precepts for Engineering General Intelligence
Tyler Cody, Niloofar Shadab, Alejandro Salado +1
Engineering methods are centered around traditional notions of decomposition and recomposition that rely on partitioning the inputs and outputs of components to allow for component…
A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems
Peng Xu, Xinwei Deng, Alejandro Salado
Verification planning is a sequential decision-making problem that specifies a set of verification activities (VA) and correction activities (CA) at different phases of system deve…
A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems
Peng Xu, Alejandro Salado, Xinwei Deng
Verification is a critical process in the development of engineered systems. Through verification, engineers gain confidence in the correct functionality of the system before it is…
Towards an Interface Description Template for AI-enabled Systems
Niloofar Shadab, Alejandro Salado
Reuse is a common system architecture approach that seeks to instantiate a system architecture with existing components. However, reusing components with AI capabilities might intr…