Model-Based Design and Qualification of Complex Systems - Revision history

Murray: /* Related Activities */

2015-11-26T02:43:44Z

Related Activities

← Older revision		Revision as of 02:43, 26 November 2015
Line 222:		Line 222:

	[[Category:Completed projects]]		[[Category:Completed projects]]
	{{#set: agency=~~AFOSR~~ \| end date = 2011}}		{{#set: agency=Boeing \| end date = 2011}}

Murray at 02:37, 26 November 2015

2015-11-26T02:37:06Z

← Older revision		Revision as of 02:37, 26 November 2015
Line 220:		Line 220:
	* [[Workshop: Specification and Verification of Embedded Systems]] - (Caltech, October 2008)		* [[Workshop: Specification and Verification of Embedded Systems]] - (Caltech, October 2008)
	* [[Caltech Workshop on Verification and Validation]] - September 23-24, 2009		* [[Caltech Workshop on Verification and Validation]] - September 23-24, 2009

			[[Category:Completed projects]]
			{{#set: agency=AFOSR \| end date = 2011}}

Murray at 19:54, 22 February 2012

2012-02-22T19:54:19Z

← Older revision		Revision as of 19:54, 22 February 2012
Line 3:		Line 3:
	{\| width=100%		{\| width=100%
	\|- valign=top		\|- valign=top
	\| width=30% \| ~~Current participants~~:		\| width=40% \| Participants:
	* Scott Livingston
	* {{Pete Trautman}}
	* {{Ufuk Topcu}}
	~~* Eric Wolff*~~

	~~<small><nowiki>* External funding</nowiki></small>~~
	~~\| Past participants:~~
	{\|
	~~\|- valign=top~~
	~~\| width=50% \|~~
	* David Alderson (CDS postdoc, NPS)		* David Alderson (CDS postdoc, NPS)
	* {{Julia Braman}}		* {{Julia Braman}}
Line 26:		Line 16:
	* {{Shou Han}}		* {{Shou Han}}
	* Tamas Keviczky (postdoc, CDS)		* Tamas Keviczky (postdoc, CDS)
	\|
	* Dimitry Kogan (CDS MS)		* Dimitry Kogan (CDS MS)
	* Oleg Kogan (PhD student, Physics)		* Oleg Kogan (PhD student, Physics)
			\| width=40% \| <br>
	* Tony Lee (PhD student, Physics)		* Tony Lee (PhD student, Physics)
	* Lun Li (PhD student, EE)		* Lun Li (PhD student, EE)
			* Scott Livingston
	* Alfred Martinez (PhD student, CDS)		* Alfred Martinez (PhD student, CDS)
	* Stephen Prajna (CDS PhD)		* Stephen Prajna (CDS PhD)
Line 36:		Line 27:
	* Demetri Spanos (PhD student, CDS)		* Demetri Spanos (PhD student, CDS)
	* Heywood Tam (PhD student, Physics)		* Heywood Tam (PhD student, Physics)
			* {{Ufuk Topcu}}
			* {{Pete Trautman}}
	* {{Johan Ugander}}		* {{Johan Ugander}}
	* Fei Wang (EE PhD; on leave)		* Fei Wang (EE PhD; on leave)
			* Eric Wolff*
	* {{Nok Wongpiromsarn}}		* {{Nok Wongpiromsarn}}
	\|}
	\|		\|
	__TOC__		__TOC__

Murray at 07:08, 22 February 2012

2012-02-22T07:08:58Z

← Older revision		Revision as of 07:08, 22 February 2012
Line 7:		Line 7:
	* {{Pete Trautman}}		* {{Pete Trautman}}
	* {{Ufuk Topcu}}		* {{Ufuk Topcu}}
	* Eric Wolff		* Eric Wolff*

			<small><nowiki>* External funding</nowiki></small>
	\| Past participants:		\| Past participants:
	{\|		{\|

Murray: /* Publications */

2012-02-21T07:07:48Z

Publications

@@ Line 54: / Line 54: @@
 == Publications ==
 '''2009-10'''
 * D. Gayme, ''A robust control approach to understanding nonlinear mechanisms in shear flow turbulence''.  PhD thesis, Control and Dynamical Systems, Caltech, 2010.

Murray at 07:01, 21 February 2012

2012-02-21T07:01:14Z

← Older revision		Revision as of 07:01, 21 February 2012
Line 19:		Line 19:
	* Stefano di Cairano (Visiting student, U. Siena)		* Stefano di Cairano (Visiting student, U. Siena)
	* [http://www.cds.caltech.edu/~doyle John Doyle]		* [http://www.cds.caltech.edu/~doyle John Doyle]
			* Noel du Toit (Postdoc, CDS)
	* Michael Epstein (PhD student, ME)		* Michael Epstein (PhD student, ME)
	* Dennice Gayme (PhD student, CDS)		* Dennice Gayme (PhD student, CDS)

Murray at 17:21, 26 November 2011

2011-11-26T17:21:42Z

← Older revision		Revision as of 17:21, 26 November 2011
Line 3:		Line 3:
	{\| width=100%		{\| width=100%
	\|- valign=top		\|- valign=top
	\| Current participants:		\| width=30% \| Current participants:
	* ~~{{Andrea Censi}}~~		* Scott Livingston
	* Dennice Gayme (PhD student, CDS)
	* {{Shou Han}}
	* Oleg Kogan (PhD student, Physics)
	* Tony Lee (PhD student, Physics)
	* {{Dominic Rizzo}}
	* Heywood Tam (PhD student, Physics)
	* {{Pete Trautman}}		* {{Pete Trautman}}
	* {{Ufuk Topcu}}		* {{Ufuk Topcu}}
	* ~~{{Nok Wongpiromsarn}}~~		* Eric Wolff
	\| Past participants:		\| Past participants:
			{\|
			\|- valign=top
			\| width=50% \|
	* David Alderson (CDS postdoc, NPS)		* David Alderson (CDS postdoc, NPS)
	* {{Julia Braman}}		* {{Julia Braman}}
			* {{Andrea Censi}}
	* Lijun Chen (CDS PhD, postdoc)		* Lijun Chen (CDS PhD, postdoc)
	* Lars Cremean (ME PhD, Aerovironment)		* Lars Cremean (ME PhD, Aerovironment)
Line 22:		Line 20:
	* [http://www.cds.caltech.edu/~doyle John Doyle]		* [http://www.cds.caltech.edu/~doyle John Doyle]
	* Michael Epstein (PhD student, ME)		* Michael Epstein (PhD student, ME)
			* Dennice Gayme (PhD student, CDS)
			* {{Shou Han}}
	* Tamas Keviczky (postdoc, CDS)		* Tamas Keviczky (postdoc, CDS)
			\|
	* Dimitry Kogan (CDS MS)		* Dimitry Kogan (CDS MS)
			* Oleg Kogan (PhD student, Physics)
			* Tony Lee (PhD student, Physics)
	* Lun Li (PhD student, EE)		* Lun Li (PhD student, EE)
	* Alfred Martinez (PhD student, CDS)		* Alfred Martinez (PhD student, CDS)
	* Stephen Prajna (CDS PhD)		* Stephen Prajna (CDS PhD)
			* {{Dominic Rizzo}}
	* Demetri Spanos (PhD student, CDS)		* Demetri Spanos (PhD student, CDS)
			* Heywood Tam (PhD student, Physics)
	* {{Johan Ugander}}		* {{Johan Ugander}}
	* Fei Wang (EE PhD; on leave)		* Fei Wang (EE PhD; on leave)
			* {{Nok Wongpiromsarn}}
			\|}
	\|		\|
	__TOC__		__TOC__

Murray: /* Publications */

2010-06-28T13:31:19Z

Publications

← Older revision		Revision as of 13:31, 28 June 2010
Line 47:		Line 47:
	== Publications ==		== Publications ==
	'''2009-10'''		'''2009-10'''
			* D. Gayme, ''A robust control approach to understanding nonlinear mechanisms in shear flow turbulence''. PhD thesis, Control and Dynamical Systems, Caltech, 2010.
			* D. Gayme, B. McKeon, A. Papachristodoulou, B. Bamieh and J. C. Doyle, "A streamwise constant model of turbulence in plane Couette flow". ''Journal of Fluid Mechanics'', 2010 (submitted).
	* Shuo Han, Andrea Censi, Andrew D. Straw, and Richard M. Murray, "A bio-plausible design for visual pose stabilization", International Conference on Intelligent Robots and Systems (IROS), 2010 (to appear).		* Shuo Han, Andrea Censi, Andrew D. Straw, and Richard M. Murray, "A bio-plausible design for visual pose stabilization", International Conference on Intelligent Robots and Systems (IROS), 2010 (to appear).
	* Peter Trautman and Andreas Krause, "Unfreezing the Robot: Navigation in Dense, Interacting Crowds". International Conference on Intelligent Robots and Systems, 2010 (to appear).		* Peter Trautman and Andreas Krause, "Unfreezing the Robot: Navigation in Dense, Interacting Crowds". International Conference on Intelligent Robots and Systems, 2010 (to appear).

Murray: /* Publications */

2010-06-28T13:24:54Z

Publications

← Older revision		Revision as of 13:24, 28 June 2010
Line 48:		Line 48:
	'''2009-10'''		'''2009-10'''
	* Shuo Han, Andrea Censi, Andrew D. Straw, and Richard M. Murray, "A bio-plausible design for visual pose stabilization", International Conference on Intelligent Robots and Systems (IROS), 2010 (to appear).		* Shuo Han, Andrea Censi, Andrew D. Straw, and Richard M. Murray, "A bio-plausible design for visual pose stabilization", International Conference on Intelligent Robots and Systems (IROS), 2010 (to appear).
	* Peter Trautman and Andreas Krause, "Unfreezing the Robot: Navigation in Dense, Interacting Crowds". International Conference on Intelligent Robots and Systems, 2010 (~~submitted~~).		* Peter Trautman and Andreas Krause, "Unfreezing the Robot: Navigation in Dense, Interacting Crowds". International Conference on Intelligent Robots and Systems, 2010 (to appear).
	* Ufuk Topcu, T. Sullivan, M. McKerns, and H. Owhadi, "Uncertainty quantification via codimension-one partitioning". ''International Journal on Numerical Methods in Engineering'', 2010 (submitted)		* Ufuk Topcu, T. Sullivan, M. McKerns, and H. Owhadi, "Uncertainty quantification via codimension-one partitioning". ''International Journal on Numerical Methods in Engineering'', 2010 (submitted)
	* Ufuk Topcu, L. Lucas, H. Owhadi, and M. Ortiz, "Rigorous uncertainty quantification without integral testing". ''Reliability Engineering and System Safety'', 2010 (submitted).		* Ufuk Topcu, L. Lucas, H. Owhadi, and M. Ortiz, "Rigorous uncertainty quantification without integral testing". ''Reliability Engineering and System Safety'', 2010 (submitted).

Nok: /* Publications */

2010-06-22T22:47:24Z

Publications

← Older revision		Revision as of 22:47, 22 June 2010
Line 51:		Line 51:
	* Ufuk Topcu, T. Sullivan, M. McKerns, and H. Owhadi, "Uncertainty quantification via codimension-one partitioning". ''International Journal on Numerical Methods in Engineering'', 2010 (submitted)		* Ufuk Topcu, T. Sullivan, M. McKerns, and H. Owhadi, "Uncertainty quantification via codimension-one partitioning". ''International Journal on Numerical Methods in Engineering'', 2010 (submitted)
	* Ufuk Topcu, L. Lucas, H. Owhadi, and M. Ortiz, "Rigorous uncertainty quantification without integral testing". ''Reliability Engineering and System Safety'', 2010 (submitted).		* Ufuk Topcu, L. Lucas, H. Owhadi, and M. Ortiz, "Rigorous uncertainty quantification without integral testing". ''Reliability Engineering and System Safety'', 2010 (submitted).
	* Nok Wongpiromsarn, Sayan Mitra, Richard M. Murray, and Andrew Lamperski. Verification of Periodically Controlled Hybrid Systems: Application to An Autonomous Vehicle. ACM Transactions in Embedded Computing Systems (ACM TECS), Special Issue on the Verification of Cyber-Physical Software Systems (accepted).		* Nok Wongpiromsarn, Sayan Mitra, Richard M. Murray, and Andrew Lamperski. "Verification of Periodically Controlled Hybrid Systems: Application to An Autonomous Vehicle". ''ACM Transactions in Embedded Computing Systems (ACM TECS), Special Issue on the Verification of Cyber-Physical Software Systems'' (accepted).
	* Nok Wongpiromsarn, Ufuk Topcu, and Richard M. Murray. "Receding Horizon Temporal Logic Planning". IEEE Transactions on Automatic Control (submitted).		* Nok Wongpiromsarn, Ufuk Topcu, and Richard M. Murray. "Receding Horizon Temporal Logic Planning". ''IEEE Transactions on Automatic Control'' (submitted).
	* Nok Wongpiromsarn, Ufuk Topcu and Richard M. Murray, "Automatic synthesis of robust embedded control software". Proceedings of the AAAI 2010 Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems.		* Nok Wongpiromsarn, Ufuk Topcu and Richard M. Murray, "Automatic synthesis of robust embedded control software". Proceedings of the AAAI 2010 Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems.
	* Nok Wongpiromsarn, Ufuk Topcu and Richard M. Murray, "Receding horizon control for temporal logic specifications". Proceedings of the International Conference on Hybrid Systems: Computation and Control (HSCC), 2010.		* Nok Wongpiromsarn, Ufuk Topcu and Richard M. Murray, "Receding horizon control for temporal logic specifications". Proceedings of the International Conference on Hybrid Systems: Computation and Control (HSCC), 2010.