Search results

Move schedule synthesis code to RealTimeScheduling.jl

Status: Open.

#31 In Ratfink/ControlTimingSafety.jl;

· Ratfink opened on Apr 22, 2024

<code>safety_margin</code> implementation in <code>bounded_runs_iter()</code> is broken

Status: Open.

#26 In Ratfink/ControlTimingSafety.jl;

· shengjiex98 opened on Apr 12, 2023

Ordering of dimensions is not consistent across parts of the package

Status: Open.

#24 In Ratfink/ControlTimingSafety.jl;

· shengjiex98 opened on Mar 22, 2023

Parameterize Automaton type

Status: Open.

#17 In Ratfink/ControlTimingSafety.jl;

· Ratfink opened on Feb 16, 2023

deviation should not need z_0 parameter

Status: Open.

#12 In Ratfink/ControlTimingSafety.jl;

· Ratfink opened on Nov 4, 2022

bounded_runs_iter simulates a strange number of time steps

Status: Open.

#11 In Ratfink/ControlTimingSafety.jl;

· Ratfink opened on Nov 4, 2022

Use an interval package instead of rolling our own intervals

Status: Open.

#8 In Ratfink/ControlTimingSafety.jl;

· Ratfink opened on Oct 31, 2022

Consider parallelizing the bounded runs iteration code

Status: Open.

#3 In Ratfink/ControlTimingSafety.jl;

· Ratfink opened on Sep 27, 2022