Boris Benedikter, Ph.D. Assistant Professor of Aerospace Engineering

Research

How can autonomous systems make safe and efficient decisions under uncertainty, constraints, and limited computation?

My research advances trustworthy autonomy for aerospace and robotic systems through control, optimization, and learning. A central focus is developing mathematical and computational methods for planning and control under uncertainty, including stochastic optimal control, covariance control, convex optimization, and real-time guidance.

My group develops model-based, learning-enabled, and hybrid approaches. We choose methods according to the problem’s structure, available models and data, computational resources, and safety and performance requirements. Research spans new control formulations and numerical algorithms, learning from data, and the integration of these capabilities into autonomous systems.

At Oklahoma State University–Tulsa, I am building a program that connects mathematical theory, algorithms, and simulation with verification and experimental validation. The themes below bring together published contributions and the research questions I intend to pursue as the group grows.

Optimization-Based Planning and Control

How can nonlinear, constrained control problems be solved efficiently and reliably enough to support autonomous decisions? My work develops convex formulations, successive convexification methods, and feedback guidance algorithms for aerospace systems.

Convex Optimization for Nonlinear GNC

I develop lossless convexification and sequential convex programming methods for guidance, navigation, and control (GNC). These methods exploit problem structure to solve constrained trajectory and maneuver optimization problems. Applications include launch vehicle ascent, powered descent, and spacecraft attitude reorientation with keep-out constraints.

Current directions: improving computational reliability, handling nonlinear dynamics and constraints, and reducing the cost of onboard optimization.

Selected publications: Ascent trajectory optimization (2021); Heat-flux and splash-down constraints (2022); Attitude reorientation with keep-out constraints (2026).

Convex representation of thrust constraints
Model predictive control for real-time guidance

Model Predictive Control and Real-Time Guidance

Model predictive control (MPC) repeatedly updates a plan using the measured state and a model of the system. My work combines MPC with convex optimization to generate guidance commands while accounting for mission constraints and disturbances, including autonomous launch vehicle upper-stage guidance.

Current directions: efficient replanning, feedback under model mismatch, and reliable computation within onboard time and resource limits.

Selected publications: Convex optimization and MPC for upper-stage guidance (2020); Guidance with a robust splash-down constraint (2021).

Stochastic Optimal Control and Covariance Control

How can a controller shape both a system’s motion and its uncertainty? Stochastic optimal control is a central research direction in my group, with contributions in covariance control, chance-constrained planning, and joint trajectory and feedback-policy design.

Planning Trajectories and Shaping Uncertainty

Covariance control jointly designs a nominal trajectory and a feedback policy to steer the state mean and covariance. Chance constraints express acceptable levels of risk, allowing uncertainty to enter the planning problem explicitly. My work includes a lossless convex reformulation of covariance control and its application to stochastic low-thrust trajectory optimization.

Related work addresses UAV path planning with obstacle avoidance, spacecraft rendezvous and docking, and stationkeeping near Earth–Moon libration points. These methods use mathematical models of dynamics and uncertainty to design feedback policies and evaluate probabilistic constraint satisfaction under the formulation's assumptions.

Current directions: extending tractable formulations to more complex dynamics and environments, improving computational efficiency, and evaluating sensitivity to uncertainty-model mismatch.

Selected publications: Covariance control for low-thrust trajectories (2022); Rendezvous and docking (2024); Stochastic UAV path planning (2025).

State trajectories with initial and final uncertainty ellipses in covariance control

Learning-Enabled and Hybrid Autonomy

Machine learning can provide useful models, policies, and computational shortcuts when data contain information that is difficult to capture analytically. I investigate learning-enabled methods and their integration with control and optimization, evaluating the contribution of learning to accuracy, adaptation, computational cost, and constraint satisfaction.

Physics-informed neural networks for optimal control

Physics-Informed Neural Networks

I investigate neural networks that incorporate governing dynamics and optimality conditions. Pontryagin Neural Networks (PoNNs) use the Maximum Principle to solve path-constrained optimal control problems. Related work uses physical structure to estimate spacecraft attitude from light curves.

Selected publications: Path-constrained optimal control (2025); Attitude estimation from light curves (2025).

Reinforcement-Learning-Enhanced MPC

In this hybrid approach, reinforcement learning adjusts the cost used by a model predictive controller. The optimizer retains an explicit model and constraints, while learning helps account for effects that are difficult to represent in the nominal formulation. Our planetary landing studies evaluate the resulting controller's performance under uncertainty and model mismatch.

Selected publication: RL-enhanced MPC for autonomous planetary landing (2026).

Reinforcement learning integrated with model predictive control
Learned initial guesses for trajectory optimization

Learning to Support Optimization

Learning can strengthen optimization without replacing its model-based structure. We use learning to characterize information that is difficult to model directly, including unknown disturbances, uncertainty, and missing or residual dynamics. Gaussian processes can provide probabilistic models that connect learned uncertainty with stochastic trajectory and feedback design, while sparse identification and other physics-guided learning methods can augment nominal dynamics with corrections learned from data. The resulting models can then be incorporated directly into trajectory optimization, predictive control, and uncertainty-aware decision making.

Related publication: Gaussian-process-based covariance control for on-orbit servicing (2026).

Safety, Verification, and Experimental Validation

Safety and performance must be assessed across model-based, learning-enabled, and hybrid systems. As the group grows, I aim to connect mathematical analysis with systematic testing and experiments, making the assumptions and limits of each method explicit.

Quantifying Risk and Reliability

Build on stochastic control and chance-constrained planning to assess uncertainty, constraint satisfaction, and sensitivity to model mismatch. Future directions include runtime monitoring and assurance methods for autonomous decisions.

Testing Beyond Nominal Conditions

Use Monte Carlo analysis, stress testing, and high-fidelity simulation to evaluate methods under disturbances and modeling errors. Planned hardware-in-the-loop studies will examine timing, sensing, and implementation effects.

Building Experimental Platforms

The laboratory is being established at OSU-Tulsa. Planned UAV and spacecraft maneuver platforms will support experiments in navigation, proximity operations, and coordination, connecting theoretical and computational work to physical systems.

Estimation and Space Domain Awareness

Reliable autonomy also depends on estimating the state of the system and its environment. My work in space domain awareness includes model-based orbit determination and learning-based interpretation of photometric observations.

Orbit Determination and Space Object Tracking

I developed TRACER (Tracking, Recognition, Analysis for Celestial Ephemeris Retrieval), a Space4 Center tool integrated with a telescope network for initial orbit determination, tracking, and cataloging of resident space objects. This work complements research on spacecraft attitude estimation from light curves.

Selected publication: TRACER (2026).

Orbit determination for space domain awareness

Explore the full publication list for published work, or visit Prospective PhD Students to learn about research opportunities and the group being established at OSU-Tulsa.