Timed Systems - First lecture on Monday December 1st

I remind all interested students that the course Timed Systems (4 Credits) will start on Monday December 1st 2008 at 17:00 in Room AB2.

I received, in the previous post, 3 comments of interested students. Of course other interested students can still join the course.

I will post the course calendar asap.

Take-home Exam Due Today

I just wanted to remind you that the deadline for the delivery of your solutions to the exercise in the take-home exam is today at 16:00 Italian time. Thanks to those of you who have already delivered their solutions.

Keep up the good work.

Celebratory Exam

I have posted the take-home celebration exam. I hope you will enjoy working on it and that you will use it as a further opportunity to learn more about the material we covered during the course.

Good luck!

Addendum posted on Sunday, 16 November 2008: In Exercise 1, the transition from t₁ to t₂ labelled with a and b should be read as a short-hand for two transitions, one labelled a and the other labelled b. In other words, one can go from t₁ to t₂ by performing either an a action or a b action.

Feedback on the Course

I am always happy to receive suggestions for improving the course further. In particular, I'd really like to know what aspects of the course you found confusing, hard to follow etcetera.

Feel free to provide your opinions anonymously by posting comments on this blog entry. You can provide your comments at any time.

Luca Tesei's "Timed Systems" Course

Luca Tesei's "Timed Systems" course will start on Monday, 1 December 2008, at 15:00 CET. The course will be based on part II of my book.

If you think that you will attend the course, please post a comment. Of course, your expression of interest won't be binding. It will only give Luca Tesei an indication of how many people might follow his course.

Important news about the exam

After consultation with Emanuela Merelli and Luca Tesei, we have decided to increase the weight of the final take-home exam to 40%. This means that my part of the course will contribute 60% of the final grade.

Exercises for Week 5

I have posted the fifth and last set of exercises for you, and selected solutions to exercises from this week's exercise sheet.

Solution from Group 4

The proposed solution is here. The authors and I look forward to receiving comments from group 2 by Friday, 7 November, at 16:00 CET. Of course, you are all encouraged to comment on the solution!

Timing For The Take-home Exam

The take-home exam will be posted on the web page for the course at the latest on Monday, 17 November 2008, at 09:00 CET. The pdf file with your solutions should be sent via email to me by Friday, 21 November, at 12:00 CET.

CWB (New Century) and Windows

Those amongst you who run Windows on their laptops might want to work on their mini-project using the executable code for the CWB (New Century) from here, which runs also on Windows machines.