View source for CoE165 2024 Assignment 04

== CoE165 Assignment 4 ==

=== Part 1: Hybrid Systems ===
* Problem from our textbook (Exercise 6, page 104). Provide a short narrative describing your solution.
* Automobiles today have the features listed below. Implement each feature as a timed automaton.
*# The dome light is turned on as soon as any door is opened. It stays on for 30 seconds after all doors are shut. Create a modal model for this. What sensors are needed?
*# Once the engine is started, a beeper is sounded and a red light warning is indicated if there are passengers that have not buckled their seat belt. The beeper stops sounding after 30 seconds, or as soon the seat belts are buckled, whichever is sooner. The warning light is on all the time the seat belt is unbuckled. Create a modal model for this.
*#* Hint: Assume the sensors provide a warn event when the ignition is turned on and there is a seat with passenger not buckled in, or if the ignition is already on and a passenger sits in a seat without buckling the seatbelt. Assume further that the sensors provide a ''noWarn'' event when a passenger departs from a seat, or when the buckle is buckled, or when the ignition is turned off.

=== Part 2: Timed Automata ===
* Problem from our textbook (Exercise 7, page 104). Provide a short narrative describing your solution.
* A programmable thermostat allows you to select 4 times, <math>0\leq T_1 \leq \dots \leq T_4 < 24</math> (for a 24-hour cycle) and the corresponding setpoint temperatures <math>a_1, \ldots, a_4</math>. Construct a timed automaton that sends the event <math>a_i</math> to the heating systems controller. The controller maintains the temperature close to the value <math>a_i</math> until it receives the next event. How many timers and modes do you need?

=== Submission ===
* Do not forget to add your name and student number at the top of the page.
* Deadline: 
** Monday, October 28, 5pm. 
** Late submissions are not allowed, and will get a score of zero.
* Submit your PDF file here:
** https://forms.gle/XWcBALtFWTCKyaKfA