Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ratfink/controltimingsafety.jl issues and pull requests

#31 - Move schedule synthesis code to RealTimeScheduling.jl

Issue - State: open - Opened by Ratfink 7 months ago

#30 - Safety margin issue

Pull Request - State: open - Opened by shengjiex98 over 1 year ago - 3 comments

#29 - Specify `H` instead of `t` in `bounded-runs-iter()`

Pull Request - State: open - Opened by shengjiex98 over 1 year ago

#28 - H over t for `bounded-runs-iter()`

Pull Request - State: closed - Opened by shengjiex98 over 1 year ago - 1 comment

#27 - Sampler weakly hard

Pull Request - State: open - Opened by shengjiex98 over 1 year ago

#26 - `safety_margin` implementation in `bounded_runs_iter()` is broken

Issue - State: open - Opened by shengjiex98 over 1 year ago - 1 comment

#25 - Use IntervalArithmetic package for intervals

Pull Request - State: open - Opened by Ratfink over 1 year ago - 3 comments

#24 - Ordering of dimensions is not consistent across parts of the package

Issue - State: open - Opened by shengjiex98 over 1 year ago - 2 comments

#23 - Work conserve schedule

Pull Request - State: closed - Opened by shengjiex98 over 1 year ago - 3 comments

#22 - Use threads in bounded_runs_iter

Pull Request - State: closed - Opened by Ratfink over 1 year ago

#21 - Use the abstract type sampler for all constraints

Pull Request - State: closed - Opened by shengjiex98 over 1 year ago - 2 comments

#20 - Schedule synthesis change

Pull Request - State: closed - Opened by shengjiex98 almost 2 years ago - 1 comment

#19 - Schedule synthesis: return a matrix instead of vector of vectors

Issue - State: closed - Opened by shengjiex98 almost 2 years ago - 1 comment

#17 - Parameterize Automaton type

Issue - State: open - Opened by Ratfink almost 2 years ago

#16 - Improve memory efficiency of bounded_runs_iter

Pull Request - State: closed - Opened by Ratfink almost 2 years ago

#15 - WIP: Schedule synthesis

Pull Request - State: closed - Opened by shengjiex98 almost 2 years ago - 8 comments

#14 - CompatHelper: bump compat for RealTimeScheduling to 0.3, (keep existing compat)

Pull Request - State: closed - Opened by github-actions[bot] almost 2 years ago - 1 comment

#13 - Allow sets as z_0 in estimate_deviation

Pull Request - State: closed - Opened by Ratfink about 2 years ago

#12 - deviation should not need z_0 parameter

Issue - State: open - Opened by Ratfink about 2 years ago

#11 - bounded_runs_iter simulates a strange number of time steps

Issue - State: open - Opened by Ratfink about 2 years ago - 1 comment

#9 - Implement JBF-based statistical deviation estimation

Pull Request - State: closed - Opened by Ratfink about 2 years ago

#8 - Use an interval package instead of rolling our own intervals

Issue - State: open - Opened by Ratfink about 2 years ago - 2 comments

#7 - Implement Jeffreys's Bayes factor probabilistic safety testing

Issue - State: closed - Opened by Ratfink about 2 years ago - 1 comment

#7 - Implement Jeffreys's Bayes factor probabilistic safety testing

Issue - State: closed - Opened by Ratfink about 2 years ago - 1 comment

#5 - Add support for vectors as bounds

Pull Request - State: closed - Opened by Ratfink about 2 years ago

#4 - Fast path for a single-point initial set

Issue - State: closed - Opened by Ratfink about 2 years ago

#3 - Consider parallelizing the bounded runs iteration code

Issue - State: open - Opened by Ratfink about 2 years ago

#1 - Turn the old notebook code into a package

Pull Request - State: closed - Opened by Ratfink about 2 years ago