Algorithm Verification System Services
Formal Verification of Algorithms with Guarantees
Planned release: Q4/2024 – until then, the product will only be available for pilot customers and research collaborations.
Reachtube
Our software toolset for the verification of complex dynamic systems is about:
1. Reachtube Analysis of Arbitrary Algorithms (e.g. conventional controllers as well as AI controllers like MLP, RNNs,…) Our technology verifies machine learning (ML) based controllers, typically systems in control engineering.
2. Statistical as well as Analytical Approach, depending on the system architecture and test budget (time and resources)
3. System Tests with or without submission of an AI model possible. Your AI model does not have to be passed on!
4. Test results can be used as Guarantees for Certification Processes or Safety Approaches in the Industry.
They can be used as part of formal verification activities, one of the final steps in the machine learning lifecycle, to guarantee that the trained machine learning controller fulfills predefined characteristics.
Various industries that use ML-driven systems use our technology to perform reachtube analysis, which allows them to assess the robustness of their system (against faults, failures and new conditions) and ensure that it is safe and does not reach unsafe or undesirable states.
Use Cases
Control systems are essential in various industries. Our cutting-edge technology has the potential to revolutionize the fields of robotics and industrial automation. Whether you are in manufacturing or a major supplier of control systems to these sectors, our tool is designed to meet your needs, especially if AI-based automation is included in your current or future plans.
Our Technology can also be applied to safety-critical areas such as medical devices (e.g. pacemakers or insulin pumps) as well as aerospace, automotive and transportation systems.
Integration
We offer a variety of deployment options tailored to your needs and preferences:
- API Service: Python Package available
- On-premise Software for Linux Operating Systems
We can integrate our tool via a secure on-premise deployment or via private cloud deployments. We offer seamless integration of our advanced algorithms into your existing software environment.
Get in touch with us to start a conversation and determine the approach that best suits your needs.
Prices
Our offer is currently only available for pilot customers or research project collaborations. Please contact us using the form below to learn more about our pricing options.