CaltechAUTHORS
  A Caltech Library Service

Time-annotated game graphs for synthesis from abstracted systems

Livingston, Scott C. (2015) Time-annotated game graphs for synthesis from abstracted systems. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCDSTR:2015.005

[img] PDF - Submitted Version
See Usage Policy.

555Kb

Use this Persistent URL to link to this item: http://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:
Funding AgencyGrant Number
United Technologies CorporationUNSPECIFIED
IBM Corp.UNSPECIFIED
iCyPhy ConsortiumUNSPECIFIED
Record Number:CaltechCDSTR:2015.005
Persistent URL:http://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:18 Sep 2015 23:22

Repository Staff Only: item control page