Professional Documents
Culture Documents
Typeset your solutions using LATEX zip your writeup (.pdf) and code (.py) in a single file called
nedid-584-F21.zip and upload this file through Canvass++.
1
be nice if you can develop the simulation in the form of a sharable online notebook (e.g., using
https://colab.research.google.com/ or https://openprocessing.org/).
(d) (Open-ended question) Consider the billiard table with a single ball. The ball is said to reach
a fixed orbit if after a while it does not visit any new points on the table. Prove or disprove this
statement: For every initial position and velocity of the ball, it eventually reaches a fixed orbit. Does this
statement also hold for every possible choice of a and b?
Problem 4. Satellites (10 + 5 = 15 points). (a) Consider two satellites orbiting Earth in circular
orbits with constant angular speeds ω1 and ω2 . Write a hybrid automaton model of the position
of the satellite pair with state in [0, 2π]2 . When the angular position of one of the satellites hit 0 or
2π, its position has to be reset appropriately. Model that using an action called jump.
(b) The orbit of the satellite pair can be seen as a billiard ball on a [0, 2π] × [0, 2π] table. What
conclusions can you reach from your answer to 1(d) regarding the relative position of satellites?
Problem 4. Hysteresis model (10 + 10 + 5 = 25 points). (a) Model the following hysteresis-based
switching system as a hybrid automaton. The automaton A has (at least) n continuous variables
x1 , . . . , xn and a discrete variable called m that takes the values in the set m1 , . . . , mn . For a state
x of the automaton, we say that the system is in mode mi , if x d m = mi . There are n × (n − 1)
actions switch(i, j), where i, j ∈ [n] and j 6= i. When the system is in mode mi ,
ẋi = ai xi ,
where ai > 0 is a positive constant and ẋj = 0 for all j 6= i. Further, when the system is in mode
mi , for any j 6= i, if xi becomes greater than (1 + h)xj , then the automaton switches to mode
mj ; otherwise, it continues in mode mi . Here, h > 0 is a parameter of the model. Is your model
deterministic?
(b) Write a simulator for this model and plot two executions starting from two different initial
states: one where all the xi ’s are same, and another where they are different. For each execution,
plot the duration that A stays in each mode.
(c) Do you observe something interesting about how long A stays in each mode? Can you conjec-
ture an invariant property of the automaton? No need to prove anything.
Submission. Submit two files: (a) One .pdf with all the written answers, plots, and explanations
for the programs. (b) A .zip file with simulation code and detailed instructions for running them.
If you are submitting an online notebook, then there is no need to submit simulation code. Just
share the link of your online notebook in the .pdf.