The synthesized optimal hybrid controllers verify engineering intuition. The thesis, and all other LIDS reports, are available in hardcopy through the LIDS publication office. The thesis is 198 pages, including an extensive bibliography and index. 33rd IEEE Conf. A specific control problem is studied in this framework, leading to an existence result for optimal controls.
Conference paper is a summary, but includes some examples.
Five hybrid systems models are reviewed and shown to fit into our abstract framework. We review and compare four such models from the literature. Notions of simulation of a discrete dynamical system by a continuous one are developed. All four hybrid systems models studied here can implement exact clocks. We use the famous asynchronous arbiter problem to distinguish between hybrid and continuous dynamical systems.