EECI 2013: Advanced Topics - Revision history

Murray at 09:02, 22 March 2013

2013-03-22T09:02:22Z

← Older revision		Revision as of 09:02, 22 March 2013
Line 4:		Line 4:

	== Lecture Materials ==		== Lecture Materials ==
	* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-~~sp12~~/L9_advanced-22Mar13.pdf Advanced Topics]		* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp13/L9_advanced-22Mar13.pdf Advanced Topics]

	== Further Reading ==		== Further Reading ==

Murray: /* Further Reading */

2013-03-22T08:27:39Z

Further Reading

← Older revision		Revision as of 08:27, 22 March 2013
Line 8:		Line 8:
	== Further Reading ==		== Further Reading ==

	* <p> [http://www.cds.caltech.edu/~murray/papers/xtm12-cdc.html Reactive Protocols for Aircraft Electric Power Distribution], Huan Xu, Ufuk Topcu, and Richard M. Murray. ~~Submitted,~~ 2012 Conference on Decision and Control (CDC).</p>		* <p> [http://www.cds.caltech.edu/~murray/papers/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).</p>

	* <p> [http://www.cds.caltech.edu/~murray/papers/wtm12-cdc.html Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. ~~Submitted,~~ 2012 Conference on Decision and Control (CDC).</p>		* <p> [http://www.cds.caltech.edu/~murray/papers/wtm12-cdc.html Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. 2012 Conference on Decision and Control (CDC).</p>

	* <p> [http://www.cds.caltech.edu/~murray/papers/~~plm12~~-cdc.html ~~Bisimulations~~ for ~~Reasoning about Input-to-State Stability Properties of Hybrid~~ Systems]~~, Pavithra Prabhakar~~, Jun Liu and Richard M. Murray. ~~Submitted,~~ 2012 Conference on Decision and Control (CDC).</p>		* <p> [http://www.cds.caltech.edu/~murray/papers/ltom12-cdc.html Synthesis of Reactive Control Protocols for Differentially Flat Systems], Jun Liu, Ufuk Topcu, Necmiye Ozay, and Richard M. Murray. 2012 Conference on Decision and Control (CDC).</p>

	* <p> [http://www.cds.caltech.edu/~murray/papers/ltom12-cdc.html Synthesis of Reactive Control Protocols for Differentially Flat Systems], Jun Liu, Ufuk Topcu, Necmiye Ozay, and Richard M. Murray. Submitted, 2012 Conference on Decision and Control (CDC).</p>		* <p> [http://www.cds.caltech.edu/~murray/papers/lotm12-acc.html Synthesis of Switching Protocols from Temporal Logic Specifications], Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. 2012 American Control Conference.</p>

	* <p> [http://www.cds.caltech.edu/~murray/papers/cltbm12-icra.html Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation], Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, and Richard M. Murray. 2012 International Conference on Robotics and Automation (ICRA).</p>

	* <p> [http://www.cds.caltech.edu/~murray/papers/tolm12-hscc.html On Synthesizing Robust Discrete Controllers under Modeling Uncertainty], Ufuk Topcu, Necmiye Ozay, Jun Liu, and Richard M. Murray. Submitted, 2012 International Conf on Hybrid Systems: Computation and Control (HSCC).</p>

	* <p> [http://www.cds.caltech.edu/~murray/papers/lotm12-acc.html Synthesis of Switching Protocols from Temporal Logic Specifications], Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. ~~Submitted, 2012 American Control Conference.</p>~~

	* <p> [http://www.cds.caltech.edu/~murray/papers/notm12-acc.html Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing], Petter Nilsson, Necmiye Özay, Ufuk Topcu and Richard M. Murray. Submitted, 2012 American Control Conference (ACC).</p>

	* <p> [http://www.cds.caltech.edu/~murray/papers/wtm12-acc.html Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications], Eric M. Wolff, Ufuk Topcu and Richard M. Murray. Submitted, 2012 American Control Conference ~~(ACC)~~.</p>

	* <p> [http://www.cds.caltech.edu/~murray/papers/otm11-cdc.html Distributed Power Allocation for Vehicle Management Systems], Necmiye Ozay, Ufuk Topcu and Richard M. Murray. 2011 IEEE Conference on Decision and Control (CDC).</p>		* <p> [http://www.cds.caltech.edu/~murray/papers/otm11-cdc.html Distributed Power Allocation for Vehicle Management Systems], Necmiye Ozay, Ufuk Topcu and Richard M. Murray. 2011 IEEE Conference on Decision and Control (CDC).</p>

Murray at 08:24, 22 March 2013

2013-03-22T08:24:14Z

← Older revision		Revision as of 08:24, 22 March 2013
Line 1:		Line 1:
	{{eeci-sp13 header\|prev=Computer Session: TuLiP\|next=~~Main Page~~}}		{{eeci-sp13 header\|prev=Computer Session: TuLiP\|next=Summary}}

	This lecture covers advanced topics that make use of the material presented in the course.		This lecture covers advanced topics that make use of the material presented in the course.

Murray at 08:19, 22 March 2013

2013-03-22T08:19:32Z

← Older revision		Revision as of 08:19, 22 March 2013
Line 1:		Line 1:
	{{eeci-sp13 header\|prev=TuLiP\|next=Main Page}}		{{eeci-sp13 header\|prev=Computer Session: TuLiP\|next=Main Page}}

	This lecture ~~is dedicated to further applications~~ of ~~temporal logic planning (one in vehicle management systems and one~~ in ~~smart camera networks) and extensions of the methodology based on a compositional synthesis procedure that partially alleviates the resulting computational complexity by exploiting~~ the ~~underlying networked structure. A sample of open issues are discussed~~.		This lecture covers advanced topics that make use of the material presented in the course.

	== Lecture Materials ==		== Lecture Materials ==
	* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/~~L9_extensions~~-~~18May12~~.pdf ~~Extensions and Open Problems~~]		* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/L9_advanced-22Mar13.pdf Advanced Topics]

	== Further Reading ==		== Further Reading ==

Murray at 08:15, 22 March 2013

2013-03-22T08:15:49Z

← Older revision		Revision as of 08:15, 22 March 2013
Line 1:		Line 1:
	~~#REDIRECT~~ [[~~EECI 2013~~: ~~Computer Session~~: ~~TuLiP~~]]		{{eeci-sp13 header\|prev=TuLiP\|next=Main Page}}

			This lecture is dedicated to further applications of temporal logic planning (one in vehicle management systems and one in smart camera networks) and extensions of the methodology based on a compositional synthesis procedure that partially alleviates the resulting computational complexity by exploiting the underlying networked structure. A sample of open issues are discussed.

			== Lecture Materials ==
			* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/L9_extensions-18May12.pdf Extensions and Open Problems]

			== Further Reading ==

			* <p> [http://www.cds.caltech.edu/~murray/papers/xtm12-cdc.html Reactive Protocols for Aircraft Electric Power Distribution], Huan Xu, Ufuk Topcu, and Richard M. Murray. Submitted, 2012 Conference on Decision and Control (CDC).</p>

			* <p> [http://www.cds.caltech.edu/~murray/papers/wtm12-cdc.html Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications], Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. Submitted, 2012 Conference on Decision and Control (CDC).</p>

			* <p> [http://www.cds.caltech.edu/~murray/papers/plm12-cdc.html Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems], Pavithra Prabhakar, Jun Liu and Richard M. Murray. Submitted, 2012 Conference on Decision and Control (CDC).</p>

			* <p> [http://www.cds.caltech.edu/~murray/papers/ltom12-cdc.html Synthesis of Reactive Control Protocols for Differentially Flat Systems], Jun Liu, Ufuk Topcu, Necmiye Ozay, and Richard M. Murray. Submitted, 2012 Conference on Decision and Control (CDC).</p>

			* <p> [http://www.cds.caltech.edu/~murray/papers/cltbm12-icra.html Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation], Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, and Richard M. Murray. 2012 International Conference on Robotics and Automation (ICRA).</p>

			* <p> [http://www.cds.caltech.edu/~murray/papers/tolm12-hscc.html On Synthesizing Robust Discrete Controllers under Modeling Uncertainty], Ufuk Topcu, Necmiye Ozay, Jun Liu, and Richard M. Murray. Submitted, 2012 International Conf on Hybrid Systems: Computation and Control (HSCC).</p>

			* <p> [http://www.cds.caltech.edu/~murray/papers/lotm12-acc.html Synthesis of Switching Protocols from Temporal Logic Specifications], Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. Submitted, 2012 American Control Conference.</p>

			* <p> [http://www.cds.caltech.edu/~murray/papers/notm12-acc.html Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing], Petter Nilsson, Necmiye Özay, Ufuk Topcu and Richard M. Murray. Submitted, 2012 American Control Conference (ACC).</p>

			* <p> [http://www.cds.caltech.edu/~murray/papers/wtm12-acc.html Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications], Eric M. Wolff, Ufuk Topcu and Richard M. Murray. Submitted, 2012 American Control Conference (ACC).</p>

			* <p> [http://www.cds.caltech.edu/~murray/papers/otm11-cdc.html Distributed Power Allocation for Vehicle Management Systems], Necmiye Ozay, Ufuk Topcu and Richard M. Murray. 2011 IEEE Conference on Decision and Control (CDC).</p>

Murray: Murray moved page EECI 2013: Advanced Topcis to EECI 2013: Advanced Topics

2013-03-22T08:12:55Z

Murray moved page EECI 2013: Advanced Topcis to EECI 2013: Advanced Topics

← Older revision		Revision as of 08:12, 22 March 2013
(No difference)

Murray: Redirected page to EECI 2013: Computer Session: TuLiP

2013-03-22T08:12:08Z

Redirected page to EECI 2013: Computer Session: TuLiP

New page

#REDIRECT [[EECI 2013: Computer Session: TuLiP]]