PALLC Partnerships

Dr. Paul Wach is a systems engineering researcher at the University of Arizona whose work applies mathematical systems theory to digital engineering and agentic SI. PALLC collaborates with him on mission engineering, executable architectures and formal methods for SI-enabled engineering.

Our shared research connects mission measures of effectiveness with design parameters, carries ontology and SysML v2 models into DEVS execution, and returns verification evidence to the engineering baseline.

For agentic SI, our work uses System Entity Structure and DEVS to define agent roles, interfaces and interactions. This supports compositional verification and gives engineering teams a traceable basis for evaluating SI-generated engineering artifacts.

RTSync Corp. was founded by Dr. Bernard P. Zeigler, who serves as Chief Scientist. Dr. Doohwan (DH) Kim serves as President and CEO. Zeigler, Professor Emeritus at the University of Arizona, originated the DEVS formalism, which RTSync brings into executable modeling and simulation.

PALLC uses RTSync’s DEVS engine to connect system architectures with coupled model execution in our ModelShift and ZMS workflows. Components define states, inputs, outputs and time advance; explicit couplings define how they interact.

Closure under coupling allows a composed model to serve as a component in a larger model within the same formalism. We use that foundation to build reusable model hierarchies and controlled experiments for engineering, test and mission analysis, with defined interfaces and simulation time.

PALLC partners with GridPro to connect geometry and structured mesh generation with high-resolution CFD and computational physics. This brings computational mesh preparation into the same SI-augmented DEM&S workflow used for system design, analysis and test and evaluation.

Dr. Peter R. Eiseman founded Program Development Company (PDC), the developer of GridPro, in 1989 and serves as its president. His contributions span decades of numerical grid-generation research: algebraic mesh-generation methods published with Robert E. Smith in 1980, followed by his control-point formulation of algebraic grid generation in 1988.

GridPro grew from a 1989 NASA Small Business Innovation Research contract into a practical tool for constructing smooth, orthogonal multiblock grids. Eiseman’s 1995 publication documented automatic zoning from surface geometry and a user-defined arrangement of connected blocks, linking the mathematical methods to complex engineering geometries.

With Krishnakumar Rajagopalan, Eiseman published automatic nested refinement in 2005: resolving small geometric features while transitioning smoothly to larger scales in conforming hexahedral grids. GridPro’s current capabilities include local refinement, boundary-layer clustering, topology reuse across geometric variants and Python automation. These capabilities give PALLC practical control over mesh resolution and geometry changes as computational studies evolve.

PALLC partners with JCNC to turn engineering designs into precision-machined prototypes and small-run hardware. JCNC combines full five-axis CNC machining, three-axis milling, welding and design capabilities with ZEISS dimensional inspection.

This gives our design–build–evaluate work a practical connection to fabrication: produce the part, inspect critical dimensions, assess fit and interfaces, and use the findings to refine the design. We connect that prototype work with our broader effort to develop partnerships with larger manufacturers for production.

JCNC’s specialized-machining customers include the U.S. Department of Energy’s Sandia National Laboratories and Los Alamos National Laboratory, the Air Force Research Laboratory (AFRL), and NASA.