2 papers
eess.SY2026
A formal theory on problem space as a semantic world model in systems engineering
Mayuranath SureshKumar, Hanumanthrao Kannan
Classic problem-space theory models problem solving as a navigation through a structured space of states, operators, goals, and constraints. Systems Engineering (SE) employs analog…
cs.SE2025
A Theory-driven Interpretation and Elaboration of Verification and Validation
Hanumanthrao Kannan, Alejandro Salado
This paper presents a formal theory of verification and validation (V&V) within systems engineering, grounded in the axiom that V&V are fundamentally knowledge-building activities.…