issues
search
GaloisInc
/
csaf
Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.
BSD 3-Clause "New" or "Revised" License
11
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump numpy from 1.20.0 to 1.21.0
#151
dependabot[bot]
closed
2 years ago
1
Scenario App Generator
#150
EthanJamesLew
closed
2 years ago
0
Bump pillow from 8.3.2 to 9.0.0
#149
dependabot[bot]
closed
2 years ago
0
Bump ipython from 7.27.0 to 7.31.1
#148
dependabot[bot]
closed
2 years ago
0
Scenario App Generation / Containerization
#147
EthanJamesLew
closed
2 years ago
1
Windows compat changes
#146
podhrmic
closed
2 years ago
1
Finalize New CSAF
#145
EthanJamesLew
closed
2 years ago
7
Publish CSAF to pypi
#144
cslockett
closed
2 years ago
1
Final CSAF Release for AL
#143
cslockett
closed
2 years ago
1
Replace "CSAF" with "new CSAF"
#142
cslockett
closed
2 years ago
0
WIP: Import Remaining CSAF Examples / Notebooks
#141
EthanJamesLew
closed
2 years ago
1
Pre-release checklist
#140
podhrmic
closed
2 years ago
2
Test and Verify Satellite Approach Maneuver in CSAF
#139
cslockett
opened
2 years ago
0
Integrate Small Sat Satellite Models into CSAF
#138
cslockett
opened
2 years ago
2
Implement performant version of Reachability Capability in RUST
#137
cslockett
opened
2 years ago
0
Calspan LearJet Model Refinement
#136
cslockett
opened
2 years ago
1
CSAF User's Video
#135
cslockett
opened
2 years ago
0
Investigate Use/Application of SCENIC into CSAF
#134
cslockett
opened
2 years ago
0
No merge with fg
#133
podhrmic
closed
2 years ago
0
New csaf
#132
podhrmic
closed
2 years ago
1
Scenarios and Goals
#131
EthanJamesLew
closed
2 years ago
0
Architectural decisions with new CSAF
#130
podhrmic
opened
2 years ago
3
Draft for #117 and #118
#129
podhrmic
closed
2 years ago
1
CSAF methodology for state space coverage testing
#128
cslockett
opened
2 years ago
0
WIP: new CSAF (don't merge yet)
#127
podhrmic
closed
2 years ago
1
Add parameterization of Intruder velocity for CP 3.2
#126
cslockett
closed
2 years ago
2
RTA - Add a backup/recovery maneuver for CP 3.2
#125
zutshi
closed
2 years ago
1
ACAS Xu Failure examples for GDT
#124
cslockett
closed
2 years ago
2
CP 3.2 End to End demo Video #2: 1x intruder, 1x static object with Run Time Assurance
#123
cslockett
closed
2 years ago
1
CP 3.2 end to end demo video #1: Single intruder with ballon no RTA
#122
cslockett
closed
2 years ago
2
Complete PI meeting briefing slides
#121
cslockett
closed
2 years ago
1
Implement automated ACAS GD testing scripts with RTA
#120
cslockett
closed
2 years ago
0
Integrate Daedelus into CSAF
#119
cslockett
closed
2 years ago
1
Generate tests and falsification runs to support GDT milestone
#118
cslockett
closed
2 years ago
0
Generate specifications for testing framework for GDT
#117
cslockett
closed
2 years ago
0
Implement RTA recovery maneuver for CP 3.2
#116
cslockett
closed
2 years ago
1
Integrate trajectory prediction into CSAF
#115
cslockett
closed
2 years ago
0
WIP: Fix CI
#114
podhrmic
closed
2 years ago
0
Multiagent view in Flight Gear
#113
podhrmic
closed
2 years ago
0
LiveView plot for multiagent ACAS
#112
podhrmic
closed
2 years ago
1
Multiagent view
#111
podhrmic
closed
2 years ago
1
Error Randomly thrown in Multiple Simultaneous Environment runs (Possible Race Condition)
#110
jeappen
closed
2 years ago
9
Update readme
#109
podhrmic
closed
2 years ago
0
Show one intruder in flight gear
#108
podhrmic
closed
2 years ago
0
Bug: `build_csaf.sh` Fails
#107
EthanJamesLew
closed
2 years ago
1
Update Examples Attribution + Citations
#106
EthanJamesLew
closed
2 years ago
0
Resolve address in use error in CI
#105
podhrmic
closed
2 years ago
1
Docker build / push in CI
#104
podhrmic
opened
2 years ago
0
Separate which tests are run on push, and which are on PR?
#103
podhrmic
opened
2 years ago
0
Test docker in ci
#102
podhrmic
closed
2 years ago
0
Next