Hiding variables when decomposing specifications into GR(1) contracts - Revision history

Murray at 04:42, 17 April 2017

2017-04-17T04:42:48Z

← Older revision		Revision as of 04:42, 17 April 2017
Line 8:		Line 8:
	\|ID=2017b		\|ID=2017b
	\|Tag=fm17-cdc		\|Tag=fm17-cdc
	\|Funding=SRC TerraSwarm		\|Funding=SRC TerraSwarm, DENSO CPM
	}}		}}
	~~Additional funding: [[Funding::DENSO CPM]]~~

Murray at 04:35, 17 April 2017

2017-04-17T04:35:58Z

← Older revision		Revision as of 04:35, 17 April 2017
Line 10:		Line 10:
	\|Funding=SRC TerraSwarm		\|Funding=SRC TerraSwarm
	}}		}}
	[[Funding::DENSO CPM]]		Additional funding: [[Funding::DENSO CPM]]

Murray at 04:35, 17 April 2017

2017-04-17T04:35:27Z

← Older revision		Revision as of 04:35, 17 April 2017
Line 8:		Line 8:
	\|ID=2017b		\|ID=2017b
	\|Tag=fm17-cdc		\|Tag=fm17-cdc
	\|Funding=SRC TerraSwarm~~, DENSO CPM~~		\|Funding=SRC TerraSwarm
	}}		}}
			[[Funding::DENSO CPM]]

Murray at 04:33, 17 April 2017

2017-04-17T04:33:13Z

← Older revision		Revision as of 04:33, 17 April 2017
Line 8:		Line 8:
	\|ID=2017b		\|ID=2017b
	\|Tag=fm17-cdc		\|Tag=fm17-cdc
	\|Funding=SRC TerraSwarm		\|Funding=SRC TerraSwarm, DENSO CPM
	}}		}}

Murray: Created page with "{{Paper |Title=Hiding variables when decomposing specifications into GR(1) contracts |Authors=Ioannis Filippidis and Richard M. Murray |Source=Submitted, 2017 Conference on De..."

2017-03-22T07:31:15Z

Created page with "{{Paper |Title=Hiding variables when decomposing specifications into GR(1) contracts |Authors=Ioannis Filippidis and Richard M. Murray |Source=Submitted, 2017 Conference on De..."

New page

{{Paper
|Title=Hiding variables when decomposing specifications into GR(1) contracts
|Authors=Ioannis Filippidis and Richard M. Murray
|Source=Submitted, 2017 Conference on Decision and Control (CDC)
|Abstract=We propose a method for eliminating variables from component specifications during the decomposition of GR(1) properties into contracts. The variables that can be eliminated are identified by parameterizing the communication architecture to investigate the dependence of realizability on the availability of information. We prove that the selected variables can be hidden from other components, while still expressing the resulting specification as a game with full information with respect to the remaining variables. The values of other variables need not be known all the time, so we hide them for part of the time, thus reducing the amount of information that needs to be communicated between components. We improve on our previous results on algorithmic decomposition of GR(1) properties, and prove existence of decompositions in the full information case. We use semantic methods of computation based on binary decision diagrams. To recover the constructed specifications so that humans can read them, we implement exact symbolic minimal covering over the lattice of integer orthotopes, thus deriving minimal formulae in disjunctive normal form over integer variable intervals.
|URL=http://www.cds.caltech.edu/~murray/preprints/fm17-cdc_s.pdf
|Type=Conference paper
|ID=2017b
|Tag=fm17-cdc
|Funding=SRC TerraSwarm
}}