Livingston, Scott C. (2015) Time-annotated game graphs for synthesis from abstracted systems. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCDSTR:2015.005
![]() |
PDF
- Submitted Version
See Usage Policy. 555Kb |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechCDSTR:2015.005
Abstract
The construction of discrete abstractions is a crucial part of many methods for control synthesis of hybrid systems subject to formal specifications. In general, the product of discrete abstractions may not be a discrete abstraction for the product of the underlying continuously-valued systems. Addressing this, we present a control synthesis method for transition systems that are built from components with uncertain timing characteristics. The new device, called here time-annotated game graphs, is demonstrated in a variety of examples. While it is applicable generally to parity games, we consider it in the context of control subject to GR(1) specifications. We show how a nominal strategy obtained without time knowledge can be modified to recover correctness when time information becomes available. The methods are applied to a brief case study of an aircraft electric power system.
Item Type: | Report or Paper (Technical Report) | ||||||||
---|---|---|---|---|---|---|---|---|---|
Additional Information: | This is an extended version of a paper to be presented at the IEEE Conference on Decision and Control (CDC) in Osaka, Japan, on 15-18 December 2015. The author thanks Richard M. Murray for motivating discussions. This work was partially supported by United Technologies Corporation and IBM, through the industrial cyber-physical systems (iCyPhy) consortium. | ||||||||
Group: | Control and Dynamical Systems Technical Reports | ||||||||
Funders: |
| ||||||||
Record Number: | CaltechCDSTR:2015.005 | ||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechCDSTR:2015.005 | ||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||||||
ID Code: | 60312 | ||||||||
Collection: | CaltechCDSTR | ||||||||
Deposited By: | Scott Livingston | ||||||||
Deposited On: | 18 Sep 2015 22:19 | ||||||||
Last Modified: | 03 Oct 2019 08:55 |
Repository Staff Only: item control page