Skip to content

Instantly share code, notes, and snippets.

@tcoopman
Last active July 1, 2020 19:24

Revisions

  1. tcoopman revised this gist Jul 1, 2020. 1 changed file with 2 additions and 2 deletions.
    4 changes: 2 additions & 2 deletions SketchSystems.spec
    Original file line number Diff line number Diff line change
    @@ -6,11 +6,11 @@ Pump Control
    time after 1900 -> Pump off
    start control loop -> Control loop

    Control loop
    Control loop*
    roof temperature higher -> Valve opened
    roof temperature lower -> Valve closed

    Valve closed*
    Valve closed
    start control loop timer -> control loop timer

    Valve opened
  2. tcoopman created this gist Jul 1, 2020.
    24 changes: 24 additions & 0 deletions SketchSystems.spec
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,24 @@
    Pump Control
    Pump off*
    time after 1400 -> Pump on

    Pump on
    time after 1900 -> Pump off
    start control loop -> Control loop

    Control loop
    roof temperature higher -> Valve opened
    roof temperature lower -> Valve closed

    Valve closed*
    start control loop timer -> control loop timer

    Valve opened
    start control loop timer -> control loop timer

    control loop timer
    timer rang -> Control loop




    6 changes: 6 additions & 0 deletions SketchSystems_prototype.js
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,6 @@
    function render(model){
    let current_state_name = model.active_states[0].name;
    return $("h1",
    {style: {color: "darkBlue"}},
    `The current state is: ${current_state_name}`);
    }