University of Illinois Urbana-Champaign

Specifications for Decidable Hybrid Automata and Games

Vladimerou, Vladimeros

This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.

Permalink

https://hdl.handle.net/2142/81134

Description

Title
Specifications for Decidable Hybrid Automata and Games
Author(s)
Vladimerou, Vladimeros
Issue Date
2009
Doctoral Committee Chair(s)
  • Dullerud, Geir E.
  • Viswanathan, Mahesh
Department of Study
Electrical and Computer Engineering
Discipline
Electrical and Computer Engineering
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Engineering, Electronics and Electrical
Language
eng
Abstract
Examples are provided to give justification of the subclass constraints and better understanding of the implications of the proven results.
Graduation Semester
2009
Type of Resource
text
Permalink
http://hdl.handle.net/2142/81134

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Electrical and Computer Engineering
Dissertations and Theses in Electrical and Computer Engineering