ICyPhy Webex Feb 4 2012 - Revision history

Necmiye at 21:40, 5 February 2013

2013-02-05T21:40:50Z

← Older revision		Revision as of 21:40, 5 February 2013
Line 10:		Line 10:
	# Identify parts of the design process where logic has to be designed by hand (so that we can try out synthesis).		# Identify parts of the design process where logic has to be designed by hand (so that we can try out synthesis).
	# Sensor placement/sensor logic		# Sensor placement/sensor logic
	# A unified language to capture multiple views (contract like specs in this language)		# A unified language to capture multiple views (design concerns) and/or abstraction levels (contract-like specs in this language)
	# Possible ways to integrate EPS domain specific language and LTL spec generator to other design tools (what that language can/should capture to be useful?)		# Possible ways to integrate EPS domain specific language and LTL spec generator to other design tools (what that language can/should capture to be useful?)
	# More interesting distributed control architectures:		# More interesting distributed and/or hierarchical control architectures:
	## allowing controllers to share contactors		## allowing controllers to share contactors
	## allowing decisions to be made by voting		## allowing decisions to be made by voting

Necmiye: Undo revision 15361 by Necmiye (talk) + some comments from Pierluigi

2013-02-05T21:37:02Z

Undo revision 15361 by Necmiye (talk) + some comments from Pierluigi

← Older revision		Revision as of 21:37, 5 February 2013
Line 2:		Line 2:
	== Presentations: ==		== Presentations: ==
	* [https://www.cds.caltech.edu/~murray/wiki/images/5/50/NOzay-3Feb13-ICyPhy.pdf Overview of the MuSyC challenge problem (Necmiye)]		* [https://www.cds.caltech.edu/~murray/wiki/images/5/50/NOzay-3Feb13-ICyPhy.pdf Overview of the MuSyC challenge problem (Necmiye)]
	* [http://www.icyphy.org/ Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki		* [http://www.icyphy.org/icyphy/wiki/uploads/Main/PNuzzo-Feb4 Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki
	* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]		* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]

Line 17:		Line 17:
	## mapping sensing and control points to controllers		## mapping sensing and control points to controllers
	## automatically finding local contracts for controllers		## automatically finding local contracts for controllers
			## automatically explore distributed control architectures using contracts and possibly different specialized analysis and synthesis frameworks

	[http://www.icyphy.org/icyphy/wiki/Main/2013February5DesignDriverMeeting Corresponding iCyPhy wiki page (limited access)]		[http://www.icyphy.org/icyphy/wiki/Main/2013February5DesignDriverMeeting Corresponding iCyPhy wiki page (limited access)]

Necmiye at 06:40, 5 February 2013

2013-02-05T06:40:24Z

← Older revision		Revision as of 06:40, 5 February 2013
Line 2:		Line 2:
	== Presentations: ==		== Presentations: ==
	* [https://www.cds.caltech.edu/~murray/wiki/images/5/50/NOzay-3Feb13-ICyPhy.pdf Overview of the MuSyC challenge problem (Necmiye)]		* [https://www.cds.caltech.edu/~murray/wiki/images/5/50/NOzay-3Feb13-ICyPhy.pdf Overview of the MuSyC challenge problem (Necmiye)]
	* [http://www.icyphy.org/~~icyphy/wiki/uploads/Main/PNuzzo-Feb4~~ Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki		* [http://www.icyphy.org/ Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki
	* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]		* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]

Necmiye at 06:19, 5 February 2013

2013-02-05T06:19:52Z

← Older revision		Revision as of 06:19, 5 February 2013
Line 1:		Line 1:

	Presentations:		== Presentations: ==
	* [https://www.cds.caltech.edu/~murray/wiki/images/5/50/NOzay-3Feb13-ICyPhy.pdf Overview of the MuSyC challenge problem (Necmiye)]		* [https://www.cds.caltech.edu/~murray/wiki/images/5/50/NOzay-3Feb13-ICyPhy.pdf Overview of the MuSyC challenge problem (Necmiye)]
	* [http://www.icyphy.org/icyphy/wiki/uploads/Main/PNuzzo-Feb4 Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki		* [http://www.icyphy.org/icyphy/wiki/uploads/Main/PNuzzo-Feb4 Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki
	* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]		* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]

	Possible directions for future work:		== Possible directions for future work: ==
	# Continuous-time synthesis		# Continuous-time synthesis
	# Modelica like component models		# Modelica like component models
Line 18:		Line 18:
	## automatically finding local contracts for controllers		## automatically finding local contracts for controllers

	[http://www.icyphy.org/icyphy/wiki/Main/2013February5DesignDriverMeeting Corresponding iCyPhy wiki page-limited access]		[http://www.icyphy.org/icyphy/wiki/Main/2013February5DesignDriverMeeting Corresponding iCyPhy wiki page (limited access)]

	References:		[http://www.cds.caltech.edu/~murray/wiki/index.php/Distributed_Sense_and_Control_Systems Richard's MuSyC project page]

			== References: ==
	* [http://www.musyc.org/thms/distributed/EPSmodelingSysML_V_02.pdf 767 Electric Power System Modeling in SysML], J. Finn, M. Mazumdar, and A. Sangiovanni-Vincentelli. MuSyC Public Report 2011.		* [http://www.musyc.org/thms/distributed/EPSmodelingSysML_V_02.pdf 767 Electric Power System Modeling in SysML], J. Finn, M. Mazumdar, and A. Sangiovanni-Vincentelli. MuSyC Public Report 2011.
	* [http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols], Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray. Hybrid Systems: Computation and Control (HSCC) 2013.		* [http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols], Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray. Hybrid Systems: Computation and Control (HSCC) 2013.

Necmiye at 06:09, 5 February 2013

2013-02-05T06:09:51Z

← Older revision		Revision as of 06:09, 5 February 2013
Line 17:		Line 17:
	## mapping sensing and control points to controllers		## mapping sensing and control points to controllers
	## automatically finding local contracts for controllers		## automatically finding local contracts for controllers

			[http://www.icyphy.org/icyphy/wiki/Main/2013February5DesignDriverMeeting Corresponding iCyPhy wiki page-limited access]

	References:		References:

Necmiye at 06:05, 5 February 2013

2013-02-05T06:05:13Z

← Older revision		Revision as of 06:05, 5 February 2013
Line 19:		Line 19:

	References:		References:
	* [http://www.musyc.org/thms/distributed/EPSmodelingSysML_V_02.pdf 767 Electric Power System Modeling in SysML], J. Finn, M. Mazumdar, and A. Sangiovanni-Vincentelli. MuSyC Public Report.		* [http://www.musyc.org/thms/distributed/EPSmodelingSysML_V_02.pdf 767 Electric Power System Modeling in SysML], J. Finn, M. Mazumdar, and A. Sangiovanni-Vincentelli. MuSyC Public Report 2011.
	* [http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols], Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray. Hybrid Systems: Computation and Control (HSCC) 2013.		* [http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols], Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray. Hybrid Systems: Computation and Control (HSCC) 2013.
	* [http://www.cds.caltech.edu/~murray/preprints/xom13-hscc_s.pdf A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems], Huan Xu, Necmiye Ozay and Richard M. Murray, working paper.		* [http://www.cds.caltech.edu/~murray/preprints/xom13-hscc_s.pdf A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems], Huan Xu, Necmiye Ozay and Richard M. Murray, working paper.

Necmiye at 06:00, 5 February 2013

2013-02-05T06:00:17Z

← Older revision		Revision as of 06:00, 5 February 2013
Line 1:		Line 1:

	Presentations:		Presentations:
	* [~~http~~://www.~~icyphy~~.~~org~~/~~icyphy~~/wiki/~~uploads~~/~~Main~~/NOzay-~~Feb4~~ Overview of the MuSyC challenge problem (Necmiye)]		* [https://www.cds.caltech.edu/~murray/wiki/images/5/50/NOzay-3Feb13-ICyPhy.pdf Overview of the MuSyC challenge problem (Necmiye)]
	* [http://www.icyphy.org/icyphy/wiki/uploads/Main/PNuzzo-Feb4 Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki		* [http://www.icyphy.org/icyphy/wiki/uploads/Main/PNuzzo-Feb4 Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki
	* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]		* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]

Necmiye at 05:58, 5 February 2013

2013-02-05T05:58:32Z

← Older revision		Revision as of 05:58, 5 February 2013
Line 3:		Line 3:
	* [http://www.icyphy.org/icyphy/wiki/uploads/Main/NOzay-Feb4 Overview of the MuSyC challenge problem (Necmiye)]		* [http://www.icyphy.org/icyphy/wiki/uploads/Main/NOzay-Feb4 Overview of the MuSyC challenge problem (Necmiye)]
	* [http://www.icyphy.org/icyphy/wiki/uploads/Main/PNuzzo-Feb4 Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki		* [http://www.icyphy.org/icyphy/wiki/uploads/Main/PNuzzo-Feb4 Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki
	* [~~http~~://www.~~icyphy~~.~~org~~/~~icyphy~~/wiki/~~uploads~~/~~Main~~/~~MXu-Feb4~~ Review of Caltech correct-by-construction synthesis work (Mumu)]		* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]

	Possible directions for future work:		Possible directions for future work:

Necmiye at 05:52, 5 February 2013

2013-02-05T05:52:44Z

← Older revision		Revision as of 05:52, 5 February 2013
Line 24:		Line 24:
	* [http://www.cds.caltech.edu/~murray/papers/2012g_xtm12-cdc.html Reactive Protocols for Aircraft Electric Power Distribution], Huan Xu, Ufuk Topcu, and Richard M. Murray. 2012 Conference on Decision and Control (CDC).		* [http://www.cds.caltech.edu/~murray/papers/2012g_xtm12-cdc.html Reactive Protocols for Aircraft Electric Power Distribution], Huan Xu, Ufuk Topcu, and Richard M. Murray. 2012 Conference on Decision and Control (CDC).
	* {{otm11-cdc}}		* {{otm11-cdc}}
	* {{otwm11-iccps}}
	* {{Won+11-hscc}}		* {{Won+11-hscc}}

Necmiye at 05:52, 5 February 2013

2013-02-05T05:52:24Z

← Older revision		Revision as of 05:52, 5 February 2013
Line 19:		Line 19:

	References:		References:
	* ~~J. Finn, M. Mazumdar, A. Sangiovanni-Vincentelli,~~ [http://www.musyc.org/thms/distributed/EPSmodelingSysML_V_02.pdf 767 Electric Power System Modeling in SysML], MuSyC Public Report.		* [http://www.musyc.org/thms/distributed/EPSmodelingSysML_V_02.pdf 767 Electric Power System Modeling in SysML], J. Finn, M. Mazumdar, and A. Sangiovanni-Vincentelli. MuSyC Public Report.
	* ~~Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray,~~ [http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols], Hybrid Systems: Computation and Control (HSCC) 2013.		* [http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols], Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray. Hybrid Systems: Computation and Control (HSCC) 2013.
	* ~~Huan Xu, Necmiye Ozay and Richard M. Murray,~~ [http://www.cds.caltech.edu/~murray/preprints/xom13-hscc_s.pdf A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems], working paper.		* [http://www.cds.caltech.edu/~murray/preprints/xom13-hscc_s.pdf A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems], Huan Xu, Necmiye Ozay and Richard M. Murray, working paper.
	* [http://www.cds.caltech.edu/~murray/papers/2012g_xtm12-cdc.html Reactive Protocols for Aircraft Electric Power Distribution], Huan Xu, Ufuk Topcu, and Richard M. Murray. 2012 Conference on Decision and Control (CDC).		* [http://www.cds.caltech.edu/~murray/papers/2012g_xtm12-cdc.html Reactive Protocols for Aircraft Electric Power Distribution], Huan Xu, Ufuk Topcu, and Richard M. Murray. 2012 Conference on Decision and Control (CDC).
	* {{otm11-cdc}}		* {{otm11-cdc}}
	* {{otwm11-iccps}}		* {{otwm11-iccps}}
	* {{Won+11-hscc}}		* {{Won+11-hscc}}