Hydra is a domain-independent tool for Goal-Oriented control of Cyber-Physical Systems. Using state of the art techniques in AI Planning, Satisfiability Modulo Theories and Numeric Optimization, Hydra lets you derive goal-oriented, correct by construction strategies from high-level model of Hybrid Systems.
Hydra is freely available under the LGPL license at https://gitlab.sagelab.it/sage/hydra
References
- Cyber-Physical Planning. A. Bit-Monnot, L. Pulina, A. Tacchella. In: SAGE LAB Technical Report (2018). Available at http://www.sagelab.it/TechRep/cpsplan.pdf
- A Constraint-based Encoding for Domain-Independent Temporal Planning. A. Bit-Monnot. In: CP 2018. Available at: https://arxiv.org/pdf/1806.09954