Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.
Sign up
Pinned repositories
2,638 contributions in the last year
Activity overview
Contributed to
JuliaReach/LazySets.jl,
JuliaReach/Reachability.jl,
JuliaReach/ReachabilityBenchmarks
and 5 other
repositories
Contribution activity
February 2019
Created a pull request in JuliaReach/Reachability.jl that received 3 comments
- #255 - Refactor options
- #255 - Add options functionality
- #255 - Add OptionSpec
- #255 - Add TwoLayerDictionary
- Revise LazyDiscretePost
- #441 - Support for reset assignments
- Allow to disable max_jumps option and disable by default
- Add 'using Pkg' to travis config
- correct build version for documentation
- Use dev version for MathematicalSystems & HybridSystems
- #404 - Refactor hybrid models in tests
- Centralize read-out of guard and invariant
- Remove empty file
- Add invertibility check for concrete linear maps
- Add Julia v1.1 to Travis
- #1106 - Fix ambiguity in intersection of halfspaces
- #1106 - Add supp func of halfspace vs halfspace
- #1105 - Add an_element specific for rational input
- Update lazy_intersections.md
- Use left division in linear map
- #1088 - Add lazy intersections page
Created an issue in JuliaReach/LazySets.jl that received 4 comments
Revise support function for (un)bounded sets
There is a problem with the support function for unbounded sets. If an entry of the direction is zero, and the corresponding entry of the support v…
4
comments
- Add isuniversal methods for all set types
- Use Diagonal for ResetMap.get_A
- Concrete intersection between half-space and polytopic reset map
- Add witness production to isempty
- constraints_list for ResetMap of hyperrectangle
- Concrete intersection of (abstract) polyhedra
- SymmetricIntervalHull of unbounded set
- Add AbstractAffineMap interface
- Add lazy Resetmap operation
- Add lazy AffineMap operation
- Outsource package-requirement messages to a central place
- Add convex_hull for HPoly that stays in H-rep
- Add constraints_list method from matrix and vector
- More functionality for Universe
- Extend neutral/absorbing macros to multiple set types
- Union with EmptySet
- Add Universe (universal set)
- Prefer `using` over `import`
- Add option to fix the number of time steps
- Remove option mode
- Revise properties
- Checking different safety properties in different locations
- Merge overapproximation options
- Revise option lazy_inputs_interval
- Revise projection options
- Revise option output_function
- Remove option eager_checking
- Remove option assume_homogeneous
- Merge options for lazy matrix exponential in discretization
- Use input matrix from system
- Support "check" mode for hybrid systems
- Support for reset assignments
- Use AbstractMap interface in hybrid models