OPTIMake

WHAT

OPTIMake 嵌入式实时优化求解器 Embedded Real-time Optimization Solver

适用于动态系统的决策、规划与控制优化问题的专用建模与求解软件 Specialized modeling and solving software for decision-making, planning, and control optimization problems in dynamic systems

Get Started
OPTIMake
EFFICIENT

大幅提升研发效率 Significantly Improve R&D Efficiency

符号化建模语言 Symbolic Modeling Language

通过高级语言对目标函数或约束进行符号化描述建模,所见即所得 Symbolic description and modeling of objective functions and constraints through advanced language, WYSIWYG

自动代码生成 Automatic Code Generation

自动代码生成引擎能自动生成目标或约束函数及其梯度对应的高效C/C++代码,全自动高效可靠 Auto code generation engine automatically generates efficient C/C++ code for objective/constraint functions and their gradients—fully automatic, efficient, reliable

多种类型接口 Multiple Interface Types

提供了多种目标函数与约束接口,例如对differential equation的等式约束、对占据网格的精细避障约束,满足各种场景需求 Provides multiple objective function and constraint interfaces, including equality constraints for differential equations and fine obstacle avoidance constraints for occupied grids

支持多种问题类型 Support Multiple Problem Types

支持LP/QP/QCQP/SOCP/NLP类型问题求解,信息无损 Supports solving LP/QP/QCQP/SOCP/NLP type problems with lossless information

Symbolic Modeling
FAST

极致的求解效率 Ultimate Solving Efficiency

通过对问题、算法与硬件三位一体联合优化,OPTIMake得以在不同问题上实现业界领先的性能 Through joint optimization of problems, algorithms, and hardware as a unified system, OPTIMake achieves industry-leading performance across different problem types

Performance Comparison 1
Performance Comparison 2
RELIABLE

稳定可靠,为量产而生 Stable and Reliable, Built for Mass Production

百万级量产部署经验 Millions-Scale Mass Production

10年+技术积累 10+ Years of Technical Expertise

千万级数据验证 Ten Millions-Scale Data Validation

多平台支持 Multi-Platform Support

支持x86/ARM/PowerPC/RISC-V Supports x86/ARM/PowerPC/RISC-V

轻量易部署 Lightweight & Easy Deployment

根据算法、问题与硬件进行存储与逻辑裁剪 Storage and logic trimming based on algorithms, problems, and hardware

全自研 Fully Self-Developed

不包含任何三方库,全链路可控 No third-party libraries, full supply chain controllable