EECI 2020: Minimum Violation Planning - Revision history

Murray: /* Lecture Materials */

2020-03-13T05:12:55Z

Lecture Materials

← Older revision		Revision as of 05:12, 13 March 2020
Line 3:		Line 3:

	== Lecture Materials ==		== Lecture Materials ==
	* [http://www.cds.caltech.edu/~murray/courses/eeci-sp2020//L8_mvp-~~2020~~.pdf Lecture slides]		* [http://www.cds.caltech.edu/~murray/courses/eeci-sp2020//L8_mvp-12Mar2020.pdf Lecture slides]

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

Murray at 05:12, 13 March 2020

2020-03-13T05:12:40Z

← Older revision		Revision as of 05:12, 13 March 2020
Line 3:		Line 3:

	== Lecture Materials ==		== Lecture Materials ==
	* [~~https~~://www.cds.caltech.edu/~murray/courses/eeci-sp2020/L8_mvp-2020.pdf Lecture slides]		* [http://www.cds.caltech.edu/~murray/courses/eeci-sp2020//L8_mvp-2020.pdf Lecture slides]

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

Murray: /* Lecture Materials */

2020-03-13T05:11:58Z

Lecture Materials

← Older revision		Revision as of 05:11, 13 March 2020
Line 3:		Line 3:

	== Lecture Materials ==		== Lecture Materials ==
	* [https://www.~~dropbox~~.~~com~~/s/~~05g0y9t13hm3hgt~~/L8_mvp-2020.pdf~~?dl=0~~ Lecture slides]		* [https://www.cds.caltech.edu/~murray/courses/eeci-sp2020/L8_mvp-2020.pdf Lecture slides]

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

Nok: /* Further Reading */

2020-02-29T20:07:31Z

Further Reading

← Older revision		Revision as of 20:07, 29 February 2020
Line 9:		Line 9:
	* <p>[https://arxiv.org/pdf/1305.1102.pdf Incremental Sampling-based Algorithm for Minimum-violation Motion Planning] L.I.R. Castro, P. Chaudhari, J. Tumova, S. Karaman, E. Frazzoli, D. Rus, CDC 2013. Incremental version of minimum violation planning.</p>		* <p>[https://arxiv.org/pdf/1305.1102.pdf Incremental Sampling-based Algorithm for Minimum-violation Motion Planning] L.I.R. Castro, P. Chaudhari, J. Tumova, S. Karaman, E. Frazzoli, D. Rus, CDC 2013. Incremental version of minimum violation planning.</p>
	* <p>[https://www.sites.google.com/site/tichakorn/acc14.pdf?attredirects=0 Incremental Synthesis of Minimum-Violation Control Strategies for Robots Interacting with External Agents] P. Chaudhari, T. Wongpiromsarn and E. Frazzoli, ACC 2014. Multi-agent version of minimum violation planning.</p>		* <p>[https://www.sites.google.com/site/tichakorn/acc14.pdf?attredirects=0 Incremental Synthesis of Minimum-Violation Control Strategies for Robots Interacting with External Agents] P. Chaudhari, T. Wongpiromsarn and E. Frazzoli, ACC 2014. Multi-agent version of minimum violation planning.</p>
	* <p>[https://arxiv.org/pdf/1105.1186.pdf Sampling-based Algorithms for Optimal Motion Planning] S. Karaman and E. Frazzoli, IJRR 2011. Sampling-based algorithms.		* <p>[https://arxiv.org/pdf/1105.1186.pdf Sampling-based Algorithms for Optimal Motion Planning] S. Karaman and E. Frazzoli, IJRR 2011. Sampling-based algorithms.</p>
	* <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging for concurrent systems] E.L. Gunter and D. Peled, TACAS 2002. Detail on finite LTL and translation to finite automaton</p>		* <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging for concurrent systems] E.L. Gunter and D. Peled, TACAS 2002. Detail on finite LTL and translation to finite automaton</p>

Nok: /* Further Reading */

2020-02-29T20:07:15Z

Further Reading

← Older revision		Revision as of 20:07, 29 February 2020
Line 8:		Line 8:
	* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Least-violating Control Strategy Synthesis with Safety Rules] J. Tumova, G.C Hall, S. Karaman, E. Frazzoli and D. Rus, HSCC 2013. Detail on minimum violation planning for finite state systems.</p>		* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Least-violating Control Strategy Synthesis with Safety Rules] J. Tumova, G.C Hall, S. Karaman, E. Frazzoli and D. Rus, HSCC 2013. Detail on minimum violation planning for finite state systems.</p>
	* <p>[https://arxiv.org/pdf/1305.1102.pdf Incremental Sampling-based Algorithm for Minimum-violation Motion Planning] L.I.R. Castro, P. Chaudhari, J. Tumova, S. Karaman, E. Frazzoli, D. Rus, CDC 2013. Incremental version of minimum violation planning.</p>		* <p>[https://arxiv.org/pdf/1305.1102.pdf Incremental Sampling-based Algorithm for Minimum-violation Motion Planning] L.I.R. Castro, P. Chaudhari, J. Tumova, S. Karaman, E. Frazzoli, D. Rus, CDC 2013. Incremental version of minimum violation planning.</p>
			* <p>[https://www.sites.google.com/site/tichakorn/acc14.pdf?attredirects=0 Incremental Synthesis of Minimum-Violation Control Strategies for Robots Interacting with External Agents] P. Chaudhari, T. Wongpiromsarn and E. Frazzoli, ACC 2014. Multi-agent version of minimum violation planning.</p>
			* <p>[https://arxiv.org/pdf/1105.1186.pdf Sampling-based Algorithms for Optimal Motion Planning] S. Karaman and E. Frazzoli, IJRR 2011. Sampling-based algorithms.
	* <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging for concurrent systems] E.L. Gunter and D. Peled, TACAS 2002. Detail on finite LTL and translation to finite automaton</p>		* <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging for concurrent systems] E.L. Gunter and D. Peled, TACAS 2002. Detail on finite LTL and translation to finite automaton</p>

Nok: /* Lecture Materials */

2020-02-29T20:03:43Z

Lecture Materials

← Older revision		Revision as of 20:03, 29 February 2020
Line 3:		Line 3:

	== Lecture Materials ==		== Lecture Materials ==
	* Lecture slides		* [https://www.dropbox.com/s/05g0y9t13hm3hgt/L8_mvp-2020.pdf?dl=0 Lecture slides]

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

Murray at 17:06, 29 February 2020

2020-02-29T17:06:21Z

← Older revision		Revision as of 17:06, 29 February 2020
Line 1:		Line 1:
	{{eeci-sp2020 header\|prev=Computer Session: TuLiP\|next=~~Minimum Violation Planning~~}}		{{eeci-sp2020 header\|prev=Computer Session: TuLiP\|next=Computer Session: MVP}}
	{{righttoc}}		{{righttoc}}

Murray at 17:05, 29 February 2020

2020-02-29T17:05:46Z

← Older revision		Revision as of 17:05, 29 February 2020
Line 1:		Line 1:
			{{eeci-sp2020 header\|prev=Computer Session: TuLiP\|next=Minimum Violation Planning}}
	{{righttoc}}		{{righttoc}}

Nok: /* Further Reading */

2020-02-28T18:57:15Z

Further Reading

← Older revision		Revision as of 18:57, 28 February 2020
Line 5:		Line 5:

	== Further Reading ==		== Further Reading ==
	* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Least-violating Control Strategy Synthesis with Safety Rules] J. Tumova, G.C Hall, S. Karaman, E. Frazzoli and D. Rus, HSCC 2013. Detail on minimum violation planning for finite state systems.		* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Least-violating Control Strategy Synthesis with Safety Rules] J. Tumova, G.C Hall, S. Karaman, E. Frazzoli and D. Rus, HSCC 2013. Detail on minimum violation planning for finite state systems.</p>
	* <p>[https://arxiv.org/pdf/1305.1102.pdf Incremental Sampling-based Algorithm for Minimum-violation Motion Planning] L.I.R. Castro, P. Chaudhari, J. Tumova, S. Karaman, E. Frazzoli, D. Rus, CDC 2013. Incremental version of minimum violation planning.		* <p>[https://arxiv.org/pdf/1305.1102.pdf Incremental Sampling-based Algorithm for Minimum-violation Motion Planning] L.I.R. Castro, P. Chaudhari, J. Tumova, S. Karaman, E. Frazzoli, D. Rus, CDC 2013. Incremental version of minimum violation planning.</p>
	* <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging for concurrent systems] E.L. Gunter and D. Peled, TACAS 2002. Detail on finite LTL and translation to finite automaton</p>		* <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging for concurrent systems] E.L. Gunter and D. Peled, TACAS 2002. Detail on finite LTL and translation to finite automaton</p>

Nok: /* Further Reading */

2020-02-28T18:57:00Z

Further Reading

← Older revision		Revision as of 18:57, 28 February 2020
Line 5:		Line 5:

	== Further Reading ==		== Further Reading ==
			* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Least-violating Control Strategy Synthesis with Safety Rules] J. Tumova, G.C Hall, S. Karaman, E. Frazzoli and D. Rus, HSCC 2013. Detail on minimum violation planning for finite state systems.
			* <p>[https://arxiv.org/pdf/1305.1102.pdf Incremental Sampling-based Algorithm for Minimum-violation Motion Planning] L.I.R. Castro, P. Chaudhari, J. Tumova, S. Karaman, E. Frazzoli, D. Rus, CDC 2013. Incremental version of minimum violation planning.
	* <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging for concurrent systems] E.L. Gunter and D. Peled, TACAS 2002. Detail on finite LTL and translation to finite automaton</p>		* <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging for concurrent systems] E.L. Gunter and D. Peled, TACAS 2002. Detail on finite LTL and translation to finite automaton</p>