\documentclass[12pt]{article}

\setlength{\oddsidemargin}{0in}
\setlength{\evensidemargin}{0in}
\setlength{\textwidth}{6in}
\setlength{\topmargin}{-0.5in}
\setlength{\textheight}{9in}

\addtolength{\parskip}{2ex plus3ex minus1.5ex}
\setlength{\parindent}{0mm}

\renewcommand{\thefootnote}{\fnsymbol{footnote}}


\begin{document}

Computational Techniques for Hybrid and Embedded Systems Design\\
(CPSC 538A, Term 1, Winter 2002--2003)\\

\begin{center}
{ \Large Course Survey }
\end{center}

The following topics were discussed during this semester.  Use the
corresponding numbers to answer the questions at the bottom of the
page.  Your answers will not be examined until after grades have been
submitted.
\begin{enumerate}
\footnotesize
\setlength{\partopsep}{0ex}
\setlength{\itemsep}{0ex}

\item Review of differential equations and dynamical systems theory.

\item Matlab simulation environment (homework problems).
  
\item Properties of models: local existence, global existence,
  uniqueness, continuity with respect to data/initial conditions/inputs.
  
\item Design of embedded systems: specification/modeling, validation
  and synthesis.

\item Tagged signal model for heterogenous models of computation.

\item Finite state machines and Statecharts models of computation.

\item Hybrid time trajectories, hybrid automata and hybrid executions.
  
\item Validating designs by construction, verification, simulation and
  less trustworthy methods.

\item Ptolemy II and HyVisual simulation environments (homework problem).

\item Hamilton-Jacobi based reachability for nonlinear hybrid automata.

\item CheckMate reachability for polyhedral invariant hybrid automata.
  
\item Transition systems, equivalence of systems, quotient
  transition systems, bisimulation.

\item Lyapunov methods for deductive verification and stability.
  
\item Codesign finite state machine model of computation (student
  presentation).

\item Petri nets model of computation (student presentation).
  
\item Formation switching for multiple mobile robots (student presentation).

\item Metropolis project for modeling embedded systems (student presentation).

\item Timed Automata.
  
\item Optimal control of hybrid systems by fast marching methods
  (student presentation).

\item Hardware in the loop simulation (student presentation).

\item Time-triggered architecture and Giotto.
  
\item Verifying an autopilot interface (student presentation).

\end{enumerate}

\begin{itemize}

\item What topics did you find most interesting and/or useful?

\item What topics did you find least interesting and/or useful?
  
\item Were there any topics from this list that you would like to have
  covered in more depth?
  
\item Were there any topics from this list that you would like to have
  skipped?
  
\end{itemize}

\newpage
\begin{itemize}
\setlength{\itemsep}{18ex}

\item Are there any other topics that you would prefer to have seen?
  
\item Do you have any comments regarding the pace or style of the
  lectures (too slow/fast, too few/many examples, too little/much
  theory, ratio of chalkboard to discussion, etc.)?
  
\item Do you have any comments regarding the homework, reading, or
  project assignments (too short/long, too simple/hard, grading
  scheme, etc.)?
  
\item What was the single worst thing about the course, and how would
  you fix it?

\item What was the single best thing about the course?

\item Any other comments?

\end{itemize}

\end{document}
