.gitattributes
.gitignore
.test_notebooks.sh
CHANGELOG.md
CONTRIBUTING.md
Dockerfile
LICENSE.txt
README.md
dependencies.sh
pyproject.toml
requirements.txt
setup.py
./csaf/__init__.py
./csaf/core/__init__.py
./csaf/core/base.py
./csaf/core/component.py
./csaf/core/scheduler.py
./csaf/core/solver.py
./csaf/core/system.py
./csaf/core/system_env.py
./csaf/core/trace.py
./csaf/test/__init__.py
./csaf/test/scenario.py
./csaf/utils/__init__.py
./csaf/utils/app.py
./csaf/utils/notebook.py
.github/workflows/main.yml
csaf/__init__.py
csaf/core/__init__.py
csaf/core/base.py
csaf/core/component.py
csaf/core/scheduler.py
csaf/core/solver.py
csaf/core/system.py
csaf/core/system_env.py
csaf/core/trace.py
csaf/test/__init__.py
csaf/test/scenario.py
csaf/utils/__init__.py
csaf/utils/app.py
csaf/utils/notebook.py
csaf_controls.egg-info/PKG-INFO
csaf_controls.egg-info/SOURCES.txt
csaf_controls.egg-info/dependency_links.txt
csaf_controls.egg-info/requires.txt
csaf_controls.egg-info/top_level.txt
csaf_examples/__init__.py
csaf_examples/__main__.py
csaf_examples/cansat/__init__.py
csaf_examples/cansat/components.py
csaf_examples/cansat/plot.py
csaf_examples/invpendulum/__init__.py
csaf_examples/rejoin/__init__.py
csaf_examples/rejoin/components.py
csaf_examples/rejoin/plot.py
csaf_f16/LICENSE.txt
csaf_f16/__init__.py
csaf_f16/__main__.py
csaf_f16/acas.py
csaf_f16/components.py
csaf_f16/fgbase.py
csaf_f16/fgconverter.py
csaf_f16/fgintruder.py
csaf_f16/fgnetfdm.py
csaf_f16/goals.py
csaf_f16/messages.py
csaf_f16/ngoals.py
csaf_f16/plot.py
csaf_f16/predictor.py
csaf_f16/systems.py
csaf_f16/models/__init__.py
csaf_f16/models/acas_switch.py
csaf_f16/models/acasxu.py
csaf_f16/models/autoacas.py
csaf_f16/models/autoairspeed.py
csaf_f16/models/autoaltitude.py
csaf_f16/models/autopilot.py
csaf_f16/models/autowaypoint.py
csaf_f16/models/dummy_predictor.py
csaf_f16/models/f16.py
csaf_f16/models/f16plant.py
csaf_f16/models/llc.py
csaf_f16/models/monitor_ap.py
csaf_f16/models/nnllc.py
csaf_f16/models/predictor.py
csaf_f16/models/switch.py
csaf_f16/models/waypoint.py
csaf_f16/models/helpers/__init__.py
csaf_f16/models/helpers/aerobench_helpers.py
csaf_f16/models/helpers/autopilot_helper.py
csaf_f16/models/helpers/f16plant_helper.py
csaf_f16/models/helpers/fops.py
csaf_f16/models/helpers/llc_helper.py
csaf_f16/models/helpers/llc_nn_helper.py
csaf_f16/models/helpers/lqr.py
csaf_f16/models/helpers/morelli_dyn.py
csaf_f16/models/helpers/stevens_dyn.py
csaf_f16/models/helpers/variables.py
csaf_f16/models/trained_models/ACASXU_run2a_1_1_batch_2000.onnx
csaf_f16/models/trained_models/ACASXU_run2a_2_1_batch_2000.onnx
csaf_f16/models/trained_models/ACASXU_run2a_3_1_batch_2000.onnx
csaf_f16/models/trained_models/ACASXU_run2a_4_1_batch_2000.onnx
csaf_f16/models/trained_models/ACASXU_run2a_5_1_batch_2000.onnx
csaf_f16/models/trained_models/np/128_128.npz
docs/img/csaf_importing_controllers.png
docs/img/csaf_quickstart.png
docs/img/f16_component_topology.png
docs/img/f16_gcas_plot.png
notebooks/cansat-rejoin.ipynb
notebooks/dubins-rejoin.ipynb
notebooks/f16-acas-constrained-bopt.ipynb
notebooks/f16-analyze-llc.ipynb
notebooks/f16-fg-trajectories.ipynb
notebooks/f16-scenarios-new.ipynb
notebooks/f16-shield.ipynb
notebooks/img/dubins_rejoin_diag.png
tests/core_tests/test_scheduler.py
tests/f16_tests/test_acasf16.py
tests/f16_tests/test_components.py
tests/f16_tests/test_gcasf16.py
tests/f16_tests/test_goals.py
tests/f16_tests/test_systems.py