Murray Wiki - User contributions [en]

Group Schedule, Winter 2020

2020-02-06T03:49:27Z

Chenyx: /* Week 10: 9-13 Mar */

This page contains information about various upcoming events that are of interest to the group. __NOTOC__
{| width=60%
|- valign=top
| width=50% |
* [[Schedule|Richard's calendar (travel)]]
| width=50% |
* [[Group Schedule, Fall 2019]]
|}

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.

{| width=100% border=1
|- valign=top

| width=25% |
=== Week 1: 6-10 Jan ===
'''Biocircuits: <s>Tue, 10a-12p</s> Thu, 9a-11a'''
* Andrey
* James
'''NCS: Wed, 2p-3p'''
* Chuchu

| width=25% |

=== Week 2: 13-17 Jan===
'''Biocircuits: Tue, 10a-12p'''
* [[http:docs.google.com/presentation/d/1G5EExMEddM0j4MsxgDDn4i1rqZlicP1NFRZwufi_9RU/|Individual updates]]
* Meeting may shift to 9a-11a
'''NCS: Wed, <s>2p-3p</s> 1:30p-2:30p'''
* Francesca
| width=25% |

=== Week 3: 20-24 Jan ===
'''Biocircuits: Tue, 10a-12p'''
* TBD
'''NCS: Wed, 2p-3p'''
* Prithvi


| width=25% |

=== Week 4: 27-31 Jan ===
'''Biocircuits: Tue, 10a-12p'''
* John
* Reed
* Meeting may shift to 3p-5p
'''NCS: Wed, 2p-3p'''
* Sumanth

|- valign=top
| width=25% |

=== Week 5: 3-7 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* [[http:docs.google.com/presentation/d/1mk32NlP3jCZOVcuGsfP7EWW7jrn909-ySrUrmg3bNxQ|Individual updates]]
'''NCS: Wed, 2p-3p'''
* Karena


| width=25% |

=== Week 6: 10-14 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* TBD
* Meeting may shift to 9a-11a
'''NCS: Wed, 2p-3p'''
* Richard C


| width=25% |

=== Week 7: 17-21 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* Leo
* Sam
'''NCS: Wed, 2p-3p'''
* Yuxiao

| width=25% |

=== Week 8: 24-28 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* [[http:docs.google.com/presentation/d/1N4256hP3pr9ja3Qr4DYYDCnD9XOJeyc2cwBHU5Y2RUQ|Individual updates]]
* Meeting may shift to 9a-11a
'''NCS: Wed, 2p-3p'''
* Reza


|- valign=top
| width=25% |

=== Week 9: 2-6 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Liana
* Sophie
'''NCS: Wed, 2p-3p'''
* UG/visitor

| width=25% |

=== Week 10: 9-13 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Ayush
* Cindy
* Meeting may be cancelled
'''NCS: Wed, 2p-3p'''
* Tung
* Meeting may be cancelled

| width=25% |

=== Week 11: 16-20 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* [[http:docs.google.com/presentation/d/1Fe9_7Y9qM6UqJLlByVmxeJ7PPTLwMiFUcbowFfT0Bho|Individual updates]]
* Meeting may be cancelled
'''NCS: Wed, 2p-3p'''
* Apurva
* Meeting may be cancelled


| width=25% |

=== Week 12: 23-27 Mar ===
* Spring break

|}

Group Schedule, Winter 2020

2020-02-06T03:49:16Z

Chenyx: /* Week 7: 17-21 Feb */

This page contains information about various upcoming events that are of interest to the group. __NOTOC__
{| width=60%
|- valign=top
| width=50% |
* [[Schedule|Richard's calendar (travel)]]
| width=50% |
* [[Group Schedule, Fall 2019]]
|}

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.

{| width=100% border=1
|- valign=top

| width=25% |
=== Week 1: 6-10 Jan ===
'''Biocircuits: <s>Tue, 10a-12p</s> Thu, 9a-11a'''
* Andrey
* James
'''NCS: Wed, 2p-3p'''
* Chuchu

| width=25% |

=== Week 2: 13-17 Jan===
'''Biocircuits: Tue, 10a-12p'''
* [[http:docs.google.com/presentation/d/1G5EExMEddM0j4MsxgDDn4i1rqZlicP1NFRZwufi_9RU/|Individual updates]]
* Meeting may shift to 9a-11a
'''NCS: Wed, <s>2p-3p</s> 1:30p-2:30p'''
* Francesca
| width=25% |

=== Week 3: 20-24 Jan ===
'''Biocircuits: Tue, 10a-12p'''
* TBD
'''NCS: Wed, 2p-3p'''
* Prithvi


| width=25% |

=== Week 4: 27-31 Jan ===
'''Biocircuits: Tue, 10a-12p'''
* John
* Reed
* Meeting may shift to 3p-5p
'''NCS: Wed, 2p-3p'''
* Sumanth

|- valign=top
| width=25% |

=== Week 5: 3-7 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* [[http:docs.google.com/presentation/d/1mk32NlP3jCZOVcuGsfP7EWW7jrn909-ySrUrmg3bNxQ|Individual updates]]
'''NCS: Wed, 2p-3p'''
* Karena


| width=25% |

=== Week 6: 10-14 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* TBD
* Meeting may shift to 9a-11a
'''NCS: Wed, 2p-3p'''
* Richard C


| width=25% |

=== Week 7: 17-21 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* Leo
* Sam
'''NCS: Wed, 2p-3p'''
* Yuxiao

| width=25% |

=== Week 8: 24-28 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* [[http:docs.google.com/presentation/d/1N4256hP3pr9ja3Qr4DYYDCnD9XOJeyc2cwBHU5Y2RUQ|Individual updates]]
* Meeting may shift to 9a-11a
'''NCS: Wed, 2p-3p'''
* Reza


|- valign=top
| width=25% |

=== Week 9: 2-6 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Liana
* Sophie
'''NCS: Wed, 2p-3p'''
* UG/visitor

| width=25% |

=== Week 10: 9-13 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Ayush
* Cindy
* Meeting may be cancelled
'''NCS: Wed, 2p-3p'''
* Yuxiao
* Meeting may be cancelled

| width=25% |

=== Week 11: 16-20 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* [[http:docs.google.com/presentation/d/1Fe9_7Y9qM6UqJLlByVmxeJ7PPTLwMiFUcbowFfT0Bho|Individual updates]]
* Meeting may be cancelled
'''NCS: Wed, 2p-3p'''
* Apurva
* Meeting may be cancelled


| width=25% |

=== Week 12: 23-27 Mar ===
* Spring break

|}

Liren Yang, 5-6 Feb 2020

2020-02-03T01:26:34Z

Chenyx:

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).

=== Schedule ===

5 Feb (Wed)
* 2:00p: NCS group meeting
* 3:00p: CDS tea
* 3:30p: Open
* 4:15p: Open
* 5:00p: Informal seminar - 121 Annenberg
* 6:00p: Dinner with Richard + students (add your name here if you want to go): Apurva

6 Feb (Thu)
* 9:15a: Richard Murray, 109 Steele Lab
* 10:00a: Apurva
* 10:45a: Yuxiao
* 11:30a: Open
* 12:15p: done for the day

Kristin Rozier, May 2019

2019-05-15T17:51:23Z

Chenyx: /* Schedule */

Kristin Rozier will visit Caltech on 17 May (Fri). Kristin is an Assistant Professor at Iowa State University, in the Aerospace Engineering and Computer Science Departments. Previous to that, she spent three semesters at the University of Cincinnati (2015-2016) and 14 years as a Research Scientist at NASA, holding civil service positions at NASA Ames Research Center (2008-2014) and NASA Langley Research Center (2001-2008).

=== Schedule ===

* 10 am: Soon-Jo Chung (235 Guggenheim)
* 10:30 am: open
* 11:00 am: Seminar, 111 Keck
* 12:00 pm: Lunch with Richard
* 1:15 pm: Tung Phan (Steele library)
* 2:00 pm: Yuxiao Chen (Steele library)
* 2:45 pm: Apurva
* 3:30 pm: Open (if needed)
* 4:15 pm: Open (if needed)
* 5:00 pm: Done for the day

=== Seminar abstract ===

From Unmanned Aerial Systems to Robonaut2: On-board Runtime Reasoning in Air and Space

Kristin Rozier
Iowa State University

Runtime Verification (RV) has become critical to the deployment of a wide range of systems, including aircraft, spacecraft, satellites, rovers, and robots. The most useful, important, and safety-critical jobs will require these systems to operate both intelligently and autonomously, with the ability to sense and respond to both nominal and off-nominal conditions. It is essential that we enable reasoning sufficient to react to challenging environments and detect critical failures on-board, in real time, to enable mitigation triggering. We are challenged by the constraints of real-life embedded operation that limit the system instrumentation, space, timing, power, weight, cost, and other operating conditions of on-board, runtime verification. While the research area of RV is vast, there is a dearth of RV tools that can operate within these constraints, and without violating, e.g., FAA rules for flight certification.

The Realizable, Responsive, Unobtrusive Unit (R2U2) analyzes specifications that combine temporal logics with probabilistic reasoning to provide formal assurances during runtime, enabling self-assessment of critical systems. This presentation overviews the achievements of the three-year NASA Early Career Faculty proposal, "Multi-Platform, Multi-Architecture Runtime Verification of Autonomous Space Systems." We discuss the unique design of R2U2 and demo R2U2 on-board Robonaut2, disambiguation emergent faults in the knee joint. We highlight on-going work in predictive and adaptable runtime verification, including adaptations for other platforms, and seek future collaborations with JPL missions.

Elahe Aghapour, Feb 2019

2019-02-19T02:50:59Z

Chenyx: /* 19 Feb 2019 (Tue) */

Elahe Aghapour is a Ph.D. student at University of California, Riverside, working with Prof. Jay A. Farrell. Her work is focused was on autonomous vehicle control, divided in three sub-projects, a) Risk-averse performance specified state estimation which is an optimization based approach to select a subset of good measurements when measurements may be affected by outliers, b) system identification and data driven method for human action prediction using behavioral approach, and c) mixed sample rate nonlinear smoothing.

=== 19 Feb 2019 (Tue) ===

* ~8:45 am: arrival
* 9 am: seminar, 115 Gates-Thomas
* 10 am: Tung and Karena?
* 11a: Aaron, Gates-Thomas
* 11:30: Richard, 107 Steele
* 12p: lunch with Yuxiao and Reza (meet at Richard's office)
* 1:15p: Open
* 2:00p: Open
* 2:45p: Yuxiao and Reza
* 3:30p: AmberLab (B121 in Gates-Thomas)
* 4p: final meeting with Richard
* 4:30p: done for the day