Hyperproof
Hyperproof automates repetitive compliance operations so your team can concentrate on the bigger issues. Hyperproof also has powerful collaboration features that make it simple for your team to coordinate their efforts, gather evidence, and work directly alongside auditors from one interface. There is no more uncertainty in audit preparation or compliance management. Hyperproof gives you a complete view of your compliance programs, including progress tracking, program monitoring, and risk management.
Learn more
Innoslate
SPEC Innovations’ leading model-based systems engineering solution is designed to help your team minimize time-to-market, reduce costs, and mitigate risks, even with the most complex systems. Available as both a cloud-based and on-premise application, it offers an intuitive graphical user interface accessible through any modern web browser.
Innoslate's comprehensive lifecycle capabilities include:
• Requirements Management
• Document Management
• System Modeling
• Discrete Event Simulation
• Monte Carlo Simulation
• DoDAF Models and Views
• Database Management
• Test Management with detailed reports, status updates, results, and more
• Real-Time Collaboration
And much more.
Learn more
Artelys Knitro
Artelys Knitro stands out as a premier solver for extensive nonlinear optimization challenges, providing a comprehensive array of sophisticated algorithms and functionalities to tackle intricate issues across multiple sectors. It boasts four cutting-edge algorithms: two based on interior-point/barrier techniques and two utilizing active-set/sequential quadratic programming methods, which facilitate both efficient and reliable resolutions for diverse optimization scenarios. Furthermore, Knitro features three dedicated algorithms for mixed-integer nonlinear programming, leveraging heuristics, cutting planes, and branching rules to adeptly manage discrete variables. Among its notable capabilities, Knitro includes parallel multi-start functionalities for global optimization, automatic and parallel adjustments of option settings, and intelligent initialization approaches aimed at swiftly identifying infeasibility. The solver is compatible with various programming environments, offering object-oriented APIs for languages such as C++, C#, Java, and Python, thus ensuring versatility for developers. Additionally, its robust support for parallel computing enhances performance and scalability for large-scale applications.
Learn more
Model Predictive Control Toolbox
The Model Predictive Control Toolbox™ offers a comprehensive suite of functions, an intuitive app, Simulink® blocks, and practical reference examples to facilitate the development of model predictive control (MPC) systems. It caters to linear challenges by enabling the creation of implicit, explicit, adaptive, and gain-scheduled MPC strategies. For more complex nonlinear scenarios, users can execute both single-stage and multi-stage nonlinear MPC. Additionally, this toolbox includes deployable optimization solvers and permits the integration of custom solvers. Users can assess the effectiveness of their controllers through closed-loop simulations in MATLAB® and Simulink environments. For applications in automated driving, the toolbox also features MISRA C®- and ISO 26262-compliant blocks and examples, allowing for a swift initiation of projects related to lane keep assist, path planning, path following, and adaptive cruise control. You have the capability to design implicit, gain-scheduled, and adaptive MPC controllers that tackle quadratic programming (QP) problems, and you can generate an explicit MPC controller derived from an implicit design. Furthermore, the toolbox supports discrete control set MPC for handling mixed-integer QP challenges, thus broadening its applicability in diverse control systems. With these extensive features, the toolbox ensures that both novice and experienced users can effectively implement advanced control strategies.
Learn more
