Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Verification constraint reachability#747 #748

Open
wants to merge 160 commits into
base: master
Choose a base branch
from
Open

Verification constraint reachability#747 #748

wants to merge 160 commits into from

Conversation

lgeretti
Copy link
Member

No description provided.

@lgeretti lgeretti self-assigned this Apr 24, 2023
@codecov
Copy link

codecov bot commented Apr 24, 2023 •
edited
Loading

Codecov Report

Attention: Patch coverage is 8.18898% with 583 lines in your changes are missing coverage. Please review.

Project coverage is 61.84%. Comparing base (878afb2) to head (2c6b738).
Report is 40 commits behind head on master.

❗ Current head 2c6b738 differs from pull request most recent head 2b3c0c9

Please upload reports for the commit 2b3c0c9 to get more accurate results.

Additional details and impacted files 
@@            Coverage Diff             @@
##           master     #748      +/-   ##
==========================================
- Coverage   63.79%   61.84%   -1.96%     
==========================================
  Files         300      298       -2     
  Lines       28590    28905     +315     
==========================================
- Hits        18240    17876     -364     
- Misses      10350    11029     +679

lgeretti added 28 commits April 25, 2023 13:39
@lgeretti
Preliminary test for inner approximation functionality
939ba75
@lgeretti
Add Brusselator experimental example
413bbca
@lgeretti
Add gamma_min expression between inner and outer approximations
dba84a5
@lgeretti
Provide first draft of parallel linearisation routine
b001579
@lgeretti
First full implementation of inner approximation
7ce82b4
@lgeretti
Clean up test prints
9188bd9
@lgeretti
Refactor inner_approximation of LabelledEnclosure into its own function
d1d1e62
@lgeretti
Fix parallel linearisation problem due to incorrect function definition
aa00050
@lgeretti
Optimise only on the primary state variables, excluding uniform error…
4e8b05e 
… variables
@lgeretti
Refactor solver into internal function
c67286e
@lgeretti
Implement GLPK solver for inner approximation
6dd4d9d
@lgeretti
Add Vanderpol system to the test systems
c7f3469
@lgeretti
Refactor native solver code into two separate classes for simplex and…
28419d1 
… interior point
@lgeretti
Provide printing of the LP
7e7581d
@lgeretti
Provide extra printing and evaluating capabilities to the prototype
2a0da3e
@lgeretti
Move solver to argument of inner approximation, change file into expe…
473b45e 
…rimental example using logging
@lgeretti
Refactor to extract figure bounds automatically
0622726
@lgeretti
Fix linear problem, add examples
ae5b2e4
@lgeretti
Implement inner approximation using nonlinear initial solution and sh…
b2fa3d9 
…rink it
@lgeretti
Provide a more robust refinement strategy for validation, independent…
53f0992 
… of ordering of boundaries
@lgeretti
Add benchmarking of inner approximation
1784fda
@lgeretti
Remove obsolete evaluate_problem function
885c22e
@lgeretti
Refactored search routine in specific class, for different kinds of s…
342f8bc 
…earches
@lgeretti
Fix refinement routine, support bisection
5945d2e
@lgeretti
Allow inner_approximation example to plot even in case of failure whe…
1e571eb 
…n computing the inner
@lgeretti
Modify gamma to refer to outer/inner domains instead of ranges
f87cc23
@lgeretti
Change gamma to be the ratio of inner/outer domain volumes
4c24022
@lgeretti
Refactor inner approximator code into its own class, deriving from an…
a0809fa 
… interface
lgeretti added 30 commits May 10, 2023 09:44
@lgeretti
Add early termination due to multiple failures of singleton analysis
4b049e2
@lgeretti
Show the successes vs prescriptions at the end of the benchmark
b0a9cdb
@lgeretti
Update pExplore to support task points having equal scores
69f8b72
@lgeretti
Change constrained flow to progress even if early rigorous terminatio…
8655550 
…n is present, add early termination for constrained evolution
@lgeretti
Remove constrained_evolution with a ConstraintSatisfaction as argument
082831c
@lgeretti
Move statistics to ConstraintSatisfaction class
02f5fab
@lgeretti
Introduce ellipsoidal-hyperbolic constraints generation
fb678e1
@lgeretti
Fix constraint generation to avoid all-true/all-false constraints
0740599
@lgeretti
Update pExplore to fix Score comparison
d4d9ff1
@lgeretti
Update pExplore for GCC compliance
dced3a5
@lgeretti
Provide ConstraintSatisfaction snapshots to evaluate evolution of sat…
d220548 
…isfaction
@lgeretti
Implement correct inner_lower_function_evaluate
0b9b596
@lgeretti
Implement comparated constrained/unconstrained evolution flow
9fe531d
@lgeretti
Put the time budget as a property of the ConstraintSatisfaction class…
2bad6ea 
…, to be checked for termination also for constrained evolution
@lgeretti
Calculate satisfaction cost with respect to time budget
055c565
@lgeretti
Change unconstrained evolution to perform approximate evolution for b…
be81647 
…ounding box once
@lgeretti
Update pExplore with ability to set initial_point via TaskManager
86a9cb4
@lgeretti
Update pExplore with restoring the constraining_state() method for Ru…
76bf6df 
…nnable
@lgeretti
Set initial point as the analysis point in controlled evolver
cfacc3d
@lgeretti
Use NativeSimplex + no splitting for efficiency
856cda1
@lgeretti
Modify VectorFieldEvolver task to return a Lazy inner approximation, …
73b3481 
…to avoid re-computing it for every constraint to check
@lgeretti
Update Laub-Loomis to run only to 5 seconds
fdaf746
@lgeretti
Generate constraints that are less likely to be resolved in the first…
06515e1 
… rigorous run
@lgeretti
Add initial_subdivision property to VectorFieldEvolver, defaults to f…
1c87c83 
…alse
@lgeretti
Add some constrained systems
2bc4d75
@lgeretti
Implement a MinimalEffortInnerApproximator
2eacbf1
@lgeretti
Add inner_approximator property to VectorFieldEvolver configuration
c149f3a
@lgeretti
Update benchmarks
0f90a2b
@lgeretti
Fix experimental constrained examples
5a6e228
@lgeretti
Add Brusselator constrained example
2b3c0c9
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@lgeretti lgeretti

Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@lgeretti