https://www.cds.caltech.edu/~murray/wiki/api.php?action=feedcontributions&user=Murray&feedformat=atomMurrayWiki - User contributions [en]2020-02-17T22:16:36ZUser contributionsMediaWiki 1.23.12https://www.cds.caltech.edu/~murray/wiki/index.php?title=Group_Schedule,_Winter_2020Group Schedule, Winter 20202020-02-14T23:16:30Z<p>Murray: /* Week 9: 2-6 Mar */</p>
<hr />
<div>This page contains information about various upcoming events that are of interest to the group. __NOTOC__<br />
{| width=60%<br />
|- valign=top<br />
| width=50% |<br />
* [[Schedule|Richard's calendar (travel)]]<br />
| width=50% |<br />
* [[Group Schedule, Fall 2019]]<br />
|}<br />
<br />
The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck and NCS meetings are in 110 Steele.<br />
<br />
{| width=100% border=1<br />
|- valign=top<br />
<br />
| width=25% |<br />
=== Week 1: 6-10 Jan ===<br />
'''Biocircuits: <s>Tue, 10a-12p</s> <font color=blue>Thu, 9a-11a</font>'''<br />
* Andrey<br />
* James<br />
'''NCS: Wed, 2p-3p'''<br />
* Chuchu<br />
<br />
| width=25% |<br />
<br />
=== Week 2: 13-17 Jan===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1G5EExMEddM0j4MsxgDDn4i1rqZlicP1NFRZwufi_9RU/|Individual updates]]<br />
* Meeting may shift to 9a-11a<br />
'''NCS: Wed, <s>2p-3p</s> <font color=blue>1:30p-2:30p</font>'''<br />
* Francesca<br />
| width=25% |<br />
<br />
=== Week 3: 20-24 Jan ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* TBD<br />
'''NCS: Wed, 2p-3p'''<br />
* Prithvi<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 4: 27-31 Jan ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* John<br />
* Reed<br />
* Meeting may shift to 3p-5p<br />
'''NCS: Wed, 2p-3p'''<br />
* Sumanth<br />
<br />
|- valign=top<br />
| width=25% |<br />
<br />
=== Week 5: 3-7 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1mk32NlP3jCZOVcuGsfP7EWW7jrn909-ySrUrmg3bNxQ|Individual updates]]<br />
'''NCS: Wed, 2p-3p'''<br />
* Karena<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 6: 10-14 Feb ===<br />
'''Biocircuits: Tue, 9a-11a'''<br />
* Box, HPC<br />
'''NCS: Wed, 2p-3p'''<br />
* Richard C<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 7: 17-21 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* Leo<br />
* Sam<br />
'''NCS: Wed, 2p-3p'''<br />
* Yuxiao<br />
<br />
| width=25% |<br />
<br />
=== Week 8: 24-28 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1N4256hP3pr9ja3Qr4DYYDCnD9XOJeyc2cwBHU5Y2RUQ|Individual updates]]<br />
* Meeting may shift to 9a-11a<br />
'''NCS: Wed, 2p-3p'''<br />
* Reza<br />
<!-- hr --><br />
<br />
|- valign=top<br />
| width=25% |<br />
<br />
=== Week 9: 2-6 Mar ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* Liana<br />
* Sophie<br />
'''NCS: Wed, 2p-3p'''<br />
* Shuyue<br />
<br />
| width=25% |<br />
<br />
=== Week 10: 9-13 Mar ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* Ayush<br />
* Cindy<br />
* Meeting may be cancelled<br />
'''NCS: Wed, 2p-3p'''<br />
* Tung<br />
* Meeting may be cancelled<br />
<br />
| width=25% |<br />
<br />
=== Week 11: 16-20 Mar ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1Fe9_7Y9qM6UqJLlByVmxeJ7PPTLwMiFUcbowFfT0Bho|Individual updates]]<br />
* Meeting may be cancelled<br />
'''NCS: Wed, 2p-3p'''<br />
* Apurva<br />
* Meeting may be cancelled<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 12: 23-27 Mar ===<br />
* Spring break<br />
<br />
|}</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Group_Schedule,_Winter_2020Group Schedule, Winter 20202020-02-11T17:09:44Z<p>Murray: /* Week 6: 10-14 Feb */</p>
<hr />
<div>This page contains information about various upcoming events that are of interest to the group. __NOTOC__<br />
{| width=60%<br />
|- valign=top<br />
| width=50% |<br />
* [[Schedule|Richard's calendar (travel)]]<br />
| width=50% |<br />
* [[Group Schedule, Fall 2019]]<br />
|}<br />
<br />
The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck and NCS meetings are in 110 Steele.<br />
<br />
{| width=100% border=1<br />
|- valign=top<br />
<br />
| width=25% |<br />
=== Week 1: 6-10 Jan ===<br />
'''Biocircuits: <s>Tue, 10a-12p</s> <font color=blue>Thu, 9a-11a</font>'''<br />
* Andrey<br />
* James<br />
'''NCS: Wed, 2p-3p'''<br />
* Chuchu<br />
<br />
| width=25% |<br />
<br />
=== Week 2: 13-17 Jan===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1G5EExMEddM0j4MsxgDDn4i1rqZlicP1NFRZwufi_9RU/|Individual updates]]<br />
* Meeting may shift to 9a-11a<br />
'''NCS: Wed, <s>2p-3p</s> <font color=blue>1:30p-2:30p</font>'''<br />
* Francesca<br />
| width=25% |<br />
<br />
=== Week 3: 20-24 Jan ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* TBD<br />
'''NCS: Wed, 2p-3p'''<br />
* Prithvi<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 4: 27-31 Jan ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* John<br />
* Reed<br />
* Meeting may shift to 3p-5p<br />
'''NCS: Wed, 2p-3p'''<br />
* Sumanth<br />
<br />
|- valign=top<br />
| width=25% |<br />
<br />
=== Week 5: 3-7 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1mk32NlP3jCZOVcuGsfP7EWW7jrn909-ySrUrmg3bNxQ|Individual updates]]<br />
'''NCS: Wed, 2p-3p'''<br />
* Karena<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 6: 10-14 Feb ===<br />
'''Biocircuits: Tue, 9a-11a'''<br />
* Box, HPC<br />
'''NCS: Wed, 2p-3p'''<br />
* Richard C<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 7: 17-21 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* Leo<br />
* Sam<br />
'''NCS: Wed, 2p-3p'''<br />
* Yuxiao<br />
<br />
| width=25% |<br />
<br />
=== Week 8: 24-28 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1N4256hP3pr9ja3Qr4DYYDCnD9XOJeyc2cwBHU5Y2RUQ|Individual updates]]<br />
* Meeting may shift to 9a-11a<br />
'''NCS: Wed, 2p-3p'''<br />
* Reza<br />
<!-- hr --><br />
<br />
|- valign=top<br />
| width=25% |<br />
<br />
=== Week 9: 2-6 Mar ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* Liana<br />
* Sophie<br />
'''NCS: Wed, 2p-3p'''<br />
* UG/visitor<br />
<br />
| width=25% |<br />
<br />
=== Week 10: 9-13 Mar ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* Ayush<br />
* Cindy<br />
* Meeting may be cancelled<br />
'''NCS: Wed, 2p-3p'''<br />
* Tung<br />
* Meeting may be cancelled<br />
<br />
| width=25% |<br />
<br />
=== Week 11: 16-20 Mar ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1Fe9_7Y9qM6UqJLlByVmxeJ7PPTLwMiFUcbowFfT0Bho|Individual updates]]<br />
* Meeting may be cancelled<br />
'''NCS: Wed, 2p-3p'''<br />
* Apurva<br />
* Meeting may be cancelled<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 12: 23-27 Mar ===<br />
* Spring break<br />
<br />
|}</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=David_Garcia,_13_Feb_2020David Garcia, 13 Feb 20202020-02-11T00:50:07Z<p>Murray: </p>
<hr />
<div>David Garcia, a PhD student working at Oak Ridge National Laboratory (ORNL) will visit Caltech on 13 Feb (Thu). If you would like to meet with him, sign up here (using your IMSS credentials).<br />
<br />
=== Schedule ===<br />
* 9:15 am: Richard (107 Steele Lab)<br />
* 10:00 am: Seminar<br />
* 11:00 am: Zoila<br />
* 11:45 am: Lunch (Michaelle, Chelsea)<br />
* 1:00 pm: Open<br />
* 1:45 pm: Open<br />
* 2:30 pm: Open<br />
* 3:15 pm: Open<br />
* 4:00 pm: Open<br />
* 4:45 pm: Wrap up meet with Richard<br />
<br />
=== Seminar ===<br />
<br />
Cell-Free Enabled Bioproduction and Biological Discovery <br><br />
David Garcia, The University of Tennessee, Knoxville and Oak Ridge National Laboratory<br><br />
<br />
13 Feb (Thu), 10a-11a, 114 Steele<br />
<br />
As our understanding of the microbial world has progressed, so too has the backlog of information and open questions generated from the thousands uncharacterized proteins and metabolites with potential applications as biofuels, therapeutics, and biomaterials. To address this problem, new tools need to be developed in order to rapidly test and take advantage of uncharacterized proteins and metabolites. Cell-free systems have developed into a high-throughput and scalable tool for synthetic biology and metabolic engineering with applications across multiple disciplines. The work presented in this talk leverages cell-free systems as a conduit for the exploration of protein function and metabolite production using two complementary approaches. The first elucidates interaction networks associated with secondary metabolite production using a computationally assisted pathway description pipeline that employs bioinformatic searches of genome databases, structural modeling, and ligand-docking simulations to predict the gene products most likely to be involved in a metabolic pathway. In vitro reconstructions of the pathway are then modularly assembled and chemically verified in Escherichia coli lysates in order to differentiate between active and inactive pathways. The second takes a systems and synthetic biology approach to engineer E. coli extracts capable of directing flux towards specific metabolites. Using growth and genome engineering-based methods, we produced cell-free proteomes capable of creating unconventional metabolic states with minimal impact on the cell in vivo. As a result of this work, we have significantly expanded our ability to use cell extracts outside of their native context to solve metabolic engineering problems and provide engineers new tools that can rapidly explore the functions of proteins and test novel metabolic pathways.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=David_Garcia,_13_Feb_2020David Garcia, 13 Feb 20202020-02-10T21:26:54Z<p>Murray: </p>
<hr />
<div>David Garcia, a PhD student working at Oak Ridge National Laboratory (ORNL) will visit Caltech on 13 Feb (Thu). If you would like to meet with him, sign up here (using your IMSS credentials).<br />
<br />
=== Schedule ===<br />
* 9:15 am: Richard (107 Steele Lab)<br />
* 10:00 am: Seminar<br />
* 11:00 am: Open<br />
* 11:45 am: Lunch (Michaelle, Chelsea)<br />
* 1:00 pm: Open<br />
* 1:45 pm: Open<br />
* 2:30 pm: Open<br />
* 3:15 pm: Open<br />
* 4:00 pm: Open<br />
* 4:45 pm: Wrap up meet with Richard<br />
<br />
=== Seminar ===<br />
<br />
Cell-Free Enabled Bioproduction and Biological Discovery <br><br />
David Garcia, The University of Tennessee, Knoxville and Oak Ridge National Laboratory<br><br />
<br />
111 Keck or 114 Steele for Thu, 10a-11a<br />
<br />
As our understanding of the microbial world has progressed, so too has the backlog of information and open questions generated from the thousands uncharacterized proteins and metabolites with potential applications as biofuels, therapeutics, and biomaterials. To address this problem, new tools need to be developed in order to rapidly test and take advantage of uncharacterized proteins and metabolites. Cell-free systems have developed into a high-throughput and scalable tool for synthetic biology and metabolic engineering with applications across multiple disciplines. The work presented in this talk leverages cell-free systems as a conduit for the exploration of protein function and metabolite production using two complementary approaches. The first elucidates interaction networks associated with secondary metabolite production using a computationally assisted pathway description pipeline that employs bioinformatic searches of genome databases, structural modeling, and ligand-docking simulations to predict the gene products most likely to be involved in a metabolic pathway. In vitro reconstructions of the pathway are then modularly assembled and chemically verified in Escherichia coli lysates in order to differentiate between active and inactive pathways. The second takes a systems and synthetic biology approach to engineer E. coli extracts capable of directing flux towards specific metabolites. Using growth and genome engineering-based methods, we produced cell-free proteomes capable of creating unconventional metabolic states with minimal impact on the cell in vivo. As a result of this work, we have significantly expanded our ability to use cell extracts outside of their native context to solve metabolic engineering problems and provide engineers new tools that can rapidly explore the functions of proteins and test novel metabolic pathways.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-10T14:54:41Z<p>Murray: </p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
{| width=100%<br />
|- valign=top <br />
| width=50% |<br />
==== Tuesday (11 Feb) ====<br />
* 11:40 am arrival in BUR<br />
* ~12:15 pm: arrival on campus<br />
* 12:15 pm: John Doyle (210 Annenberg)<br />
* 1:00 pm: Quick lunch (TBD)<br />
* 1:30 pm: Richard Murray (109 Steele Lab)<br />
* 2:00 pm: Open<br />
* 2:45 pm: Francesca (230 Annenberg)<br />
* 3:30 pm: Anima Anandkumar (316 Annenberg)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Katie Bouman (346 Annenberg)<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
| width=50% |<br />
<br />
==== Wednesday (12 Feb) ====<br />
* 8:45 am: Kamyar Azizzadenesheli (337 Annenberg)<br />
* 9:30 am: Richard Cheng (205 Gates Thomas)<br />
* 10:15 am: MJ Khojasteh (255 Moore Lab)<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Yisong Yue (303 Annenberg)<br />
* 2:00 pm: Aaron Ames (266 Gates-Thomas)<br />
* 2:30 pm: Meet with Ames' Students (121 Gates Thomas)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Angie Liu (315 Annenberg)<br />
* 4:00 pm: Sumanth (Steele Library, opposite 109 Steele Lab)<br />
* 4:30 pm: Wrap up meeting with Richard (109 Steele Lab)<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
|}<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=David_Garcia,_13_Feb_2020David Garcia, 13 Feb 20202020-02-10T06:15:53Z<p>Murray: Created page with "David Garcia, a PhD student working at Oak Ridge National Laboratory (ORNL) will visit Caltech on 13 Feb (Thu). If you would like to meet with him, sign up here (using your I..."</p>
<hr />
<div>David Garcia, a PhD student working at Oak Ridge National Laboratory (ORNL) will visit Caltech on 13 Feb (Thu). If you would like to meet with him, sign up here (using your IMSS credentials).<br />
<br />
=== Schedule ===<br />
* 9:15 am: Richard (107 Steele Lab)<br />
* 10:00 am: Seminar<br />
* 11:00 am: Open<br />
* 11:45 am: Lunch (Michaelle, Chelsea)<br />
* 1:00 pm: Open<br />
* 1:45 pm: Open<br />
* 2:30 pm: Open<br />
* 3:15 pm: Open<br />
* 4:00 pm: Open<br />
* 4:45 pm: Wrap up meet with Richard<br />
<br />
=== Seminar ===</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-10T06:03:32Z<p>Murray: </p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
{| width=100%<br />
|- valign=top <br />
| width=50% |<br />
==== Tuesday (11 Feb) ====<br />
* 11:40 am arrival in BUR<br />
* ~12:15 pm: arrival on campus<br />
* 12:15 pm: John Doyle (210 Annenberg)<br />
* 1:00 pm: Quick lunch (TBD)<br />
* 1:30 pm: Richard Murray (109 Steele Lab)<br />
* 2:00 pm: Open<br />
* 2:45 pm: Open<br />
* 3:30 pm: Anima Anandkumar (316 Annenberg)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Katie Bouman (346 Annenberg)<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
| width=50% |<br />
<br />
==== Wednesday (12 Feb) ====<br />
* 8:45 am: Kamyar Azizzadenesheli (337 Annenberg)<br />
* 9:30 am: Richard Cheng (205 Gates Thomas)<br />
* 10:15 am: MJ Khojasteh (255 Moore Lab)<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Yisong Yue (303 Annenberg)<br />
* 2:00 pm: Aaron Ames (266 Gates-Thomas)<br />
* 2:30 pm: Meet with Ames' Students (121 Gates Thomas)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Angie Liu (315 Annenberg)<br />
* 4:00 pm: Sumanth (Steele Library, opposite 109 Steele Lab)<br />
* 4:30 pm: Wrap up meeting with Richard (109 Steele Lab)<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
|}<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Main_PageMain Page2020-02-07T15:15:26Z<p>Murray: /* Group */</p>
<hr />
<div><table border=1 width=100%><br />
<tr><br />
<td align=center width=150px> [[Image:Murray-14Dec16.jpg|150px]]</td><br />
<td align=center><br />
<font size=5><br />
<b>Richard M. Murray</b><br><br><br />
</font><br />
<font size=3><br />
Thomas E. and Doris Everhart Professor of <br><br />
Control & Dynamical Systems and Bioengineering<br><br><br />
California Institute of Technology<br><br />
</font><br />
<font size=3><br><hr><br />
<table width=100%> __NOTOC__<br />
<tr><br />
<td width=20% align=center> [[Papers]]</td><br />
<td width=20% align=center> [[Research Overview|Research]]</td><br />
<td width=20% align=center> [[#Group|Group]]</td><br />
<td width=20% align=center> [[#Teaching|Teaching]]</td><br />
<td width=20% align=center> [[#Contact|Contact]]</td><br />
</tr></table></font></td><br />
<td align=center width=135px><br />
<font><br />
Quick Links:<br />
<br />
[[Group Schedule]] <br />
<br />
[[CMS 273]]<br />
<br />
[[AMwiki:Main_Page|''Feedback Systems'']]<br />
<br />
[[http:www.cds.caltech.edu/~murray/BFSwiki|''Biomolecular Feedback Systems'']]<br />
</font></td><br />
</tr></table><br />
<br><br />
<!-- '''Prospective graduate students''': Students in my group come through the [[http:www.cds.caltech.edu|CDS]], [[http:www.cms.caltech.edu/academics/grad_cms|CMS]], [[http:be.caltech.edu|BE]], [[http:/www.its.caltech.edu/~biochem|BMB]], [[http:www.cms.caltech.edu/academics/grad_acm|ACM]], [[http:www.cms.caltech.edu/academics/grad_cs|CS]] and [[http:www.me.caltech.edu|ME]] graduate programs at Caltech. Some of my students also come from the CNS and EE departments, but I do not actively participate in admissions decisions in those programs. Please take a look at my current [[Research Overview|research interests]] to get a sense of what my group is currently working on. --><br />
<!-- '''Prospective postdocs''': I typically make decisions about postdocs in the April-May timeframe, when I know what my grants look like for fall. Please take a look at my current [[Research Overview|research interests]] to see what projects we are currently working on. --><br />
<!-- Caltech has several postdoc programs that admit exceptionally qualified postdocs for independent study at Caltech:<br />
* Caltech [[http:cmi.caltech.edu|Center for the Mathematics of Information (CMI)]] postdocs - applications due mid-December<br />
* Caltech [[http:www.its.caltech.edu/~bi/fellows.html|Beckman Fellows program]] - applications due early January<br />
--><br />
== Research ==<br />
My group's research is in the application of feedback and control to networked systems, with applications in biology and autonomy. Current projects include work on biomolecular feedback systems, novel architectures for control systems, and networked control systems (see my [[Research Overview|research overview]] for more details).<br />
<br />
{| border=1 style="float: right"<br />
|-<br />
|<br />
[[Preprint archive]] <br><br />
[http://thesis.library.caltech.edu/view/advisor/Murray-R-M.html Caltech theses]<br><br />
[http://scholar.google.com/scholar?q=author:richard-m-murray Google Scholar]<br />
|}<br />
Active projects:<br />
{{#ask:<br />
[[Category:Active projects]]<br />
| ?agency = <br />
| format = ul<br />
| sort=Start date<br />
| order=descending<br />
}}<br />
[[Projects|<nowiki>[Archive]</nowiki>]]<br />
<br />
== Group ==<br />
<br />
<blockquote><br />
{| width=100% border=0 cellpadding=0 cellspacing=0<br />
|- valign=top<br />
| width=33% | <br />
{|<br />
{{group entry|Apurva Badithela|CDS}}<br />
{{group entry|Francesca Baldini*|Ae}}<br />
{{group entry|[[http:karenacai.com|Karena Cai]]|CDS}}<br />
{{group entry|[[http:rcheng805.github.io|Richard Cheng]]*|ME}}<br />
{{group entry|Samuel Clamons|BE}}<br />
{{group entry|[[http:dathath.github.io|Sumanth Dathathri]]|CMS}}<br />
{{group entry|Chuchu Fan|CMS}}<br />
{{group entry|Josefine Graebener|AS}}<br />
{{group entry|Leopold Green|BBE}}<br />
<!-- {{group entry|Andrew Halleran|BE}} --><br />
|}<br />
| width=33% | <br />
{|<br />
{{group entry|Chelsea Hu|BE}}<br />
{{group entry|Zoila Jurado*|ME}}<br />
{{group entry|Elin Larsson#|EAS}}<br />
{{group entry|John Marken|BE}}<br />
{{group entry|[[http:www.its.caltech.edu/~mmayalu/mmayalu|Michaelle Mayalu]]|CMS}}<br />
{{group entry|Reed McCardell|BE}}<br />
{{group entry|Liana Merk†|BE}}<br />
<!-- {{group entry|Joe Meyerowitz|BMB}} --><br />
{{group entry|[[http:ayush-pandey.github.io|Ayush Pandey]]|EE}}<br />
{{group entry|James Parkin|BE}}<br />
|}<br />
| width=33% | <br />
{|<br />
{{group entry|Tung Phan|ME}}<br />
{{group entry|William Poole*|CNS}}<br />
{{group entry|Mark Prator#|EAS}}<br />
{{group entry|Xinying (Cindy) Ren|CDS}}<br />
{{group entry|Andrey Shur|BE}}<br />
{{group entry|Sophie Walton†|BE}}<br />
{{group entry|Rory Williams|BE}}<br />
{{group entry|Shuyue Yu†|IDS}}<br />
{{group entry|Miki Yun#|EAS}}<br />
|}<br />
|}<br />
</blockquote><br />
<font size="-2"><br />
{| width=100%<br />
|-<br />
| * co-advised students || + visiting researchers <br />
| ° rotation students || † undergraduates || # research tech<br />
|}<br />
</font><br />
<!-- 16 PhD students (+3 joint); 4 postdocs --><br />
<br />
==== Former graduate students: ====<br />
<!-- 64 PhD students (52 primary; 12 joint); 28 postdocs (incl. 1 visiting); 7 MS students --><br />
* Vipul Singhal - PhD in Computation and Neural Systems, June 2018<br />
* Ania Baetica - PhD in Control and Dynamical Systems, May 2018<br />
* Ioannis Filippidis - PhD in Control and Dynamical Systems, December 2017<br />
* Anandh Swaminathan - PhD in Control and Dynamical Systems, December 2017<br />
<br />
<blockquote><br />
{| width=100% border=0 cellpadding=0 cellspacing=0<br />
|- valign=top<br />
| width=33% | <br />
<table><br />
<tr><td> Dionysios Barmpoutis [http://resolver.caltech.edu/CaltechTHESIS:12102011-161913831 (thesis)]</td></tr><br />
<tr><td>[http://www.jsc.nasa.gov/Bios/htmlbios/behnken-rl.html Robert Behnken] [http://www.cds.caltech.edu/~murray/papers/1996_rlb96-phd.html (thesis)]</td></tr><br />
<tr><td>[http://www.its.caltech.edu/~braman/ Julia Badger (Braman)] [http://resolver.caltech.edu/CaltechETD:etd-05292009-111937 (thesis)]</td></tr><br />
<tr><td>[http://motion.mee.ucsb.edu/ Francesco Bullo] [http://www.cds.caltech.edu/~murray/papers/1998_fb98-phd.html (thesis)]</td></tr><br />
<tr><td>[http://www.vuse.vanderbilt.edu/~bobbyb/ Robert Bodenheimer]*</td></tr><br />
<tr><td>John Carson [http://thesis.library.caltech.edu/1664/ (thesis)]</td></tr><br />
<tr><td> [[http:censi.mit.edu|Andrea Censi]] [http://thesis.library.caltech.edu/7248/ (thesis)]</td></tr><br />
<tr><td> Benson Christalin# </td></tr><br />
<tr><td>[http://robotics.caltech.edu/~timothyc/ Tim Chung*]</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~lars Lars Cremean] [http://www.cds.caltech.edu/~murray/papers/2006_lbc06-phd.html (thesis)]</td></tr><br />
<tr><td>Nadine Dabby* </td></tr><br />
<tr><td>[http://www.mae.cornell.edu/Raff/ Raff D'Andrea*]</td></tr><br />
<tr><td>[http://www.its.caltech.edu/~feakins/index.html Samantha (Feakins) Daly#]</td></tr><br />
<tr><td>Emzo de los Santos [http://resolver.caltech.edu/CaltechTHESIS:05182015-163708506 (thesis)]<br />
<tr><td>[http://www.mit.edu/~ddv/ Domitilla Del Vecchio] [http://www.cds.caltech.edu/~murray/papers/2005_ddv05-phd.html (thesis)]</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~mjdunlop Mary Dunlop] [http://resolver.caltech.edu/CaltechETD:etd-05302008-141602 (thesis)]</td></tr><br />
<tr><td>[http://www.soe.ucsc.edu/~dunbar/ William Dunbar] [http://resolver.caltech.edu/CaltechETD:etd-05282004-170123 (thesis)]</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~epstein/ Michael Epstein] [http://resolver.caltech.edu/CaltechETD:etd-12192007-153619 (thesis)]</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~fax Alex Fax] [http://www.cds.caltech.edu/~murray/papers/2002_fax02-phd.html (thesis)]</td></tr><br />
<tr><td>Anthony Fragoso [http://resolver.caltech.edu/CaltechTHESIS:10242017-193520989 (thesis)]</td></tr><br />
<tr><td>[http://www.media.mit.edu/~minster/ Sawyer Fuller] (thesis)</td></tr><br />
<tr><td>Melvin Flores [http://resolver.caltech.edu/CaltechETD:etd-02192008-153449 (thesis)]</td></tr><br />
<tr><td>[http://www.engr.ucr.edu/~efranco Elisa Franco] [http://resolver.caltech.edu/CaltechTHESIS:10192011-161454857 (thesis)]</td></tr><br />
</table><br />
| width=33% | <br />
<table><br />
<tr><td>[http://www.cds.caltech.edu/~fung Jimmy Fung] [http://resolver.caltech.edu/CaltechETD:etd-05272005-165938/ (thesis)]</td></tr><br />
<tr><td>[http://caltech.academia.edu/MarcellaGomez Marcella Gomez] [http://resolver.caltech.edu/CaltechTHESIS:08282014-165029252 (thesis)]</td></tr><br />
<tr><td>[http://www.chbe.gatech.edu/grover/ Martha Grover (Gallivan)] [http://www.cds.caltech.edu/~murray/papers/2002_mag02-phd.html (thesis)]</td></tr><br />
<tr><td>Shaobin Guo [http://resolver.caltech.edu/CaltechTHESIS:03082017-163613964 (thesis)]</td></tr><br />
<tr><td>[http://ee.nd.edu/faculty/vgupta/ Vijay Gupta] [http://resolver.caltech.edu/CaltechETD:etd-08172006-130145 (thesis)]</td></tr><br />
<tr><td>Sonja Glavaski*</td></tr><br />
<tr><td>[[http:fling.seas.upenn.edu/~hanshuo/cgi-bin/wordpress/|Shuo Han]] ([[http:resolver.caltech.edu/CaltechTHESIS:10162013-111333269|thesis]])</td></tr><br />
<tr><td>Adam Hayes*</td></tr><br />
<tr><td>[http://www.avl.umd.edu/people/director.html Sean Humbert] [http://www.cds.caltech.edu/~murray/papers/2005_jsh05-phd.html (thesis)]</td></tr><br />
{{PhD alum|Victoria Hsiao|option=BE|completed=May 2016|thesis=http:resolver.caltech.edu/CaltechTHESIS:05082016-170628018}}<br />
<tr><td>[http://www.seas.upenn.edu/~jadbabai Ali Jadbabaie*] [http://www.seas.upenn.edu/~jadbabai/papers/Phdthesis.pdf (thesis)]</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~jzp Zhipu Jin] [http://resolver.caltech.edu/CaltechETD:etd-09182006-162259 (thesis)]</td></tr><br />
<tr><td>Vanessa Jonsson [http://resolver.caltech.edu/CaltechTHESIS:10132015-121212703 (thesis)]</td></tr><br />
<tr><td>[http://www.coe.uncc.edu/~skelly52/ Scott Kelly] [http://www.cds.caltech.edu/~murray/papers/1998_sdk98-phd.html (thesis)]</td></tr><br />
<tr><td> [http://www.linkedin.com/pub/1/446/a84 Dmitriy Kogan#] </td></tr><br />
<tr><td> [http://www.ee.columbia.edu/~lavaei Javad Lavaei*] [http://thesis.library.caltech.edu/6391/ (thesis)]</td></tr><br />
<tr><td>[http://www.mast.queensu.ca/~andrew/ Andrew Lewis] [http://www.cds.caltech.edu/~murray/papers/1995_adl95-phd.html (thesis)] </td></tr><br />
{{PhD alum|[[http:scottman.net/|Scott Livingston]]|option=CDS|completed=Dec 2015|thesis=http://resolver.caltech.edu/CaltechTHESIS:12312015-131513787}}<br />
<tr><td>[http://www.seas.ucla.edu/~mcloskey/ Robert M'Closkey] [http://www.cds.caltech.edu/~murray/papers/1994_rtm94-phd.html (thesis)]</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~milam/ Mark Milam] [http://www.cds.caltech.edu/~murray/papers/2003_milam03-phd.html (thesis)]</td></tr><br />
<tr><td>Michiel van Nieuwstadt [http://www.cds.caltech.edu/~murray/papers/1996_mvn96-phd.html (thesis)]</td></tr><br />
<tr><td> Ivan Papusha [http://resolver.caltech.edu/CaltechTHESIS:06032016-102336160 (thesis)]</td></tr><br />
<tr><td>[http://www.math.umbc.edu/~muruhan/ Muruhan Rathinam] [http://www.cds.caltech.edu/~murray/papers/1997_mr97-phd.html (thesis)]</td></tr><br />
</table><br />
| width=33% | <br />
<table><br />
<tr><td>[http://weblamp.princeton.edu/cwrowley/ Clancy Rowley*]</td></tr><br />
<tr><td>[http://www.glue.umd.edu/~benshap/ Ben Shapiro] [http://www.cds.caltech.edu/~murray/papers/1999_bs99-phd.html (thesis)]</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~shiling/ Ling Shi] [http://resolver.caltech.edu/CaltechETD:etd-08272008-121822 (thesis)]</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~demetri Demetri Spanos] [http://www.cds.caltech.edu/~murray/papers/2006_dps06-phd.html (thesis)]</td></tr><br />
<tr><td>Zachary Sun [http://resolver.caltech.edu/CaltechTHESIS:10012015-221355676 (thesis)]/</td></tr><br />
<tr><td>[http://alumnus.caltech.edu/~sur/ Sudipto Sur] [http://www.cds.caltech.edu/~murray/papers/1997_ss97-phd.html (thesis)]</td></tr><br />
<tr><td> Anu Thubagere* [http://resolver.caltech.edu/CaltechTHESIS:06082017-194534497 (thesis)]</td></tr><br />
<tr><td>Amber Thweatt#</td></tr><br />
<tr><td>Jorge Tierno*</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~atiwari/ Abhishek Tiwari] [http://resolver.caltech.edu/CaltechETD:etd-05202007-135411 (thesis)]</td></tr><br />
<tr><td> Pete Trautman [http://resolver.caltech.edu/CaltechTHESIS:05182013-191132413 (thesis)]</td></tr><br />
<tr><td> Stephanie Tsuei#</td></tr><br />
<tr><td>David van Gogh#</td></tr><br />
<tr><td>Tony Vanelli# [http://www.cds.caltech.edu/~murray/papers/1997_cav97-eng.html (thesis)]</td></tr><br />
<tr><td>Ophelia Venturelli ([[http:resolver.caltech.edu/CaltechTHESIS:06072013-095239958|thesis]])</td></tr><br />
<tr><td>[http://www.mech.pku.edu.cn/robot/teacher/wangyong/ Yong Wang] [http://www.cds.caltech.edu/~murray/papers/2000_yw00-phd.html (thesis)]</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~waydo Steve Waydo*] [http://resolver.caltech.edu/CaltechETD:etd-11022007-104734 (thesis)]</td></tr><br />
<tr><td>[[http:www.cds.caltech.edu/~ewolff|Eric Wolff]] [http://resolver.caltech.edu/CaltechTHESIS:02172014-121159358/ (thesis)]</td></tr><br />
<tr><td>[http://robotics.caltech.edu/~nok Nok Wongpiromsarn] [http://thesis.library.caltech.edu/5864/ (thesis)]</td></tr><br />
<tr><td>Yong Wu [http://resolver.caltech.edu/CaltechTHESIS:08302017-121452132 (thesis)]</td></tr><br />
<tr><td>[[http:www.aero.umd.edu/~mumu/|Huan (Mumu) Xu]] ([[http:resolver.caltech.edu/CaltechTHESIS:05312013-103940337|thesis]])</td></tr><br />
{{PhD alum|Enoch Yeung|option=CDS|completed=Jan 2016|thesis=http:resolver.caltech.edu/CaltechThesis:05272016-145559554}}<br />
<tr><td>[http://www.linkedin.com/pub/3/a32/258 Simon Yeung] [http://www.cds.caltech.edu/~murray/papers/1998_chy98-phd.html (thesis)]</td></tr><br />
</table><br />
|}<br />
<font size="-2"># Masters or Engineers degree &nbsp;&nbsp; * Co-advised student</font><br />
</blockquote><br />
<br />
==== Former postdocs: ====<br />
* John McManus (2018-2019) - Visiting Postdoctoral Fellow<br />
* Jin Ge (2017-2018) - CMS Postdoctoral Fellow<br />
<blockquote><br />
{| width=100% border=0 cellpadding=0 cellspacing=0<br />
|- valign=top<br />
| width=33% | <br />
<table><br />
<tr><td>[http://www.cds.caltech.edu/~raktim Raktim Bhattacharya] (2002-04)</td></tr><br />
<tr><td>[http://www.niu.edu/faculty/coller.shtml Brianno Coller] (1995-97) </td></tr><br />
<tr><td>Noel du Toit (2011)</td></tr><br />
<tr><td>Samira Farahani (2014-15) </td></tr><br />
<tr><td>Sofie Haesaert (2016-2018) </td></tr><br />
<tr><td>Yutaka Hori (2013-2016) </td></tr><br />
<tr><td>[http://www.ece.louisville.edu/~t0inan01/ Tamer Inanc] (2002-04)</td></tr><br />
<tr><td>Jongmin Kim (2010-14)</td></tr><br />
<tr><td>[http://soslab.ee.washington.edu/mw/index.php/User:Klavins Eric Klavins]* (2001-03)</td></tr><br />
<tr><td>[http://cc.ee.ntu.edu.tw/~fengli/ Feng-Li Lian] (2001-02)</td></tr><br />
</table><br />
| width=33% | <br />
<table><br />
<tr><td>Jun Liu (2011-2012)</td></tr><br />
<tr><td>Catherine McGhan (2014-2016)</td></tr><br />
<tr><td>Yilin Mo (2013-15)</td></tr><br />
<tr><td>[http://www.aa.washington.edu/faculty/morgansen/ Kristi Morgansen] (1999-2001)</td></tr><br />
<tr><td>[http://www-sop.inria.fr/icare/personnel/morin/morin-personnel.html Pascal Morin] (1996-97)</td></tr><br />
<tr><td>[http://www.ece.ucsb.edu/~ymostofi/ Yasamin Mostofi] (2004-06)</td></tr><br />
<tr><td>Reza Olfati-Saber (2001-04)</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~izi/ Yizhar Or] (2007-09)</td></tr><br />
<tr><td>Necmiye Ozay (2010-13)</td></tr><br />
<tr><td>Pavithra Prabhakar (2011-12)</td></tr><br />
</table><br />
| width=33% | <br />
<table><br />
<tr><td>[http://cas.ensmp.fr/~petit/ Nicolas Petit] (2001-02)</td></tr><br />
<tr><td>Vasu Raman (2013-15)</td></tr><br />
<tr><td>[http://www.ee.kth.se/php/index.php?action=people&cmd=extended&peopleid=768 Henrik Sandberg] (2005-07)</td></tr><br />
<tr><td>Shaunak Sen (2011-12)</td></tr><br />
<tr><td>[http://me.nmsu.edu/~shashi/ B. N. Shashikanth*] (1998-2000)</td></tr><br />
<tr><td>Dan Siegal (2012-15)</td></tr><br />
<tr><td>[[http:www.its.caltech.edu/~astraw/|Andrew Straw*]] (2010)</td></tr><br />
<tr><td>Willem Sluis (1994-96)</td></tr><br />
<tr><td>[http://www.cds.caltech.edu/~herb/ Herbert Streumper] (1997-99)</td></tr><br />
<tr><td>Ufuk Topcu (2008-12)</td></tr><br />
</table><br />
|}<br />
</blockquote><br />
'''Additional group alumni:''' &nbsp; [[SURF alumni|SURF]] &nbsp;&nbsp; [[Undergraduate alumni|Senior thesis]] &nbsp;&nbsp; [[Visitors]]<br />
<br />
== Teaching ==<br />
The list below is the courses that I have taught at Caltech (or at least most of them). The course links will take you to the (current) course homepage, where you can find the syllabus, handouts, and homework sets. The links for specific terms take you to the course homepage for that term. Links to [[Teaching Archive|older courses]] are available on a separate page.<br />
<br />
<!--<br />
* BE/APh 162 - Physical Biology Laboratory ([http://www.rpgroup.caltech.edu/courses/aph162/2009/ Wi09])<br />
--><br />
* [[ACM/EE 116]] - Probability and Random Processes ([[ACM/EE_116,_Fall_2011|Fa11]])<br />
* [[BE 107]] - Exploring Biological Principles Through Bio-Inspired Design ([[BE 107, Spring 2015|Sp15]], [[BE 107, Spring 2016|Sp16]], [[BE 107, Spring 2019|Sp19]])<br />
* [[BE 150/Bi 250b]] - Systems Biology ([[Bi/BE_250c_Winter_2011|Wi11]], [[BE_150/Bi_250b_Winter_2012|Wi12]], [[BE_150/Bi_250b_Winter_2013|Wi13]], [[BE 150/Bi 250 Spring 2014|Sp14]])<br />
* [[CS/EE/ME 75]] - Introduction to Multi-Disciplinary Systems Engineering (04-05, 06-07, 10-11, [[CS/EE/ME 75, 2015-16|15-16]])<br />
* [[CDS 90]] - Senior Thesis in Control and Dynamical Systems (2004-2014)<br />
* [[CDS 101|CDS 101/110]] - Analysis and Design of Feedback Systems (Fa97, Fa01, [[http:www.cds.caltech.edu/~murray/courses/cds101/fa02|Fa02]], [[http:www.cds.caltech.edu/~murray/courses/cds101/fa03/|Fa03]], [[http:www.cds.caltech.edu/~murray/courses/cds101/fa04/|Fa04]], [[CDS 101/110a, Fall 2006|Fa06]], [[CDS 101/110a, Fall 2007|Fa07]], [[CDS 101/110a, Fall 2008|Fa08]], [[CDS 101/110a, Fall 2012|Fa12]], [[CDS 101/110, Fall 2015|Fa15]])<br />
* [[CDS 112]] - Optimization-Based Control (Wi98, Wi02, Wi03, Wi04, [[CDS 110b, Winter 2006|Wi06]], [[CDS 110b, Winter 2007|Wi07]], [[CDS 110b, Winter 2008|Wi08]])<br />
* [[CDS 131]] - Linear Systems Theory ([[CDS 131, Fall 2018|Fa18]], [[CDS 131, Fall 2019|Fa19]])<br />
* [[CDS 140]] - Differential Equations and Dynamical Systems ([[AM 101b/AM 125b/CDS 140a, Winter 2011|Wi11]], [[AM 101b/AM 125b/CDS 140a, Winter 2013|Wi13]], [[ACM 101b/AM 125b/CDS 140a, Winter 2014|Wi14]], [[CDS 140, Winter 2015|Wi15]])<br />
* [[CDS 240]] - Nonlinear Dynamical Systems ([[CDS 140b, Spring 2014|Sp14]], [[CDS 240, Spring 2016|Sp16]])<br />
* [[CDS 202]] - Geometry of Nonlinear Systems (Wi93, Wi94, [[http:www.cds.caltech.edu/~murray/courses/cds202/wi04/|Wi04]], [[CDS 202, Winter 2009|Wi09]], [[CDS 202, Spring 2013|Sp13]])<br />
* [[http:www.cds.caltech.edu/cs142|CS 142]] - Distributed Computing ([[CS 142, Fall 2017|Fa17]], [[CS 142, Fall 2019|Fa19]])<br />
* CS 143 - Communication Networks (Fa18)<br />
* [[Teaching Archive|Older courses]] (not taught in the last 10 years)<br />
* [[:Category:Guest lectures|Guest lectures]] - some individual lectures I have given in various courses<br />
<br />
== Contact ==<br />
{| width=100%<br />
|- valign=top<br />
| width=50% |<br />
==== Mailing Address ====<br />
Richard M. Murray<br><br />
Control and Dynamical Systems 107-81<br><br />
California Institute of Technology<br><br />
1200 E. California Blvd<br><br />
Pasadena, CA 91125 USA<br />
| width=50% |<br />
<br />
==== Contact information ====<br />
E-mail: murray@cds.caltech.edu <br><br />
Office: 109 Steele Lab, (626) 395-6460 <br><br />
Asst: Monica Nolasco, x4140 <br><br />
Labs: B112 Steele, 136 Keck<br />
|- valign=bottom<br />
|<br />
<br />
==== Other links ====<br />
[http://www.caltech.edu Caltech]<br><br />
[http://www.eas.caltech.edu Engineering and Applied Science]<br><br />
[http://cms.caltech.edu Computing and Mathematical Sciences]<br><br />
|<br />
[http://be.caltech.edu/ Bioengineering]<br><br />
[http://www.cds.caltech.edu Control and Dynamical Systems]<br><br />
[http://www.linkedin.com/in/murrayrm LinkedIn]<br />
|}</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-05T15:25:02Z<p>Murray: </p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
{| width=100%<br />
|- valign=top <br />
| width=50% |<br />
==== Tuesday (11 Feb) ====<br />
* 11:40 am arrival in BUR<br />
* ~12:15 pm: arrival on campus<br />
* 12:15 pm: John Doyle<br />
* 1:00 pm: Quick lunch (TBD)<br />
* 1:30 pm: Richard Murray (109 Steele Lab)<br />
* 2:00 pm: Open<br />
* 2:45 pm: Open<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Open (30 min)<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
| width=50% |<br />
<br />
==== Wednesday (12 Feb) ====<br />
* 8:45 am: Open<br />
* 9:30 am: Open<br />
* 10:15 am: Open<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Yisong Yue (303 Annenberg)<br />
* 2:00 pm: Aaron Ames (266 Gates-Thomas)<br />
* 2:30 pm: Meet with Ames' Students (121 Gates Thomas)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Open (30 min)<br />
* 4:30 pm: Wrap up meeting with Richard (109 Steele Lab)<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
|}<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-05T07:09:09Z<p>Murray: /* Wednesday (12 Feb) */</p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
{| width=100%<br />
|- valign=top <br />
| width=50% |<br />
==== Tuesday (11 Feb) ====<br />
* 11:40 am arrival in BUR<br />
* ~12:30 pm: arrival on campus<br />
* 12:30 pm: lunch with John Doyle (if available)<br />
* 1:30 pm: Richard Murray (109 Steele Lab)<br />
* 2:00 pm: Open<br />
* 2:45 pm: Open<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Open (30 min)<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
| width=50% |<br />
<br />
==== Wednesday (12 Feb) ====<br />
* 8:45 am: Open<br />
* 9:30 am: Open<br />
* 10:15 am: Open<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Yisong Yue (303 Annenberg)<br />
* 2:00 pm: Open (30 min)<br />
* 2:30 pm: Open (30 min)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Open (30 min)<br />
* 4:30 pm: Wrap up meeting with Richard (109 Steele Lab)<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
|}<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-05T07:08:59Z<p>Murray: /* Tuesday (11 Feb) */</p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
{| width=100%<br />
|- valign=top <br />
| width=50% |<br />
==== Tuesday (11 Feb) ====<br />
* 11:40 am arrival in BUR<br />
* ~12:30 pm: arrival on campus<br />
* 12:30 pm: lunch with John Doyle (if available)<br />
* 1:30 pm: Richard Murray (109 Steele Lab)<br />
* 2:00 pm: Open<br />
* 2:45 pm: Open<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Open (30 min)<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
| width=50% |<br />
<br />
==== Wednesday (12 Feb) ====<br />
* 8:45 am: Open<br />
* 9:30 am: Open<br />
* 10:15 am: Open<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Yisong Yue (303 Annenberg)<br />
* 2:00 pm: Open (30 min)<br />
* 2:30 pm: Open (30 min)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Open (30 min)<br />
* 4:30 pm: Wrap up meeting with Richard<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
|}<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-05T06:52:15Z<p>Murray: /* Tuesday (11 Feb) */</p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
{| width=100%<br />
|- valign=top <br />
| width=50% |<br />
==== Tuesday (11 Feb) ====<br />
* 11:40 am arrival in BUR<br />
* ~12:30 pm: arrival on campus<br />
* 12:30 pm: lunch with John Doyle (if available)<br />
* 1:30 pm: Richard Murray<br />
* 2:00 pm: Open<br />
* 2:45 pm: Open<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Open (30 min)<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
| width=50% |<br />
<br />
==== Wednesday (12 Feb) ====<br />
* 8:45 am: Open<br />
* 9:30 am: Open<br />
* 10:15 am: Open<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Open<br />
* 2:00 pm: Open (30 min)<br />
* 2:30 pm: Open (30 min)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Open (30 min)<br />
* 4:30 pm: Wrap up meeting with Richard<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
|}<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-05T06:51:52Z<p>Murray: /* Wednesday (12 Feb) */</p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
{| width=100%<br />
|- valign=top <br />
| width=50% |<br />
==== Tuesday (11 Feb) ====<br />
* 11:40 am arrival in BUR<br />
* ~12:30 pm: arrival on campus<br />
* 12:30 pm: lunch with John Doyle (if available)<br />
* 1:30 pm: Richard Murray<br />
* 2:00 pm: Open<br />
* 2:45 pm: Open<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Open<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
| width=50% |<br />
==== Wednesday (12 Feb) ====<br />
* 8:45 am: Open<br />
* 9:30 am: Open<br />
* 10:15 am: Open<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Open<br />
* 2:00 pm: Open (30 min)<br />
* 2:30 pm: Open (30 min)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Open (30 min)<br />
* 4:30 pm: Wrap up meeting with Richard<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
|}<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-05T06:48:43Z<p>Murray: /* Schedule */</p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
{| width=100%<br />
|- valign=top <br />
| width=50% |<br />
==== Tuesday (11 Feb) ====<br />
* 11:40 am arrival in BUR<br />
* ~12:30 pm: arrival on campus<br />
* 12:30 pm: lunch with John Doyle (if available)<br />
* 1:30 pm: Richard Murray<br />
* 2:00 pm: Open<br />
* 2:45 pm: Open<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Open<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
| width=50% |<br />
==== Wednesday (12 Feb) ====<br />
* 8:45 am: Open<br />
* 9:30 am: Open<br />
* 10:15 am: Open<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Open<br />
* 2:00 pm: Open (30 min)<br />
* 2:30 pm: Open (30 min)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Open (30 min)<br />
* 4;00 pm: Open (30 min)<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
|}<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-05T06:48:28Z<p>Murray: </p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
{| width=100%<br />
|- valign=top <br />
| width=50% |<br />
Tuesday (11 Feb)<br />
* 11:40 am arrival in BUR<br />
* ~12:30 pm: arrival on campus<br />
* 12:30 pm: lunch with John Doyle (if available)<br />
* 1:30 pm: Richard Murray<br />
* 2:00 pm: Open<br />
* 2:45 pm: Open<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Open<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
| width=50% |<br />
Wednesday (12 Feb)<br />
* 8:45 am: Open<br />
* 9:30 am: Open<br />
* 10:15 am: Open<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Open<br />
* 2:00 pm: Open (30 min)<br />
* 2:30 pm: Open (30 min)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Open (30 min)<br />
* 4;00 pm: Open (30 min)<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
|}<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Sarah_Dean,_11-12_Feb_2020Sarah Dean, 11-12 Feb 20202020-02-05T06:47:23Z<p>Murray: Created page with "Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS..."</p>
<hr />
<div>Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS credentials to log in). Please make sure to put the location where she should meet you.<br />
<br />
=== Schedule ===<br />
<br />
Tuesday (11 Feb)<br />
* 11:40 am arrival in BUR<br />
* ~12:30 pm: arrival on campus<br />
* 12:30 pm: lunch with John Doyle (if available)<br />
* 1:30 pm: Richard Murray<br />
* 2:00 pm: Open<br />
* 2:45 pm: Open<br />
* 3:30 pm: Open (30 min)<br />
* 4:00 pm: Seminar<br />
* 5:00 pm: Open<br />
* 6:00 pm: Dinner with Richard + grad students, postdocs<br />
<br />
Wednesday (12 Feb)<br />
* 8:45 am: Open<br />
* 9:30 am: Open<br />
* 10:15 am: Open<br />
* 11:00 am: Ludwig Schmidt seminar<br />
* 12:00 pm: Lunch with faculty or grad students<br />
* 1:15 pm: Open<br />
* 2:00 pm: Open (30 min)<br />
* 2:30 pm: Open (30 min)<br />
* 3:00 pm: CDS tea<br />
* 3:30 pm: Open (30 min)<br />
* 4;00 pm: Open (30 min)<br />
* 4:45 pm: Depart campus<br />
* 6:40 pm departure from BUR<br />
<br />
=== Seminar ===<br />
<br />
Safe and Robust Perception-Based Control<br><br />
Sarah Dean, UC Berkeley<br />
<br />
Tue, 11 February, 4 pm<br><br />
105 Annenberg<br />
<br />
Machine learning provides a promising path to distill information from high dimensional sensors like cameras -- a fact that often serves as motivation for merging learning with control. This talk aims to provide rigorous guarantees for systems with such learned perception components in closed-loop. Our approach is comprised of characterizing uncertainty in perception and then designing a robust controller to account for these errors. We use a framework which handles uncertainties in an explicit way, allowing us to provide performance guarantees and illustrate how trade-offs arise from limitations of the training data. Throughout, I will motivate this work with the example of autonomous vehicles, including both simulated experiments and an implementation on a 1/10 scale autonomous car. Joint work with Aurelia Guy, Nikolai Matni, Ben Recht, Rohan Sinha, and Vickie Ye.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=BioBio2020-02-05T05:16:21Z<p>Murray: </p>
<hr />
<div><br />
{| width=100% padding=0 border=0<br />
|-<br />
| colspan=2 |<br />
{{RMM short bio}}<br />
| rowspan = 2 | <br />
[[Image:Murray-mar13.jpg|150px|right]]<br />
|-<br />
| width=50% |<br />
Longer versions:<br />
* [[Expanded bio]]<br />
* [[Biographical Sketch]]<br />
* [[RMM photos]]<br />
| width=50% |<br />
Variants<br />
* [[http:www.eas.caltech.edu/people/murray|Caltech bio]]<br />
* [[http:innovation.defense.gov/Media/Biographies/Bio-Display/Article/1395867/richard-murray/|Defense Innovation Board bio]]<br />
* [[http:en.wikipedia.org/wiki/Richard_M._Murray|Wikipedia bio]]<br />
|}</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=EECI-IGSC_2020EECI-IGSC 20202020-02-04T15:31:55Z<p>Murray: /* Lecture Schedule */</p>
<hr />
<div><table width="100%" cellspacing=0><br />
<tr valign=middle><br />
<td rowspan=4 align=center> [[Image:eecilogo.png|90px]]</td><br />
<td align=center><font color='blue' size='+2'><p>Specification, Design, and Verification for Self-Driving Cars</p> </font></td><br />
<td rowspan=4 align=center"> [[Image:cdslogo.png|90px]]</td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'>Richard M. Murray and Nok Wongpiromsarn</font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'>9-13 March 2012, Istanbul (Turkey)</font></td></tr><br />
</table> __NOTOC__<br />
<br />
== Course Description ==<br />
Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying control protocols for autonomous systems, including self-driving cars. We combine methods from computer science (temporal logic, model checking, reactive synthesis) with those from control theory (abstraction methods, optimal control, invariants sets) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox, TuLiP, that is designed for analyzing and synthesizing hybrid control systems using temporal logic and robust performance specifications.<br />
<br />
== Reading ==<br />
The following papers and textbooks will be used heavily throughout the course:<br />
* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. </p><br />
* <p>[http://www.cds.caltech.edu/~murray/papers/2012z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)<br />
Additional references for individual topics are included on the individual lecture pages.<br />
<br />
== Course information ==<br />
* Instructors: [[http:www.cds.caltech.edu/~murray|Richard M. Murray]] (Caltech, CDS) and [[http:www.sites.google.com/site/tichakorn/|Nok Wongpiromsarn]] (UT Austin/Iowa State)<br />
* Date and location: 9-13 March 2020, Istanbul (Turkey)<br />
* Sponsor: [http://www.eeci-igsc.eu European Embedded Control Institute (EECI) Internataional Graduate School on Control]<br />
<br />
== Lecture Schedule ==<br />
<br />
The schedule below lists the lectures that will be given as part of the course. Each lecture will last approximately 90 minutes. The individual lecture pages give an overview of the lecture and links to additional information.<br />
<br />
{|border=1 cellpadding=2<br />
|-<br />
|align=center|Lec<br />
|align=center|Date/time <br />
|Title <br />
|Topics<br />
{{eeci2020 entry|L1|RM|Mon, 9:00|Introduction: Design of Self-Driving Cars|<br />
* Introduction to self-driving cars<br />
* Specifications and rules of the road<br />
* Architecture for self-driving (including layers)<br />
* Design problem, analysis/safety<br />
}}<br />
{{eeci2020 entry|L2|RM|Mon, 10:00|Automata Theory|<br />
* Finite transition systems<br />
* Kripke structures<br />
* Automata classes (finite, Buchi, ND, etc)<br />
* Examples: stoplight, intersection<br />
}}<br />
{{eeci2020 entry|L3|RM|Mon, 12:30|Temporal Logic|<br />
* Temporal logic<br />
* Linear time properties<br />
* LTL, STL<br />
* Examples: lane change, intersection<br />
}}<br />
{{eeci2020 entry|L4|TW|Mon, 14:00|Model Checking|<br />
* LTL to Buchi automatat<br />
* Ideas behind how model checkers work<br />
* Use for “open loop” synthesis (if time)<br />
* Examples: intersection<br />
}}<br />
{{eeci2020 entry|L5|TW|Mon, 15:30|Discrete abstractions|<br />
* Discrete abstractions<br />
* Traces for continuous systems<br />
* Trace-inclusive abstractions<br />
* Reading: WTM, RRT* paper<br />
* Examples: gridworld, intersection<br />
}}<br />
{{eeci2020 entry|L6|TW|Tue, 8:30|Probabilistic systems|<br />
* MDP w/ properties<br />
* Computing probabilities of formulas<br />
* Probabilistic model checking (MDPs)<br />
* Probabilistic synthesis<br />
* Intro to PRISM (or Storm)<br />
* Reading: B&K, Ch 10<br />
}}<br />
{{eeci2020 entry|C1|RM|Tue, 10:30|Computer Session: PRISM|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L7|RM|Wed, 8:30|Synthesis of Reactive Control Protocols|<br />
* Assume/guarantee formalsms<br />
* Two-player, asymmetric games<br />
* Winning set computations, solving for strategies<br />
* Reading: WTM<br />
* Examples: runner-blocker, grid-world (parking lot, intersection)<br />
}}<br />
{{eeci2020 entry|C2|RM|Thu, 10:30|Computer Session: TuLiP|<br />
* Simulation setup<br />
* TuLiP synthesis<br />
}}<br />
{{eeci2020 entry|L8|TW|Thu, 8:30|Minimum Violation Planning|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|C3|TW|Thu, 10:30|Computer Session: MVP|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L9|TW|Fri, 9:00|Rulebooks|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L10|RM|Fri, 10:00|Testing and evaluation|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L11|RM|Fri, 11:00|Incorporating ML|<br />
* TBD<br />
}}<br />
|}<br />
<br />
== Software Installation ==<br />
<br />
We will make use of two programs during the lab sessions:<br />
* PRISM/Storm<br />
* [http://tulip-control.sf.net TuLiP] - python-based toolbox for temporal logic planning and controller synthesis<br />
<br />
During the course, we will access these programs on a remote machine using ssh. For some parts of the course it will be useful to have a local installation of MATLAB that can be used for visualizing some simulation results.<br />
<br />
If you would like to install the software on your own, here are some basic directions for installing the two packages:<br />
* Storm: TBD<br />
* TuLiP: TBD<br />
<br />
[[Category:Courses]]<br />
[[Category:2019-20 Courses]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Liren_Yang,_5-6_Feb_2020Liren Yang, 5-6 Feb 20202020-02-04T03:19:21Z<p>Murray: </p>
<hr />
<div>Liren Yang is a PhD student at U. Michigan who has recently defended his thesis on correct-by-construction fault-tolerant control synthesis. He will visit Caltech on 5-6 Feb. Sign up here if you would lik to meet with him (use your Caltech credentials).<br />
<br />
=== Schedule ===<br />
<br />
5 Feb (Wed)<br />
* 2:00p: NCS group meeting<br />
* 3:00p: CDS tea<br />
* 3:30p: Chuchu (meet at CDS tea)<br />
* 4:15p: Karena<br />
* 5:00p: Informal seminar - 121 Annenberg<br />
* 6:00p: Dinner with Richard, Apurva, Yuxiao, Josefine<br />
6 Feb (Thu)<br />
* 9:15a: Richard Murray, 109 Steele Lab<br />
* 10:00a: Apurva (pick up at Richard's office)<br />
* 10:45a: Yuxiao<br />
* 11:30a: Sumanth<br />
* 12:15p: Lunch<br />
* 1:15p: Open<br />
* 2:00p: Tung<br />
* 2:45p: Josefine<br />
* 3:30p: Done for the day<br />
<br />
=== Talk ===<br />
<br />
Correct-by-construction fault-tolerant control of complex dynamical systems<br />
<br />
Correct-by-construction control synthesis methods can be used to algorithmically design controllers that render dynamical systems to satisfy complex tasks specified by formal languages. However, there is a gap between such techniques and real applications, especially when the systems experience faults, such as physical component failures and extreme operating conditions. Moreover, it is conservative and computationally expensive to apply such techniques developed for pure discrete systems directly to continuous-state dynamical systems. In this talk, I will present our work tackling these challenges. First, I will briefly mention our work on guaranteed fault-detection with linear temporal logic (LTL) constraints, and a hierarchical abstraction-based fault-tolerant controller synthesis approach. Then, regarding the first issue, I will focus on how to construct abstractions for systems with complex but structured dynamics. In particular, we leverage a special system structural property called mixed monotonicity to ease abstraction computation, and to develop synthesis techniques to incorporate this property. The presented methodology will be illustrated on a fuel cell thermal-power management problem.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Liren_Yang,_5-6_Feb_2020Liren Yang, 5-6 Feb 20202020-02-04T03:18:28Z<p>Murray: </p>
<hr />
<div>Liren Yang is a PhD student at U. Michigan who has recently defended his thesis on correct-by-construction fault-tolerant control synthesis. He will visit Caltech on 5-6 Feb. Sign up here if you would lik to meet with him (use your Caltech credentials).<br />
<br />
=== Schedule ===<br />
<br />
5 Feb (Wed)<br />
* 2:00p: NCS group meeting<br />
* 3:00p: CDS tea<br />
* 3:30p: Chuchu<br />
* 4:15p: Karena<br />
* 5:00p: Informal seminar - 121 Annenberg<br />
* 6:00p: Dinner with Richard, Apurva, Yuxiao, Josefine<br />
6 Feb (Thu)<br />
* 9:15a: Richard Murray, 109 Steele Lab<br />
* 10:00a: Apurva, Pick up from Richard’s office. Meeting location: CDS Library<br />
* 10:45a: Yuxiao<br />
* 11:30a: Sumanth<br />
* 12:15p: Lunch<br />
* 1:15p: Open<br />
* 2:00p: Tung<br />
* 2:45p: Josefine<br />
* 3:30p: Done for the day<br />
<br />
=== Talk ===<br />
<br />
Correct-by-construction fault-tolerant control of complex dynamical systems<br />
<br />
Correct-by-construction control synthesis methods can be used to algorithmically design controllers that render dynamical systems to satisfy complex tasks specified by formal languages. However, there is a gap between such techniques and real applications, especially when the systems experience faults, such as physical component failures and extreme operating conditions. Moreover, it is conservative and computationally expensive to apply such techniques developed for pure discrete systems directly to continuous-state dynamical systems. In this talk, I will present our work tackling these challenges. First, I will briefly mention our work on guaranteed fault-detection with linear temporal logic (LTL) constraints, and a hierarchical abstraction-based fault-tolerant controller synthesis approach. Then, regarding the first issue, I will focus on how to construct abstractions for systems with complex but structured dynamics. In particular, we leverage a special system structural property called mixed monotonicity to ease abstraction computation, and to develop synthesis techniques to incorporate this property. The presented methodology will be illustrated on a fuel cell thermal-power management problem.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Liren_Yang,_5-6_Feb_2020Liren Yang, 5-6 Feb 20202020-02-03T17:09:50Z<p>Murray: </p>
<hr />
<div>Liren Yang is a PhD student at U. Michigan who has recently defended his thesis on correct-by-construction fault-tolerant control synthesis. He will visit Caltech on 5-6 Feb. Sign up here if you would lik to meet with him (use your Caltech credentials).<br />
<br />
=== Schedule ===<br />
<br />
5 Feb (Wed)<br />
* 2:00p: NCS group meeting<br />
* 3:00p: CDS tea<br />
* 3:30p: Chuchu<br />
* 4:15p: Karena<br />
* 5:00p: Informal seminar - 121 Annenberg<br />
* 6:00p: Dinner with Richard + students (add your name here if you want to go): Apurva<br />
<br />
6 Feb (Thu)<br />
* 9:15a: Richard Murray, 109 Steele Lab<br />
* 10:00a: Apurva, Pick up from Richard’s office. Meeting location: CDS Library<br />
* 10:45a: Yuxiao<br />
* 11:30a: Sumanth<br />
* 12:15p: Lunch<br />
* 1:15p: Open<br />
* 2:00p: Open<br />
* 2:45p: Open<br />
* 3:30p: Done for the day<br />
<br />
=== Talk ===<br />
<br />
Correct-by-construction fault-tolerant control of complex dynamical systems<br />
<br />
Correct-by-construction control synthesis methods can be used to algorithmically design controllers that render dynamical systems to satisfy complex tasks specified by formal languages. However, there is a gap between such techniques and real applications, especially when the systems experience faults, such as physical component failures and extreme operating conditions. Moreover, it is conservative and computationally expensive to apply such techniques developed for pure discrete systems directly to continuous-state dynamical systems. In this talk, I will present our work tackling these challenges. First, I will briefly mention our work on guaranteed fault-detection with linear temporal logic (LTL) constraints, and a hierarchical abstraction-based fault-tolerant controller synthesis approach. Then, regarding the first issue, I will focus on how to construct abstractions for systems with complex but structured dynamics. In particular, we leverage a special system structural property called mixed monotonicity to ease abstraction computation, and to develop synthesis techniques to incorporate this property. The presented methodology will be illustrated on a fuel cell thermal-power management problem.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Liren_Yang,_5-6_Feb_2020Liren Yang, 5-6 Feb 20202020-02-03T17:00:04Z<p>Murray: </p>
<hr />
<div>Liren Yang is a PhD student at U. Michigan who has recently defended his thesis on correct-by-construction fault-tolerant control synthesis. He will visit Caltech on 5-6 Feb. Sign up here if you would lik to meet with him (use your Caltech credentials).<br />
<br />
=== Schedule ===<br />
<br />
5 Feb (Wed)<br />
* 2:00p: NCS group meeting<br />
* 3:00p: CDS tea<br />
* 3:30p: Chuchu<br />
* 4:15p: Karena<br />
* 5:00p: Informal seminar - 121 Annenberg<br />
* 6:00p: Dinner with Richard + students (add your name here if you want to go): Apurva<br />
<br />
6 Feb (Thu)<br />
* 9:15a: Richard Murray, 109 Steele Lab<br />
* 10:00a: Apurva, Pick up from Richard’s office. Meeting location: CDS Library<br />
* 10:45a: Yuxiao<br />
* 11:30a: Sumanth<br />
* 12:15p: done for the day<br />
<br />
=== Talk ===<br />
<br />
Correct-by-construction fault-tolerant control of complex dynamical systems<br />
<br />
Correct-by-construction control synthesis methods can be used to algorithmically design controllers that render dynamical systems to satisfy complex tasks specified by formal languages. However, there is a gap between such techniques and real applications, especially when the systems experience faults, such as physical component failures and extreme operating conditions. Moreover, it is conservative and computationally expensive to apply such techniques developed for pure discrete systems directly to continuous-state dynamical systems. In this talk, I will present our work tackling these challenges. First, I will briefly mention our work on guaranteed fault-detection with linear temporal logic (LTL) constraints, and a hierarchical abstraction-based fault-tolerant controller synthesis approach. Then, regarding the first issue, I will focus on how to construct abstractions for systems with complex but structured dynamics. In particular, we leverage a special system structural property called mixed monotonicity to ease abstraction computation, and to develop synthesis techniques to incorporate this property. The presented methodology will be illustrated on a fuel cell thermal-power management problem.</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=EECI-IGSC_2020EECI-IGSC 20202020-02-03T03:34:41Z<p>Murray: </p>
<hr />
<div><table width="100%" cellspacing=0><br />
<tr valign=middle><br />
<td rowspan=4 align=center> [[Image:eecilogo.png|90px]]</td><br />
<td align=center><font color='blue' size='+2'><p>Specification, Design, and Verification for Self-Driving Cars</p> </font></td><br />
<td rowspan=4 align=center"> [[Image:cdslogo.png|90px]]</td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'>Richard M. Murray and Nok Wongpiromsarn</font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'>9-13 March 2012, Istanbul (Turkey)</font></td></tr><br />
</table> __NOTOC__<br />
<br />
== Course Description ==<br />
Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying control protocols for autonomous systems, including self-driving cars. We combine methods from computer science (temporal logic, model checking, reactive synthesis) with those from control theory (abstraction methods, optimal control, invariants sets) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox, TuLiP, that is designed for analyzing and synthesizing hybrid control systems using temporal logic and robust performance specifications.<br />
<br />
== Reading ==<br />
The following papers and textbooks will be used heavily throughout the course:<br />
* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. </p><br />
* <p>[http://www.cds.caltech.edu/~murray/papers/2012z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)<br />
Additional references for individual topics are included on the individual lecture pages.<br />
<br />
== Course information ==<br />
* Instructors: [[http:www.cds.caltech.edu/~murray|Richard M. Murray]] (Caltech, CDS) and [[http:www.sites.google.com/site/tichakorn/|Nok Wongpiromsarn]] (UT Austin/Iowa State)<br />
* Date and location: 9-13 March 2020, Istanbul (Turkey)<br />
* Sponsor: [http://www.eeci-igsc.eu European Embedded Control Institute (EECI) Internataional Graduate School on Control]<br />
<br />
== Lecture Schedule ==<br />
<br />
The schedule below lists the lectures that will be given as part of the course. Each lecture will last approximately 90 minutes. The individual lecture pages give an overview of the lecture and links to additional information.<br />
<br />
{|border=1 cellpadding=2<br />
|-<br />
|align=center|Lec<br />
|align=center|Date/time <br />
|Title <br />
|Topics<br />
{{eeci2020 entry|L1|RM|Mon, 9:00|Introduction: Design of Self-Driving Cars|<br />
* Introduction to self-driving cars<br />
* Specifications and rules of the road<br />
* Architecture for self-driving (including layers)<br />
* Design problem, analysis/safety<br />
}}<br />
{{eeci2020 entry|L2|RM|Mon, 10:00|Automata Theory|<br />
* Finite transition systems<br />
* Kripke structures<br />
* Automata classes (finite, Buchi, ND, etc)<br />
* Examples: stoplight, intersection<br />
}}<br />
{{eeci2020 entry|L3|RM|Mon, 11:30|Temporal Logic|<br />
* Temporal logic<br />
* Linear time properties<br />
* LTL, STL<br />
* Examples: lane change, intersection<br />
}}<br />
{{eeci2020 entry|L4|TW|Mon, 14:00|Model Checking|<br />
* LTL to Buchi automatat<br />
* Ideas behind how model checkers work<br />
* Use for “open loop” synthesis (if time)<br />
* Examples: intersection<br />
}}<br />
{{eeci2020 entry|L5|TW|Mon, 15:30|Discrete abstractions|<br />
* Discrete abstractions<br />
* Traces for continuous systems<br />
* Trace-inclusive abstractions<br />
* Reading: WTM, RRT* paper<br />
* Examples: gridworld, intersection<br />
}}<br />
{{eeci2020 entry|L6|TW|Tue, 8:30|Probabilistic systems|<br />
* MDP w/ properties<br />
* Computing probabilities of formulas<br />
* Probabilistic model checking (MDPs)<br />
* Probabilistic synthesis<br />
* Intro to PRISM (or Storm)<br />
* Reading: B&K, Ch 10<br />
}}<br />
{{eeci2020 entry|C1|RM|Tue, 10:30|Computer Session: PRISM|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L7|RM|Wed, 8:30|Synthesis of Reactive Control Protocols|<br />
* Assume/guarantee formalsms<br />
* Two-player, asymmetric games<br />
* Winning set computations, solving for strategies<br />
* Reading: WTM<br />
* Examples: runner-blocker, grid-world (parking lot, intersection)<br />
}}<br />
{{eeci2020 entry|C2|RM|Thu, 10:30|Computer Session: TuLiP|<br />
* Simulation setup<br />
* TuLiP synthesis<br />
}}<br />
{{eeci2020 entry|L8|TW|Thu, 8:30|Minimum Violation Planning|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|C3|TW|Thu, 10:30|Computer Session: MVP|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L9|TW|Fri, 9:00|Rulebooks|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L10|RM|Fri, 10:00|Testing and evaluation|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L11|RM|Fri, 11:00|Incorporating ML|<br />
* TBD<br />
}}<br />
|}<br />
<br />
== Software Installation ==<br />
<br />
We will make use of two programs during the lab sessions:<br />
* PRISM/Storm<br />
* [http://tulip-control.sf.net TuLiP] - python-based toolbox for temporal logic planning and controller synthesis<br />
<br />
During the course, we will access these programs on a remote machine using ssh. For some parts of the course it will be useful to have a local installation of MATLAB that can be used for visualizing some simulation results.<br />
<br />
If you would like to install the software on your own, here are some basic directions for installing the two packages:<br />
* Storm: TBD<br />
* TuLiP: TBD<br />
<br />
[[Category:Courses]]<br />
[[Category:2019-20 Courses]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=EECI-IGSC_2020EECI-IGSC 20202020-02-03T03:28:02Z<p>Murray: /* Lecture Schedule */</p>
<hr />
<div><table width="100%" cellspacing=0><br />
<tr valign=top><br />
<td rowspan=4 align=center> [[Image:eecilogo.png|90px]]</td><br />
<td align=center><font color='blue' size='+2'>Specification, Design, and Verification for Self-Driving Cars <br> &nbsp;</font></td><br />
<td rowspan=4 align=center"> [[Image:cdslogo.png|90px]]</td></tr><br />
<tr><td align=center><font color='blue' size='+2'>of Networked Control Systems<br> &nbsp; </font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p> Richard M. Murray and Nok Wongpiromsarn </p></font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p>9-13 March 2012, Istanbul (Turkey)</p></font></td></tr><br />
</table> __NOTOC__<br />
<br />
== Course Description ==<br />
Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying control protocols for autonomous systems, including self-driving cars. We combine methods from computer science (temporal logic, model checking, reactive synthesis) with those from control theory (abstraction methods, optimal control, invariants sets) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox, TuLiP, that is designed for analyzing and synthesizing hybrid control systems using temporal logic and robust performance specifications.<br />
<br />
== Reading ==<br />
The following papers and textbooks will be used heavily throughout the course:<br />
* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. </p><br />
* <p>[http://www.cds.caltech.edu/~murray/papers/2012z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)<br />
Additional references for individual topics are included on the individual lecture pages.<br />
<br />
== Course information ==<br />
* Instructors: [[http:www.cds.caltech.edu/~murray|Richard M. Murray]] (Caltech, CDS) and [[http:www.sites.google.com/site/tichakorn/|Nok Wongpiromsarn]] (UT Austin/Iowa State)<br />
* Date and location: 9-13 March 2020, Istanbul (Turkey)<br />
* Sponsor: [http://www.eeci-igsc.eu European Embedded Control Institute (EECI) Internataional Graduate School on Control]<br />
<br />
== Lecture Schedule ==<br />
<br />
The schedule below lists the lectures that will be given as part of the course. Each lecture will last approximately 90 minutes. The individual lecture pages give an overview of the lecture and links to additional information.<br />
<br />
{|border=1 cellpadding=2<br />
|-<br />
|align=center|Lec<br />
|align=center|Date/time <br />
|Title <br />
|Topics<br />
{{eeci2020 entry|L1|RM|Mon, 9:00|Introduction: Design of Self-Driving Cars|<br />
* Introduction to self-driving cars<br />
* Specifications and rules of the road<br />
* Architecture for self-driving (including layers)<br />
* Design problem, analysis/safety<br />
}}<br />
{{eeci2020 entry|L2|RM|Mon, 10:00|Automata Theory|<br />
* Finite transition systems<br />
* Kripke structures<br />
* Automata classes (finite, Buchi, ND, etc)<br />
* Examples: stoplight, intersection<br />
<br />
}}<br />
{{eeci2020 entry|L3|RM|Mon, 11:30|Temporal Logic|<br />
* Temporal logic<br />
* Linear time properties<br />
* LTL, STL<br />
* Examples: lane change, intersection<br />
<br />
}}<br />
{{eeci2020 entry|L4|TW|Mon, 14:00|Model Checking|<br />
* LTL to Buchi automatat<br />
* Ideas behind how model checkers work<br />
* Use for “open loop” synthesis (if time)<br />
* Examples: intersection<br />
}}<br />
{{eeci2020 entry|L5|TW|Mon, 15:30|Discrete abstractions|<br />
* Discrete abstractions<br />
* Traces for continuous systems<br />
* Trace-inclusive abstractions<br />
* Reading: WTM, RRT* paper<br />
* Examples: gridworld, intersection<br />
}}<br />
{{eeci2020 entry|L6|TW|Tue, 8:30|Probabilistic systems|<br />
* MDP w/ properties<br />
* Computing probabilities of formulas<br />
* Probabilistic model checking (MDPs)<br />
* Probabilistic synthesis<br />
* Intro to PRISM (or Storm)<br />
* Reading: B&K, Ch 10<br />
}}<br />
{{eeci2020 entry|C1|RM|Tue, 10:30|Computer Session: PRISM|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L7|RM|Wed, 8:30|Synthesis of Reactive Control Protocols|<br />
* Assume/guarantee formalsms<br />
* Two-player, asymmetric games<br />
* Winning set computations, solving for strategies<br />
* Reading: WTM<br />
* Examples: runner-blocker, grid-world (parking lot, intersection)<br />
}}<br />
{{eeci2020 entry|C2|RM|Thu, 10:30|Computer Session: TuLiP|<br />
* Simulation setup<br />
* TuLiP synthesis<br />
}}<br />
{{eeci2020 entry|L8|TW|Thu, 8:30|Minimum Violation Planning|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|C3|TW|Thu, 10:30|Computer Session: MVP|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L9|TW|Fri, 9:00|Rulebooks|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L10|RM|Fri, 10:00|Testing and evaluation|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L11|RM|Fri, 11:00|Incorporating ML|<br />
* TBD<br />
}}<br />
|}<br />
<br />
== Software Installation ==<br />
<br />
We will make use of two programs during the lab sessions:<br />
* PRISM/Storm<br />
* [http://tulip-control.sf.net TuLiP] - python-based toolbox for temporal logic planning and controller synthesis<br />
<br />
During the course, we will access these programs on a remote machine using ssh. For some parts of the course it will be useful to have a local installation of MATLAB that can be used for visualizing some simulation results.<br />
<br />
If you would like to install the software on your own, here are some basic directions for installing the two packages:<br />
* Storm: TBD<br />
* TuLiP: TBD<br />
<br />
[[Category:Courses]]<br />
[[Category:2019-20 Courses]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=EECI-IGSC_2020EECI-IGSC 20202020-02-03T03:26:35Z<p>Murray: /* Lecture Schedule */</p>
<hr />
<div><table width="100%" cellspacing=0><br />
<tr valign=top><br />
<td rowspan=4 align=center> [[Image:eecilogo.png|90px]]</td><br />
<td align=center><font color='blue' size='+2'>Specification, Design, and Verification for Self-Driving Cars <br> &nbsp;</font></td><br />
<td rowspan=4 align=center"> [[Image:cdslogo.png|90px]]</td></tr><br />
<tr><td align=center><font color='blue' size='+2'>of Networked Control Systems<br> &nbsp; </font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p> Richard M. Murray and Nok Wongpiromsarn </p></font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p>9-13 March 2012, Istanbul (Turkey)</p></font></td></tr><br />
</table> __NOTOC__<br />
<br />
== Course Description ==<br />
Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying control protocols for autonomous systems, including self-driving cars. We combine methods from computer science (temporal logic, model checking, reactive synthesis) with those from control theory (abstraction methods, optimal control, invariants sets) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox, TuLiP, that is designed for analyzing and synthesizing hybrid control systems using temporal logic and robust performance specifications.<br />
<br />
== Reading ==<br />
The following papers and textbooks will be used heavily throughout the course:<br />
* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. </p><br />
* <p>[http://www.cds.caltech.edu/~murray/papers/2012z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)<br />
Additional references for individual topics are included on the individual lecture pages.<br />
<br />
== Course information ==<br />
* Instructors: [[http:www.cds.caltech.edu/~murray|Richard M. Murray]] (Caltech, CDS) and [[http:www.sites.google.com/site/tichakorn/|Nok Wongpiromsarn]] (UT Austin/Iowa State)<br />
* Date and location: 9-13 March 2020, Istanbul (Turkey)<br />
* Sponsor: [http://www.eeci-igsc.eu European Embedded Control Institute (EECI) Internataional Graduate School on Control]<br />
<br />
== Lecture Schedule ==<br />
<br />
The schedule below lists the lectures that will be given as part of the course. Each lecture will last approximately 90 minutes. The individual lecture pages give an overview of the lecture and links to additional information.<br />
<br />
{|border=1 cellpadding=2<br />
|-<br />
|align=center|Lec<br />
|align=center|Date/time <br />
|Title <br />
|Topics<br />
{{eeci2020 entry|L1|RM|Mon, 9:00|Introduction: Design of Self-Driving Cars|<br />
* Introduction to self-driving cars<br />
* Specifications and rules of the road<br />
* Architecture for self-driving (including layers)<br />
* Design problem, analysis/safety<br />
}}<br />
{{eeci2020 entry|L2|RM|Mon, 10:00|Automata Theory|<br />
* Finite transition systems<br />
* Kripke structures<br />
* Automata classes (finite, Buchi, ND, etc)<br />
* Examples: stoplight, intersection<br />
<br />
}}<br />
{{eeci2020 entry|L3|RM|Mon, 11:30|Temporal Logic|<br />
* Temporal logic<br />
* Linear time properties<br />
* LTL, STL<br />
* Examples: lane change, intersection<br />
<br />
}}<br />
{{eeci2020 entry|L4|TW|Mon, 14:00|Model Checking|<br />
* LTL to Buchi automatat<br />
* Ideas behind how model checkers work<br />
* Use for “open loop” synthesis (if time)<br />
* Examples: intersection<br />
}}<br />
{{eeci2020 entry|L5|TW|Mon, 15:30|Discrete abstractions|<br />
* Discrete abstractions<br />
* Traces for continuous systems<br />
* Trace-inclusive abstractions<br />
* Reading: WTM, RRT* paper<br />
* Examples: gridworld, intersection<br />
}}<br />
{{eeci2020 entry|L6|TW|Tue, 8:30|Probabilistic systems|<br />
* MDP w/ properties<br />
* Computing probabilities of formulas<br />
* Probabilistic model checking (MDPs)<br />
* Probabilistic synthesis<br />
* Intro to PRISM (or Storm)<br />
* Reading: B&K, Ch 10<br />
}}<br />
{{eeci2020 entry|C1|RM|Tue, 10:30|Computer Session: PRISM|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L7|RM|Wed, 8:30|Synthesis of Reactive Control Protocols|<br />
* Assume/guarantee formalsms<br />
* Two-player, asymmetric games<br />
* Winning set computations, solving for strategies<br />
* Reading: WTM<br />
* Examples: runner-blocker, grid-world (parking lot, intersection)<br />
}}<br />
{{eeci2020 entry|C2|RM|Thu, 10:30 <br> Thu, 11:00|Computer Session: TuLiP|<br />
* Simulation setup<br />
* TuLiP synthesis<br />
}}<br />
{{eeci2020 entry|L8|TW|Thu, 8:30|Minimum Violation Planning|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|C3|TW|Thu, 10:30 <br> Thu, 11:00|Computer Session: MVP|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L9|TW|Fri, 9:00|Rulebooks|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L10|RM|Fri, 10:00|Testing and evaluation|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L11|RM|Fri, 11:00|Incorporating ML|<br />
* TBD<br />
}}<br />
|}<br />
<br />
== Software Installation ==<br />
<br />
We will make use of two programs during the lab sessions:<br />
* PRISM/Storm<br />
* [http://tulip-control.sf.net TuLiP] - python-based toolbox for temporal logic planning and controller synthesis<br />
<br />
During the course, we will access these programs on a remote machine using ssh. For some parts of the course it will be useful to have a local installation of MATLAB that can be used for visualizing some simulation results.<br />
<br />
If you would like to install the software on your own, here are some basic directions for installing the two packages:<br />
* Storm: TBD<br />
* TuLiP: TBD<br />
<br />
[[Category:Courses]]<br />
[[Category:2019-20 Courses]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=EECI-IGSC_2020EECI-IGSC 20202020-02-03T03:25:31Z<p>Murray: </p>
<hr />
<div><table width="100%" cellspacing=0><br />
<tr valign=top><br />
<td rowspan=4 align=center> [[Image:eecilogo.png|90px]]</td><br />
<td align=center><font color='blue' size='+2'>Specification, Design, and Verification for Self-Driving Cars <br> &nbsp;</font></td><br />
<td rowspan=4 align=center"> [[Image:cdslogo.png|90px]]</td></tr><br />
<tr><td align=center><font color='blue' size='+2'>of Networked Control Systems<br> &nbsp; </font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p> Richard M. Murray and Nok Wongpiromsarn </p></font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p>9-13 March 2012, Istanbul (Turkey)</p></font></td></tr><br />
</table> __NOTOC__<br />
<br />
== Course Description ==<br />
Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying control protocols for autonomous systems, including self-driving cars. We combine methods from computer science (temporal logic, model checking, reactive synthesis) with those from control theory (abstraction methods, optimal control, invariants sets) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox, TuLiP, that is designed for analyzing and synthesizing hybrid control systems using temporal logic and robust performance specifications.<br />
<br />
== Reading ==<br />
The following papers and textbooks will be used heavily throughout the course:<br />
* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. </p><br />
* <p>[http://www.cds.caltech.edu/~murray/papers/2012z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)<br />
Additional references for individual topics are included on the individual lecture pages.<br />
<br />
== Course information ==<br />
* Instructors: [[http:www.cds.caltech.edu/~murray|Richard M. Murray]] (Caltech, CDS) and [[http:www.sites.google.com/site/tichakorn/|Nok Wongpiromsarn]] (UT Austin/Iowa State)<br />
* Date and location: 9-13 March 2020, Istanbul (Turkey)<br />
* Sponsor: [http://www.eeci-igsc.eu European Embedded Control Institute (EECI) Internataional Graduate School on Control]<br />
<br />
== Lecture Schedule ==<br />
<br />
The schedule below lists the lectures that will be given as part of the course. Each lecture will last approximately 90 minutes. The individual lecture pages give an overview of the lecture and links to additional information.<br />
<br />
{|border=1 cellpadding=2<br />
|-<br />
|align=center|Lec<br />
|align=center|Date/time <br />
|Title <br />
|Topics<br />
{{eeci2020 entry|L1|RM|Mon, 9:00|Introduction: Design of Self-Driving Cars|<br />
* Introduction to self-driving cars<br />
* Specifications and rules of the road<br />
* Architecture for self-driving (including layers)<br />
* Design problem, analysis/safety<br />
}}<br />
{{eeci2020 entry|L2|RM|Mon, 10:00|Automata Theory|<br />
* Finite transition systems<br />
* Kripke structures<br />
* Automata classes (finite, Buchi, ND, etc)<br />
* Examples: stoplight, intersection<br />
<br />
}}<br />
{{eeci2020 entry|L3|RM|Mon, 11:30|Temporal Logic|<br />
* Temporal logic<br />
* Linear time properties<br />
* LTL, STL<br />
* Examples: lane change, intersection<br />
<br />
}}<br />
{{eeci2020 entry|L4|TW|Mon, 14:00|Model Checking|<br />
* LTL to Buchi automatat<br />
* Ideas behind how model checkers work<br />
* Use for “open loop” synthesis (if time)<br />
* Examples: intersection<br />
}}<br />
{{eeci2020 entry|L5|TW|Mon, 15:30|Discrete abstractions|<br />
* Discrete abstractions<br />
* Traces for continuous systems<br />
* Trace-inclusive abstractions<br />
* Reading: WTM, RRT* paper<br />
* Examples: gridworld, intersection<br />
}}<br />
{{eeci2020 entry|L6|TW|Tue, 8:30|Probabilistic systems|<br />
* MDP w/ properties<br />
* Computing probabilities of formulas<br />
* Probabilistic model checking (MDPs)<br />
* Probabilistic synthesis<br />
* Intro to PRISM (or Storm)<br />
* Reading: B&K, Ch 10<br />
}}<br />
{{eeci2020 entry|C1|RM|Tue, 10:30 <br> Tue, 11:00|Computer Session: PRISM|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L7|RM (2h)|Wed, 8:30|Synthesis of Reactive Control Protocols|<br />
* Assume/guarantee formalsms<br />
* Two-player, asymmetric games<br />
* Winning set computations, solving for strategies<br />
* Reading: WTM<br />
* Examples: runner-blocker, grid-world (parking lot, intersection)<br />
}}<br />
{{eeci2020 entry|C2|RM|Thu, 10:30 <br> Thu, 11:00|Computer Session: TuLiP|<br />
* Simulation setup<br />
* TuLiP synthesis<br />
}}<br />
{{eeci2020 entry|L7|TW|Thu, 8:30|Minimum Violation Planning|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|C2|TW|Thu, 10:30 <br> Thu, 11:00|Computer Session: MVP|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L9|TW|Fri, 9:00|Rulebooks|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L10|RM|Fri, 10:00|Testing and evaluation|<br />
* TBD<br />
}}<br />
{{eeci2020 entry|L10|RM|Fri, 11:00|Incorporating ML|<br />
* TBD<br />
}}<br />
|}<br />
<br />
== Software Installation ==<br />
<br />
We will make use of two programs during the lab sessions:<br />
* PRISM/Storm<br />
* [http://tulip-control.sf.net TuLiP] - python-based toolbox for temporal logic planning and controller synthesis<br />
<br />
During the course, we will access these programs on a remote machine using ssh. For some parts of the course it will be useful to have a local installation of MATLAB that can be used for visualizing some simulation results.<br />
<br />
If you would like to install the software on your own, here are some basic directions for installing the two packages:<br />
* Storm: TBD<br />
* TuLiP: TBD<br />
<br />
[[Category:Courses]]<br />
[[Category:2019-20 Courses]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=EECI-IGSC_2020EECI-IGSC 20202020-02-03T03:11:07Z<p>Murray: </p>
<hr />
<div><table width="100%" cellspacing=0><br />
<tr valign=top><br />
<td rowspan=4 align=center> [[Image:eecilogo.png|90px]]</td><br />
<td align=center><font color='blue' size='+2'>Specification, Design, and Verification for Self-Driving Cars <br> &nbsp;</font></td><br />
<td rowspan=4 align=center"> [[Image:cdslogo.png|90px]]</td></tr><br />
<tr><td align=center><font color='blue' size='+2'>of Networked Control Systems<br> &nbsp; </font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p> Richard M. Murray and Nok Wongpiromsarn </p></font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p>9-13 March 2012, Istanbul (Turkey)</p></font></td></tr><br />
</table> __NOTOC__<br />
<br />
== Course Description ==<br />
Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying control protocols for autonomous systems, including self-driving cars. We combine methods from computer science (temporal logic, model checking, reactive synthesis) with those from control theory (abstraction methods, optimal control, invariants sets) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox, TuLiP, that is designed for analyzing and synthesizing hybrid control systems using temporal logic and robust performance specifications.<br />
<br />
== Reading ==<br />
The following papers and textbooks will be used heavily throughout the course:<br />
* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. </p><br />
* <p>[http://www.cds.caltech.edu/~murray/papers/2012z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)<br />
Additional references for individual topics are included on the individual lecture pages.<br />
<br />
== Course information ==<br />
* Instructors: [[http:www.cds.caltech.edu/~murray|Richard M. Murray]] (Caltech, CDS) and [[http:www.sites.google.com/site/tichakorn/|Nok Wongpiromsarn]] (UT Austin/Iowa State)<br />
* Date and location: 9-13 March 2020, Istanbul (Turkey)<br />
* Sponsor: [http://www.eeci-igsc.eu European Embedded Control Institute (EECI) Internataional Graduate School on Control]<br />
<br />
== Lecture Schedule ==<br />
<br />
The schedule below lists the lectures that will be given as part of the course. Each lecture will last approximately 90 minutes. The individual lecture pages give an overview of the lecture and links to additional information.<br />
<br />
{|border=1 cellpadding=2<br />
|-<br />
|align=center|Lec<br />
|align=center|Date/time <br />
|Title <br />
|Topics<br />
{{eeci2020 entry|L1|RM|Mon, 9:00|Introduction: Protocol-Based Control Systems|<br />
* Introduction to networked control systems (NCS)<br />
* Overview of control "protocols"<br />
* Examples: Alice, RoboFlag<br />
}}<br />
{{eeci2020 entry|L2|UT|Mon, 11:00|Automata Theory|<br />
* Finite transition systems<br />
* Paths, traces and composition of finite transition systems<br />
* Linear time properties; safety and liveness<br />
* Examples: traffic light<br />
}}<br />
{{eeci2020 entry|L3|RM|Mon, 14:00|Temporal Logic|<br />
* Linear temporal logic<br />
* Omega regular properties<br />
* Buchi automata, representation of LTL using NBA<br />
* Examples: traffic light, (RoboFlag), autonomous driving<br />
}}<br />
{{eeci2020 entry|L4|UT|Mon, 16:00|Model Checking and Logic Synthesis|<br />
* Basic concepts in model checking<br />
* Use of model checking for logic synthesis<br />
* Examples: traffic light, farmer puzzle<br />
}}<br />
{{eeci2020 entry|C1|RM|Tue, 9:00 <br> Tue, 11:00|Computer Session: Spin|<br />
* Introduction to Promela and Spin (statements, processes, messages)<br />
* Verification examples: traffic light, distributed traffic light, gcdrive<br />
* Synthesis examples: traffic light, farmer puzzle, robot navigation<br />
}}<br />
{{eeci2020 entry|L5|RM (1h)|Wed, 9:00|Deductive Verification of Hybrid Systems|<br />
* Brief introduction to hybrid systems and verification techniques (deductive, algorithmic)<br />
* Deductive verification using barrier certificates<br />
* Guarded command languages and CCL for asynchronous control protocols<br />
* Examples: multi-agent systems, RoboFlag<br />
}}<br />
{{eeci2020 entry|L6|UT (2h)|Wed, 11:00|Algorithmic Verification of Hybrid Systems|<br />
* Abstraction hierarchies for control systems<br />
* Finite state abstractions (discretization) and model checking<br />
* Discretization of continuous state systems<br />
* Approximate bi-simulation (if time)<br />
* Examples: gear changing (?), ???<br />
}}<br />
{{eeci2020 entry|L7|RM (2h)|Wed, 14:00|Synthesis of Reactive Control Protocols|<br />
* Open system and reactive system synthesis<br />
* Satisfiability, realizability<br />
* Game structures, reachability/safety games<br />
* Mu-calculus (if time) and GR(1) games<br />
* Examples: runner-blocker<br />
}}<br />
{{eeci2020 entry|L8|UT(1h)|Wed, 16:00|Receding Horizon Temporal Logic Planning|<br />
* Receding horizon control<br />
* Examples: reactive motion planning<br />
}}<br />
{{eeci2020 entry|C2|UT|Thu, 9:00 <br> Thu, 11:00|Computer Session: TuLiP|<br />
* Introduction to TuLiP<br />
* Synthesis of protocols for discrete systems<br />
* Discretization of continuous systems (and protocol synthesis)<br />
* Examples: reactive motion planning<br />
}}<br />
{{eeci2020 entry|L9|UT|Fri, 9:00|Advanced Topics|<br />
* Distributed protocols<br />
* Switched systems<br />
* Optimal synthesis<br />
}}<br />
{{eeci2020 entry|L10|RM|Fri, 11:00|Summary and Open Questions|<br />
* Review of control trends and course contents<br />
* Discussion of open problem areas and preliminary results<br />
** Optimization-based techniques<br />
** Probabilistic techniques<br />
** Others: Robustness, switching systems, timed systems<br />
* Examples: robot motion planning, electric power systems (timed)<br />
}}<br />
|}<br />
<br />
== Software Installation ==<br />
<br />
We will make use of two programs during the lab sessions:<br />
* [http://spinroot.com Spin] - model checker for formal verification of distributed systems<br />
* [http://tulip-control.sf.net TuLiP] - python-based toolbox for temporal logic planning and controller synthesis<br />
During the course, we will access these programs on a remote machine using ssh. For some parts of the course it will be useful to have a local installation of MATLAB that can be used for visualizing some simulation results.<br />
<br />
If you would like to install the software on your own, here are some basic directions for installing the two packages:<br />
* Spin: if you are using Windows, you can download a [http://spinroot.com/spin/Bin/index.html binary installation]. For Mac's, you need to compile from source. For this you will need a C compiler, such as the one that is part of the [https://developer.apple.com/technologies/tools/ Xcode developer toolbox]<br />
* TuLiP: you will need a python installation (2.6 or greater) with SciPy (0.9 or greater) installed. You might consider using the [http://enthought.com Enthought Python distribution]. Once you have scipy installed, you will need to install several other python packages, including cvxopt and yices. A [http://sourceforge.net/apps/mediawiki/tulip-control/index.php?title=Main_Page list of required package] is available on the TuLiP project page.<br />
<br />
[[Category:Courses]]<br />
[[Category:2019-20 Courses]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Liren_Yang,_5-6_Feb_2020Liren Yang, 5-6 Feb 20202020-02-03T00:33:46Z<p>Murray: </p>
<hr />
<div>Liren Yang is a PhD student at U. Michigan who has recently defended his thesis on correct-by-construction fault-tolerant control synthesis. He will visit Caltech on 5-6 Feb. Sign up here if you would lik to meet with him (use your Caltech credentials).<br />
<br />
=== Schedule ===<br />
<br />
5 Feb (Wed)<br />
* 2:00p: NCS group meeting<br />
* 3:00p: CDS tea<br />
* 3:30p: Open<br />
* 4:15p: Open<br />
* 5:00p: Informal seminar - 121 Annenberg<br />
* 6:00p: Dinner with Richard + students (add your name here if you want to go): Apurva<br />
<br />
6 Feb (Thu)<br />
* 9:15a: Richard Murray, 109 Steele Lab<br />
* 10:00a: Apurva<br />
* 10:45a: Open<br />
* 11:30a: Open<br />
* 12:15p: done for the day</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Liren_Yang,_5-6_Feb_2020Liren Yang, 5-6 Feb 20202020-02-02T21:41:49Z<p>Murray: Created page with "Liren Yang is a PhD student at U. Michigan who has recently defended his thesis on correct-by-construction fault-tolerant control synthesis. He will visit Caltech on 5-6 Feb..."</p>
<hr />
<div>Liren Yang is a PhD student at U. Michigan who has recently defended his thesis on correct-by-construction fault-tolerant control synthesis. He will visit Caltech on 5-6 Feb. Sign up here if you would lik to meet with him (use your Caltech credentials).<br />
<br />
=== Schedule ===<br />
<br />
5 Feb (Wed)<br />
* 2:00p: NCS group meeting<br />
* 3:00p: CDS tea<br />
* 3:30p: Open<br />
* 4:15p: Open<br />
* 5:00p: Informal seminar - 121 Annenberg<br />
* 6:00p: Dinner with Richard + students (add your name here if you want to go)<br />
<br />
6 Feb (Thu)<br />
* 9:15a: Richard Murray, 109 Steele Lab<br />
* 10:00a: Open<br />
* 10:45a: Open<br />
* 11:30a: Open<br />
* 12:15p: done for the day</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-23T22:26:05Z<p>Murray: /* 3 Feb (Mon, if needed) */</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: Rory/Joe<br />
<hr><br />
* 4:30 pm PST: Karena, Giovanna<br />
* 5:00 pm PST: Chelsea, Katherine<br />
<br><br />
(Richard is off campus on Fri; all meetings via Skype)<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: Alicia and Ayush<br />
<hr><br />
* 5:00 pm PST: Bruno and Francesca<br />
* 5:30 pm PST: Ivy and Apurva<br />
| width=25% |<br />
<br />
==== 30 Jan (Wed) ====<br />
* 8:00 am PST: Albert A<br />
* 8:30 am PST: Tom and Josefine<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon, if needed) ====<br />
* 9:00 am PST: Jeremiah Susas<br />
* 9:30 am PST: Open<br />
<hr><br />
* 5:00 pm PST: Open<br />
<br><br />
Please only use these slots of none of the others work (it is a bit late in the timeline for proposals)<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-23T21:33:36Z<p>Murray: /* 30 Jan (Wed) */</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: Rory/Joe<br />
<hr><br />
* 4:30 pm PST: Karena, Giovanna<br />
* 5:00 pm PST: Chelsea, Katherine<br />
<br><br />
(Richard is off campus on Fri; all meetings via Skype)<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: Alicia and Ayush<br />
<hr><br />
* 5:00 pm PST: Bruno and Francesca<br />
* 5:30 pm PST: Ivy and Apurva<br />
| width=25% |<br />
<br />
==== 30 Jan (Wed) ====<br />
* 8:00 am PST: Albert A<br />
* 8:30 am PST: Tom and Josefine<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon, if needed) ====<br />
* 9:00 am PST: Open<br />
* 9:30 am PST: Open<br />
<hr><br />
* 5:00 pm PST: Open<br />
<br><br />
Please only use these slots of none of the others work (it is a bit late in the timeline for proposals)<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-23T16:12:23Z<p>Murray: /* 30 Jan (Thu) */</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: Rory/Joe<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: Chelsea, Katherine<br />
<br><br />
(Richard is off campus on Fri; all meetings via Skype)<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: Bruno and Francesca<br />
* 5:30 pm PST: Ivy and Apurva<br />
| width=25% |<br />
<br />
==== 30 Jan (Wed) ====<br />
* 8:00 am PST: Albert A?<br />
* 8:30 am PST: Tom and Josefine<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon, if needed) ====<br />
* 9:00 am PST: Open<br />
* 9:30 am PST: Open<br />
<hr><br />
* 5:00 pm PST: Open<br />
<br><br />
Please only use these slots of none of the others work (it is a bit late in the timeline for proposals)<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-23T16:08:39Z<p>Murray: /* 30 Jan (Thu) */</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: Rory/Joe<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: Chelsea, Katherine<br />
<br><br />
(Richard is off campus on Fri; all meetings via Skype)<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: Bruno and Francesca<br />
* 5:30 pm PST: Ivy and Apurva<br />
| width=25% |<br />
<br />
==== 30 Jan (Thu) ====<br />
* 9:00 am PST: Albert A<br />
* 9:30 am PST: Tom and Josefine<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon, if needed) ====<br />
* 9:00 am PST: Open<br />
* 9:30 am PST: Open<br />
<hr><br />
* 5:00 pm PST: Open<br />
<br><br />
Please only use these slots of none of the others work (it is a bit late in the timeline for proposals)<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_2020:_Synthetic_CellSURF 2020: Synthetic Cell2020-01-23T15:25:13Z<p>Murray: Redirected page to SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines</p>
<hr />
<div>#REDIRECT [[SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_2020:_Genetically-Programmed_Synthetic_Cells_and_Multi-Cellular_MachinesSURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines2020-01-23T15:24:48Z<p>Murray: Murray moved page SURF 2018: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines to SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines</p>
<hr />
<div>'''[[SURF 2018|2018 SURF]] project description'''<br />
* Mentor: Richard Murray<br />
<br />
Synthetic biology focuses on the design and construction of<br />
genetically-encoded devices, pathways, networks, and systems that <br />
harness some of the capabilities of biology. A major challenge in<br />
synthetic biology is learning how to systematically design and implement<br />
biomolecular circuits that carry out useful functions such as synthesis<br />
of materials (biofuels, specialty chemicals), detection of molecular<br />
events in their environment, and biologically-compatible computations.<br />
My group's work focuses on the implementation of biomolecular feedback<br />
circuits to improve the performance, robustness, and modularity of<br />
engineering biological circuits. A particular emphasis is on the use of<br />
cell-free systems as prototyping environments for more complex systems.<br />
<br />
By leveraging work in my group and others over the past decade, <br />
we are plausibly within 10--15 years of being able to produce<br />
genetically-programmed synthetic cells and multi-cellular machines that<br />
can carry out useful engineering operations. Unlike more traditional<br />
synthetic biology approaches, synthetic cells are non-living: they<br />
make use of genetic elements provided by biology, but they do not<br />
replicate, mutate or evolve. Applications range from synthesis of<br />
bio-compatible materials, to environmental monitoring and remediation,<br />
to self-assembly of complex multi-cellular machines that mimic <br />
some capabilities of natural systems. Pursuing this vision will<br />
require new approaches to biomolecular systems engineering, focused on<br />
moving from creation and characterization of devices to systematic<br />
specification, design, integration, and verification of circuits,<br />
subsystems, cells, and multi-component systems.<br />
<br />
There are multiple opportunities for SURF projects to move forward with some of the initial steps in this research area. Students who are interested in this project should read the proposal attached below, formulate some thoughts on possible projects that fit with their background and expertise, and be prepared to work on a cutting edge, ''competitive'' proposal. Unlike other SURF projects, support for SURF proposals in this area is not guaranteed: students must put together a compelling proposal that matches their background and expertise in order to receive endorsement for their SURF proposal. <br />
<br />
* [[Media:dod16-vbff.pdf|VBFF project proposal (PDF)]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_2018:_Genetically-Programmed_Synthetic_Cells_and_Multi-Cellular_MachinesSURF 2018: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines2020-01-23T15:24:48Z<p>Murray: Murray moved page SURF 2018: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines to SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines</p>
<hr />
<div>#REDIRECT [[SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-23T02:09:27Z<p>Murray: /* 24 Jan (Fri) */</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: open<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: open<br />
<br><br />
(Richard is off campus on Fri; all meetings via Skype)<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: Bruno and Francesca<br />
* 5:30 pm PST: Ivy and Apurva<br />
| width=25% |<br />
<br />
==== 30 Jan (Thu) ====<br />
* 9:00 am PST: open<br />
* 9:30 am PST: Tom and Josefine<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon, if needed) ====<br />
* 9:00 am PST: Open<br />
* 9:30 am PST: Chelsea, Katherine<br />
<hr><br />
* 5:00 pm PST: Open<br />
<br><br />
Please only use these slots of none of the others work (it is a bit late in the timeline for proposals)<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-23T02:08:41Z<p>Murray: </p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: open<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: open<br />
<br />
(Richard is off campus on Fri; all meetings via Skype)<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: Bruno and Francesca<br />
* 5:30 pm PST: Ivy and Apurva<br />
| width=25% |<br />
<br />
==== 30 Jan (Thu) ====<br />
* 9:00 am PST: open<br />
* 9:30 am PST: Tom and Josefine<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon, if needed) ====<br />
* 9:00 am PST: Open<br />
* 9:30 am PST: Chelsea, Katherine<br />
<hr><br />
* 5:00 pm PST: Open<br />
<br><br />
Please only use these slots of none of the others work (it is a bit late in the timeline for proposals)<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-23T00:23:21Z<p>Murray: </p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: open<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
* 5:30 pm PST: Ivy and Apurva<br />
| width=25% |<br />
<br />
==== 30 Jan (Thu) ====<br />
* 9:00 am PST: open<br />
* 9:30 am PST: Tom and Josefine<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon, if needed) ====<br />
* 9:00 am PST: Open<br />
* 9:30 am PST: Chelsea, Katherine<br />
<hr><br />
* 5:00 pm PST: Open<br />
<br><br />
Please only use these slots of none of the others work (it is a bit late in the timeline for proposals)<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-20T19:05:05Z<p>Murray: /* 31 Jan (Thu) */</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: open<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
* 5:30 pm PST: open<br />
| width=25% |<br />
<br />
==== 30 Jan (Thu) ====<br />
* 9:00 am PST: open<br />
* 9:30 am PST: open<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon, if needed) ====<br />
* 9:00 am PST: Open<br />
* 9:30 am PST: Open<br />
<hr><br />
* 5:00 pm PST: Open<br />
<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-20T19:04:42Z<p>Murray: /* 6 Feb (Thu) */</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: open<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
* 5:30 pm PST: open<br />
| width=25% |<br />
<br />
==== 31 Jan (Thu) ====<br />
* 9:00 am PST: open<br />
* 9:30 am PST: open<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon, if needed) ====<br />
* 9:00 am PST: Open<br />
* 9:30 am PST: Open<br />
<hr><br />
* 5:00 pm PST: Open<br />
<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-20T19:03:32Z<p>Murray: /* 31 Jan (Thu) */</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: open<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
* 5:30 pm PST: open<br />
| width=25% |<br />
<br />
==== 31 Jan (Thu) ====<br />
* 9:00 am PST: open<br />
* 9:30 am PST: open<br />
| width=25% |<br />
<br />
==== 6 Feb (Thu) ====<br />
* TBD (if needed)<br />
<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-20T19:02:38Z<p>Murray: /* 3 Feb (Mon) */</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: open<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 28 Jan (Tue) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
* 5:30 pm PST: open<br />
| width=25% |<br />
<br />
==== 31 Jan (Thu) ====<br />
* 9:00 am PST: open<br />
* 9:30 am PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 6 Feb (Thu) ====<br />
* TBD (if needed)<br />
<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2020SURF discussions, Jan 20202020-01-20T19:01:39Z<p>Murray: Created page with "Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__ In preparation for our convers..."</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: open<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
* 5:30 pm PST: open<br />
| width=25% |<br />
<br />
==== 31 Jan (Thu) ====<br />
* 9:00 am PST: open<br />
* 9:30 am PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 6 Feb (Thu) ====<br />
* TBD (if needed)<br />
<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2019SURF discussions, Jan 20192020-01-20T19:01:26Z<p>Murray: Undo revision 23295 by Murray (talk)</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 28 Jan (Mon) ====<br />
* 5:00 pm PST: Victoria / Andy <br />
* 5:30 pm PST: open<br />
| width=25% |<br />
<br />
==== 29 Jan (Tue) ====<br />
* 12:00 pm PST: Ann / Cindy<br />
| width=25% |<br />
<br />
==== 31 Jan (Thu) ====<br />
* 12:00 pm PST: Isabelle / John<br />
| width=25% |<br />
<br />
==== 1 Feb (Fri) ====<br />
* 11:15 am PST: Ludvig / Petter<br />
<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2019SURF discussions, Jan 20192020-01-20T19:01:03Z<p>Murray: Undo revision 23296 by Murray (talk)</p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 28 Jan (Mon) ====<br />
* 5:00 pm PST: Victoria / Andy <br />
* 5:30 pm PST: open<br />
| width=25% |<br />
<br />
==== 29 Jan (Tue) ====<br />
* 12:00 pm PST: Ann / Cindy<br />
| width=25% |<br />
<br />
==== 31 Jan (Thu) ====<br />
* 12:00 pm PST: Isabelle / John<br />
| width=25% |<br />
<br />
==== 1 Feb (Fri) ====<br />
* 11:15 am PST: Ludvig / Petter<br />
<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2019SURF discussions, Jan 20192020-01-20T18:59:52Z<p>Murray: </p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 24 Jan (Fri) ====<br />
* 2:00 pm PST: open<br />
* 2:30 pm PST: open<br />
<hr><br />
* 4:30 pm PST: open<br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 3 Feb (Mon) ====<br />
* 1:30 pm PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
* 5:30 pm PST: open<br />
| width=25% |<br />
<br />
==== 31 Jan (Thu) ====<br />
* 9:00 am PST: open<br />
* 9:30 am PST: open<br />
<hr><br />
* 5:00 pm PST: open<br />
| width=25% |<br />
<br />
==== 6 Feb (Thu) ====<br />
* TBD (if needed)<br />
<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=SURF_discussions,_Jan_2019SURF discussions, Jan 20192020-01-20T18:55:45Z<p>Murray: </p>
<hr />
<div>Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__<br />
<br />
In preparation for our conversation, please do the following:<br />
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)<br />
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal<br />
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal.<br />
* Please read through the [[http:sfp.caltech.edu/students/proposal/surf_and_amgen_proposals|SURF proposal information page]] to see what the SURF office requires (and when)<br />
<br />
<br />
{| border=1 width=100%<br />
|- valign=top<br />
| width=25% |<br />
==== 28 Jan (Mon) ====<br />
* 5:00 pm PST: Victoria / Andy <br />
* 5:30 pm PST: open<br />
| width=25% |<br />
<br />
==== 29 Jan (Tue) ====<br />
* 12:00 pm PST: Ann / Cindy<br />
| width=25% |<br />
<br />
==== 31 Jan (Thu) ====<br />
* 12:00 pm PST: Isabelle / John<br />
| width=25% |<br />
<br />
==== 1 Feb (Fri) ====<br />
* 11:15 am PST: Ludvig / Petter<br />
<br />
|}<br />
<br />
The agenda for the phone call is (roughly):<br />
<br />
# Description of the basic idea behind the project (based on applicant's understanding)<br />
# Discussion about approaches, things to read, variations to consider, etc<br />
# Discussion of the format of the proposal<br />
# Questions and discussion about the process</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=CMS_273,_Winter_2020CMS 273, Winter 20202020-01-13T06:23:35Z<p>Murray: </p>
<hr />
<div><table width="100%"><br />
<tr><td align=center><br />
<font color='blue' size='+2'>Frontiers in Computing and Mathematical Sciences</font><br />
</td></tr><tr><td align=center><font color='blue' size='+1'>Winter 2020</font><br />
</td></tr></table><br />
<br />
* Organizers: Richard Murray (murray@caltech.edu), E. Schmidt, S. Feldman<br />
* Class meeting: 6 Jan (Mon), 12 pm, 213 Annenberg (box lunches will be provided)<br />
<br />
{{righttoc}} <br />
The purpose of this course is to explore applications of tools from Computing and Mathematical Sciences to new problem domains. The course is organized around small teams consisting of CMS and non-CMS students who will work on projects of mutual interest in some faculty member's research area. Our main goals are for the participating CMS and science/engineering faculty to become more familiar with each other's work and expertise, and to get our graduate students interacting with one another.<br />
<br />
The output of the course will be a short paper of the sort that could be sent to a conference. The paper should consist of a short description of the problem under study and the relevant CDS tools, followed by a preliminary set of results and a description of next steps to be pursued.<br />
<br />
== Course Schedule ==<br />
<br />
<table border=1><br />
<tr><td align=center>Week</td><td align=center>Date</td><td>Event</td></tr><br />
<tr><td align=center rowspan=2>1</td><td align=center>6 Jan</td><td>Organizational meeting, 213 Annenberg @ 12 pm</td></tr><br />
<tr><td align=center>10 Jan</td><td>First team meeting, Location TBD @ 12 pm </td></tr><br />
<tr><td align=center>2-4</td><td align=center></td><td>Work in teams; define problem to be studied + approaches</td></tr><br />
<tr><td align=center>5</td><td align=center>6 Feb</td><td>Midterm presentations, location and time TBD</td></tr><br />
<tr><td align=center>6-8</td><td align=center></td><td>Work in teams</td></tr><br />
<tr><td align=center>9</td><td align=center>6 Mar</td><td>Final presentations, location and time TBD</td></tr><br />
<tr><td align=center>11</td><td align=center>18 Mar</td><td>Final reports due (by 5 pm)</td></tr><br />
</table><br />
<br />
== Projects ==<br />
<br />
<!-- * Name: {{cms273 slides|wi200|name|Title}} --><br />
* David Anderson/Ann Kennedy: {{cms273 slides|wi20|kennedy_neural|Registration and inverse problems in in vivo neural imaging}}<br />
* David Anderson/Ann Kennedy: {{cms273 slides|wi20|kennedy_behavior|Hierarchical models of time series data in animal behavior}}<br />
* Chiara Daraio: {{cms273 slides|wi20|daraio|Data-driven materials design}}<br />
* Michael Dickinson: {{cms273 slides|wi20|dickinson|Precise pose estimation of freely flying animals}}<br />
* Christian Frankenberg: {{cms273 slides|wi20|frankenberg|Trace gas plume detection and flux estimation from 2D imagery}}<br />
* Gregg Hallinan: {{cms273 slides|wi20|hallinan|Optimized Sampling for Next-Generation Radio Telescopes}}<br />
* Evan Kirby: {{cms273 slides|wi20|kirby|Extracting the Most Information from Low-Resolution, Noisy Stellar Spectra}}<br />
<br />
== Resources ==<br />
<br />
* {{cms273 slides|wi20|ai_survey_paper|A Survey of Deep Learning for Scientific Discovery}}, M. Raghu and E. Schmidt (Caltech access only)<br />
<br />
== Units and Grading ==<br />
<br />
CMS 273 is a 9 unit course, offered either graded or pass/fail. Each team is expected to complete the following:<br />
<br />
* Project presentation: each team will make short (15-20 min) presentations in the middle and toward the end of the term, describing the focus of their project. Comments on these presentations will be provided to the team for incorporation in the final report.<br />
<br />
* Final report: each team will prepare a paper describing their work during the term. This should build on the midterm report by including some preliminary results and/or case studies.<br />
<br />
In order to complete the work for the term, each team should plan on meeting at least once per week. The first team meeting will be on Friday, 10 Jan, at 12 pm in 107 Annenberg (at which time a regular meeting time can be established by the team).<br />
<br />
[[Category:Courses]]</div>Murrayhttps://www.cds.caltech.edu/~murray/wiki/index.php?title=Group_Schedule,_Winter_2020Group Schedule, Winter 20202020-01-12T22:59:49Z<p>Murray: </p>
<hr />
<div>This page contains information about various upcoming events that are of interest to the group. __NOTOC__<br />
{| width=60%<br />
|- valign=top<br />
| width=50% |<br />
* [[Schedule|Richard's calendar (travel)]]<br />
| width=50% |<br />
* [[Group Schedule, Fall 2019]]<br />
|}<br />
<br />
The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck and NCS meetings are in 110 Steele.<br />
<br />
{| width=100% border=1<br />
|- valign=top<br />
<br />
| width=25% |<br />
=== Week 1: 6-10 Jan ===<br />
'''Biocircuits: <s>Tue, 10a-12p</s> <font color=blue>Thu, 9a-11a</font>'''<br />
* Andrey<br />
* James<br />
'''NCS: Wed, 2p-3p'''<br />
* Chuchu<br />
<br />
| width=25% |<br />
<br />
=== Week 2: 13-17 Jan===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1G5EExMEddM0j4MsxgDDn4i1rqZlicP1NFRZwufi_9RU/|Individual updates]]<br />
* Meeting may shift to 9a-11a<br />
'''NCS: Wed, <s>2p-3p</s> <font color=blue>1:30p-2:30p</font>'''<br />
* Francesca<br />
| width=25% |<br />
<br />
=== Week 3: 20-24 Jan ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* TBD<br />
'''NCS: Wed, 2p-3p'''<br />
* Prithvi<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 4: 27-31 Jan ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* John<br />
* Reed<br />
* Meeting may shift to 3p-5p<br />
'''NCS: Wed, 2p-3p'''<br />
* Sumanth<br />
<br />
|- valign=top<br />
| width=25% |<br />
<br />
=== Week 5: 3-7 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1mk32NlP3jCZOVcuGsfP7EWW7jrn909-ySrUrmg3bNxQ|Individual updates]]<br />
'''NCS: Wed, 2p-3p'''<br />
* Karena<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 6: 10-14 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* TBD<br />
* Meeting may shift to 9a-11a<br />
'''NCS: Wed, 2p-3p'''<br />
* Richard C<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 7: 17-21 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* Leo<br />
* Cindy<br />
'''NCS: Wed, 2p-3p'''<br />
* Tung<br />
<br />
| width=25% |<br />
<br />
=== Week 8: 24-28 Feb ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1N4256hP3pr9ja3Qr4DYYDCnD9XOJeyc2cwBHU5Y2RUQ|Individual updates]]<br />
* Meeting may shift to 9a-11a<br />
'''NCS: Wed, 2p-3p'''<br />
* Reza<br />
<!-- hr --><br />
<br />
|- valign=top<br />
| width=25% |<br />
<br />
=== Week 9: 2-6 Mar ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* Liana<br />
* Sophie<br />
'''NCS: Wed, 2p-3p'''<br />
* UG/visitor<br />
<br />
| width=25% |<br />
<br />
=== Week 10: 9-13 Mar ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* Ayush<br />
* Sam<br />
* Meeting may be cancelled<br />
'''NCS: Wed, 2p-3p'''<br />
* Yuxiao<br />
* Meeting may be cancelled<br />
<br />
| width=25% |<br />
<br />
=== Week 11: 16-20 Mar ===<br />
'''Biocircuits: Tue, 10a-12p'''<br />
* [[http:docs.google.com/presentation/d/1Fe9_7Y9qM6UqJLlByVmxeJ7PPTLwMiFUcbowFfT0Bho|Individual updates]]<br />
* Meeting may be cancelled<br />
'''NCS: Wed, 2p-3p'''<br />
* Apurva<br />
* Meeting may be cancelled<br />
<!-- hr --><br />
<br />
| width=25% |<br />
<br />
=== Week 12: 23-27 Mar ===<br />
* Spring break<br />
<br />
|}</div>Murray