Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Games for optimal controller synthesis on hybrid automata

Tools
- Tools
+ Tools

Rutkowski, Michał, Ph.D. (2011) Games for optimal controller synthesis on hybrid automata. PhD thesis, University of Warwick.

[img]
Preview
Text
WRAP_THESIS_Rutkowski_2011.pdf - Submitted Version

Download (1229Kb) | Preview
Official URL: http://webcat.warwick.ac.uk/record=b2565558~S1

Request Changes to record.

Abstract

Hybrid automata are an extension of finite automata obtained by augmenting
them with a set of real-valued variables. Hybrid automata are a natural model for
hybrid systems, i.e., systems that exhibit both discrete and continuous behaviour.
Such systems naturally arise when studying the interaction of a digital controller
with an analogue plant. In this thesis we study the problem of optimal controller
synthesis for such systems. The goal is to design a control program that will ensure
that a system behaves optimally regardless of some uncontrollable external
factors. We study this problem from the perspective of two-player games on hybrid
automata.
In this thesis two variants of hybrid automata are being considered: singleclock
timed automata and hybrid automata with strong resets. The first model
allows us to capture the passage of time between discrete events, and the other
model allows us to capture the more complex dynamics the hybrid systems.
The controller synthesis problem is modelled as follows. There are two players:
the controller and the adversarial environment. Their interaction is viewed as
a multi-stage process, in which the two players interact to create an execution of
the hybrid automaton. The problem of synthesising an optimal controller is: given
a certain optimisation objective, compute an 'optimal' strategy for the controller
player. Executions of the hybrid automaton are assigned two quantities: the price
and the reward. Two optimisation objectives are considered: price-per-reward ratio
of an infinite execution and the price of reaching a certain state of the hybrid
automaton (reachability-price).
In this thesis we prove that optimal controllers for the reachability-price objective
can be synthesised on single-clock timed automata in EXPTIME. Furthermore,
we prove that optimal controllers for reachability-price and average-price-perreward
objectives can be synthesised on hybrid automata with strong resets.

Item Type: Thesis or Dissertation (PhD)
Subjects: Q Science > QA Mathematics
Library of Congress Subject Headings (LCSH): Sequential machine theory, Game theory
Official Date: September 2011
Dates:
DateEvent
September 2011Submitted
Institution: University of Warwick
Theses Department: Department of Computer Science
Thesis Type: PhD
Publication Status: Unpublished
Supervisor(s)/Advisor: Jurdziński, Marcin ; Lazić, Ranko
Extent: x, 228 leaves : ill., charts
Language: eng

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us