search

grande-dev / pFT-ANLC

Automatic learning of fault-tolerant nonlinear (and linear) control functions for nonlinear dynamical systems affected by actuator faults. The stability of the closed-loop system is certified by means of a Lyapunov Function, whose correctness is verified via SMT solvers.
GNU General Public License v3.0
0 stars 0 forks source link

Errors generated during runtime #4

Open POWERFULZHENG opened 2 weeks ago

POWERFULZHENG commented 2 weeks ago

Hello, I have read your paper and am very interested in your research direction. I downloaded the code of this repository from your github. When I tried to run it, a problem occurred: ImportError: libibex.so: cannot open shared object file: No such file or directory. This made me very confused. I followed the steps you gave to solve this problem, but unfortunately it still failed. Please give me some guidance to help me solve this problem. Thank you!

import dreal File "/home/b/anaconda3/envs/env_pftanlc/lib/python3.9/site-packages/dreal/init.py", line 6, in from dreal._dreal_py import * ImportError: libibex.so: cannot open shared object file: No such file or directory

grande-dev commented 2 weeks ago

Hi @POWERFULZHENG, thank you for your interest in our code. This issue seems to be exactly what was flagged in another of our repos (https://github.com/grande-dev/Augmented-Neural-Lyapunov-Control/issues/6) and that I have not been able to reproduce so far.

From your code, it looks like you are trying to run the tool from within an Anaconda environment. Can you please confirm if this is correct? What OS are you using? Did you experience the same issue both in an Anaconda environment and in a Python virtual environment?