Search Results for author:
Found 11 papers, 0 papers with code
A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
Model-based reasoning agents are ill-equipped to act in novel situations in which their model of the environment no longer sufficiently represents the world.
AI Enhanced Control Engineering Methods
In this paper, we explore how AI tools can be useful in control applications.
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit
In this paper we provide a novel approach for computing diagnosis of switching circuits with gate-based quantum computers.
System Resilience through Health Monitoring and Reconfiguration
The framework is based on a physics-based digital twin model and three modules tasked with real-time fault diagnosis, prognostics and reconfiguration.
Improving the Efficiency of Gradient Descent Algorithms Applied to Optimization Problems with Dynamical Constraints
In our second algorithm, we use an ODE solver to reset the ODE solution, but no direct are adjoint sensitivity analysis methods are used.
AI Research Associate for Early-Stage Scientific Discovery
Artificial intelligence (AI) has been increasingly applied in scientific activities for decades; however, it is still far from an insightful and trustworthy collaborator in the scientific process.
Playing Angry Birds with a Domain-Independent PDDL+ Planner
This demo paper presents the first system for playing the popular Angry Birds game using a domain-independent planner.
Interpretable machine learning models: a physics-based view
We describe how we can build models out of the p-H constructs and how we can train them.
Hybrid modeling: Applications in real-time diagnosis
In this paper, we outline a novel hybrid modeling approach that combines machine learning inspired models and physics-based models to generate reduced-order models from high fidelity models.
Design Space Exploration as Quantified Satisfaction
We apply our method to the design of Boolean systems and discover new and more optimal classical digital and quantum circuits for common arithmetic functions such as addition and multiplication.
Automated Process Planning for Hybrid Manufacturing
A multimodal HM process plan is represented by a finite Boolean expression of AM and SM manufacturing primitives, such that the expression evaluates to an 'as-manufactured' artifact.
