Murray Wiki - User contributions [en]

Sarah Dean, 11-12 Feb 2020

2020-02-10T03:35:53Z

Sdathath: /* Wednesday (12 Feb) */

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.

=== Schedule ===

{| width=100%
|- valign=top
| width=50% |
==== Tuesday (11 Feb) ====
* 11:40 am arrival in BUR
* ~12:15 pm: arrival on campus
* 12:15 pm: John Doyle
* 1:00 pm: Quick lunch (TBD)
* 1:30 pm: Richard Murray (109 Steele Lab)
* 2:00 pm: Open
* 2:45 pm: Open
* 3:30 pm: Anima Anandkumar (30 min)
* 4:00 pm: Seminar
* 5:00 pm: Katie Bouman (30 min)
* 6:00 pm: Dinner with Richard + grad students, postdocs
| width=50% |

==== Wednesday (12 Feb) ====
* 8:45 am: Kamyar Azizzadenesheli (337)
* 9:30 am: Richard Cheng (205 Gates Thomas)
* 10:15 am: MJ Khojasteh (255 Moore Lab)
* 11:00 am: Ludwig Schmidt seminar
* 12:00 pm: Lunch with faculty or grad students
* 1:15 pm: Yisong Yue (303 Annenberg)
* 2:00 pm: Aaron Ames (266 Gates-Thomas)
* 2:30 pm: Meet with Ames' Students (121 Gates Thomas)
* 3:00 pm: CDS tea
* 3:30 pm: Angie Liu (315)
* 4:00 pm: Sumanth (Steele Library, opposite 109 Steele Lab)
* 4:30 pm: Wrap up meeting with Richard (109 Steele Lab)
* 4:45 pm: Depart campus
* 6:40 pm departure from BUR
|}

=== Seminar ===

Safe and Robust Perception-Based Control 
Sarah Dean, UC Berkeley

Tue, 11 February, 4 pm 
105 Annenberg

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.

Sarah Dean, 11-12 Feb 2020

2020-02-07T21:04:38Z

Sdathath: /* Wednesday (12 Feb) */

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.

=== Schedule ===

{| width=100%
|- valign=top
| width=50% |
==== Tuesday (11 Feb) ====
* 11:40 am arrival in BUR
* ~12:15 pm: arrival on campus
* 12:15 pm: John Doyle
* 1:00 pm: Quick lunch (TBD)
* 1:30 pm: Richard Murray (109 Steele Lab)
* 2:00 pm: Open
* 2:45 pm: Open
* 3:30 pm: Anima Anandkumar (30 min)
* 4:00 pm: Seminar
* 5:00 pm: Katie Bouman (30 min)
* 6:00 pm: Dinner with Richard + grad students, postdocs
| width=50% |

==== Wednesday (12 Feb) ====
* 8:45 am: Kamyar Azizzadenesheli (337)
* 9:30 am: Open
* 10:15 am: MJ Khojasteh
* 11:00 am: Ludwig Schmidt seminar
* 12:00 pm: Lunch with faculty or grad students
* 1:15 pm: Yisong Yue (303 Annenberg)
* 2:00 pm: Aaron Ames (266 Gates-Thomas)
* 2:30 pm: Meet with Ames' Students (121 Gates Thomas)
* 3:00 pm: CDS tea
* 3:30 pm: Angie Liu (315)
* 4:00 pm: Sumanth (30 min)
* 4:30 pm: Wrap up meeting with Richard (109 Steele Lab)
* 4:45 pm: Depart campus
* 6:40 pm departure from BUR
|}

=== Seminar ===

Safe and Robust Perception-Based Control 
Sarah Dean, UC Berkeley

Tue, 11 February, 4 pm 
105 Annenberg

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.

Liren Yang, 5-6 Feb 2020

2020-02-06T04:48:02Z

Sdathath: /* Schedule */

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: Chuchu (meet at CDS tea)
* 4:15p: Karena
* 5:00p: Informal seminar - 121 Annenberg
* 6:00p: Dinner with Richard, Apurva, Yuxiao, Josefine
6 Feb (Thu)
* 9:15a: Richard Murray, 109 Steele Lab
* 10:00a: Apurva (pick up at Richard's office)
* 10:45a: Yuxiao
* 11:30a: Open
* 12:15p: Lunch
* 1:15p: Sumanth
* 2:00p: Tung
* 2:45p: Josefine
* 3:30p: Done for the day

=== Talk ===

Correct-by-construction fault-tolerant control of complex dynamical systems

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.

Liren Yang, 5-6 Feb 2020

2020-02-03T04:28:58Z

Sdathath: /* Schedule */

Eric Wolff, 11 Dec 2019

2019-12-08T23:30:54Z

Sdathath:

Eric Wolff from nuTonomy will visit Caltech on 11 Dec (Wed). If you would like to meet with him, sign up below:

* 1:00 pm: Sumanth
* 1:30 pm: open
* 2:00 pm: open
* 2:30 pm: Richard
* 3:00 pm: CDS tea

Sandeep Chichali, 16 Oct 2019

2019-10-16T01:37:34Z

Sdathath: /* Schedule */

Sandeep Chinchali, a Caltech alum and PhD students at Stanford, will visit Caltech onn 16 Oct (Wed). If you would like to meet with him, sign up here.

=== Schedule ===

* 11 am: seminar
* 12 pm: lunch with Richard (and Joel, if he is around)
* 1 pm: Sumanth (Ann Lounge, level 3)
* 1:30 pm: Open
* 2:00 pm: Open
* 2:30 pm: Francesca
* 3 pm: CDS tea (optional)
* 3:45 pm: RMM group meeting (you are welcome to come if you like)

=== Seminar ===

Distributed Perception Between Robots and the Cloud: A Learning-Based Approach 
Sandeep Chinchali, PhD candidate, Stanford 
16 Oct (Wed), 11a-12p, 121 Annenberg

Today’s robotic fleets are increasingly facing two coupled challenges. First, they are measuring growing volumes of high-bitrate video and LIDAR sensory streams, which, second, often leads them to use increasingly compute-intensive models, such as deep neural networks (DNNs), for downstream perception or control. To cope with these intertwined challenges, compute and storage-limited robots, such as low-power drones, can offload data to central servers (or “the cloud”), for more accurate real-time perception as well as offline model learning. However, cloud processing of large robotic sensory streams introduces acute systems bottlenecks ranging from network delay for real-time inference, to cloud storage, human annotation, and cloud-computing costs for offline model learning.

In this talk, I will present learning-based approaches for robots to improve model performance with cloud computing, but with minimal systems cost. For real-time inference, I will present a deep reinforcement learning based offloader that decides when a robot should exploit low-latency, on-board computation, or, when highly uncertain, query a more accurate cloud model. Then, for continual learning, I will present an intelligent, on-robot sampler that mines real-time sensory streams for valuable training examples to send to the cloud for model re-training and specialization. Using insights from months of field data and experiments on state-of-the-art embedded deep learning hardware, I will show how simple learning algorithms can allow robots to significantly transcend their on-board sensing performance, but with limited cloud communication cost. Finally, I will conclude with future directions in data-driven networked control, informed by my industry collaborations.

Bio:
Sandeep Chinchali is a final-year Computer Science PhD candidate at Stanford, advised by Marco Pavone and Sachin Katti. Previously, he was an early engineer at Uhana, a Stanford startup working on data-driven optimization of cellular networks, now acquired by VMWare. His
research on cloud robotics and data-driven control of wireless systems has led to successful proof-of-concept trials with major cellular network operators, and was a finalist for best student paper at Robotics: Science and Systems 2019. Prior to Stanford, he graduated from Caltech, where he worked on applications of formal methods in robotics.

Daniel Fremont, Sep 2018

2018-09-17T19:05:58Z

Sdathath: /* Agenda */

Daniel Fremont, a PhD student at UC Berkeley working with Sanjit Seshia, will visit Caltech on 21 Sep. Sign of for a time to meet with him below.

=== Agenda ===
* ~10:30-10:45 am: arrive at Caltech; meet in Jin Ge's office ()
* 11 am: seminar in 121 ANB
* 12 pm: Lunch with Jin, X, Y, Z (sign up if you want to join)
* 1:30 pm: Jin, Ann 337
* 2:15 pm: Tung, Steele library
* 3:00 pm: Sumanth, Steele library
* 3:45 pm: Open (replace with your name and location)
* 4:30 pm: Open, if needed (replace with your name and location)
* 5:15 pm: done for the day

=== Seminar ===

Algorithmic Improvisation 
Daniel Fremont, UC Berkeley 

21 Sep 2018, 11 am 
121 Annenberg

Algorithmic Improvisation is a framework for automatically synthesizing systems with random but controllable behavior. It can be used in a wide variety of applications where randomness can provide variety, robustness, or unpredictability but safety guarantees or other properties must be ensured. These include software fuzz testing, robotic surveillance, machine music improvisation, randomized control of systems mimicking human behavior, and generation of synthetic data sets to train and test machine learning algorithms. In this talk, I will discuss both the theory of algorithmic improvisation and its practical applications. I will define the underlying formal language-theoretic problem, “control improvisation”, analyze its complexity and give efficient algorithms to solve it. I will describe in detail two applications: planning randomized patrol routes for surveillance robots, and generating random scenes of traffic to improve the reliability of neural networks used for autonomous driving. The latter application involves the design of a domain-specific probabilistic programming language to specify traffic and other scenarios.

Daniel Fremont is a PhD student in the Group in Logic and the Methodology of Science at UC Berkeley, working with Sanjit Seshia. He received a B.S. degree in Mathematics and Physics from MIT in 2013. His research is generally in the area of formal methods, focusing on the problems of counting and uniform generation of solutions to Boolean formulas. This includes developing practical algorithms to solve these problems, as well as finding new applications to the construction, verification, and testing of software, hardware, and cyber-physical systems.

Group Schedule, Spring 2018

2018-04-30T18:31:29Z

Sdathath: /* Week 7: 14-18 May */

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 2017]]
|}

The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, here are the locations of the meetings:

:{| width=100%
|- valign=top
| width=30% |
* Biocircuits subgroup - 111 Keck
| width=30% |
* NCS subgroup - 110 Steele
| width=30% |
* Group meetings - 213 ANB
|}

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

| width=25% |
=== Week 1: 2-6 Apr ===
'''Biocircuits: Mon, 10a-12p'''
* [[http:docs.google.com/presentation/d/1sCvRNpzPMSvnvMZR97T3KuQGZz3GSuFmiMsa8raS4Po|Individual updates]]
'''NCS: Tue, <s>4p</s> 4:15p-5:30p'''
* Petter Nilsson


| width=25% |

=== Week 2: 9-13 Apr ===
'''Biocircuits: Mon, 10a-12p'''
* Chelsea Hu
* Leo
'''NCS: Tue, 1:30p-3p'''
* Jin


| width=25% |
=== Week 3: 16-20 Apr ===
'''Biocircuits: Mon, 10a-12p'''
* [[http:docs.google.com/presentation/d/1JO3XNnE3o1VT1qE59F01fJvuLADUTvnqJTKU_EYwInQ|Individual updates]]


| width=25% |

=== Week 4: 23-27 Apr ===
'''Biocircuits: Tue, 10a-12p'''
* James
* Vipul
'''NCS: Tue, 3p-4:30p'''
* Sofie


|- valign=top
| width=25% |
=== Week 5: 30 Apr - 4 May ===
'''Biocircuits: Mon, 10a-12p'''
* [[http:docs.google.com/presentation/d/1WziwwXnBtzfP5KFvEZtA6szPtYQvKHHVJaSVAHM15Mw|Individual updates]]
'''NCS: Tue, 1:30p-3p'''
* Ioannis


| width=25% |

=== Week 6: 7-11 May ===
'''Biocircuits: <s>Mon</s> Tue, 10a-12p'''
* Ania
* Anandh
'''NCS: Tue, 1:30p-3p'''
* Richard C


| width=25% |

=== Week 7: 14-18 May ===
'''Biocircuits: <s>Wed</s> Thu, 10a-12p'''
* [[http:docs.google.com/presentation/d/1_muCQXL51vE3KZmD6DsKcb3yOCroplzTK59w4ZVvm6g|Individual updates]]
'''NCS: <s>Wed</s> Fri, 1:30p-3p'''
* Sumanth


| width=25% |

=== Week 8: 21-25 May ===
* Richard out of town


|- valign=top
| width=25% |
=== Week 9: 28 May - 1 Jun ===
* Richard out of town


| width=25% |
=== Week 10: 4-8 Jun ===
'''Biocircuits: Mon, 10a-12p''' (tentative)
* [[http:docs.google.com/presentation/d/1m9JXonM5YYcxlukVsAY1cs7tkiBKmFVhbpF3j-K-pwU|Individual updates]]
'''Biocircuits: Wed, 11a-12p'''
* Lab cleanup
'''NCS: Mon, 1:30p-3p (tentative), 114 Steele'''
* Nikhil/Bose


| width=25% |

=== Week 11: 11-15 Jun ===
'''Biocircuits: Mon, 10a-12p'''
* David Ortega
* Jan Gregrowicz
* John Marken
'''NCS: Mon, 1:30p-3p, 114 Steele'''
* Karena


| width=25% |
|}

Group Schedule, Spring 2018

2018-04-30T18:31:21Z

Sdathath: /* Week 6: 7-11 May */

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 2017]]
|}

The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, here are the locations of the meetings:

:{| width=100%
|- valign=top
| width=30% |
* Biocircuits subgroup - 111 Keck
| width=30% |
* NCS subgroup - 110 Steele
| width=30% |
* Group meetings - 213 ANB
|}

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

| width=25% |
=== Week 1: 2-6 Apr ===
'''Biocircuits: Mon, 10a-12p'''
* [[http:docs.google.com/presentation/d/1sCvRNpzPMSvnvMZR97T3KuQGZz3GSuFmiMsa8raS4Po|Individual updates]]
'''NCS: Tue, <s>4p</s> 4:15p-5:30p'''
* Petter Nilsson


| width=25% |

=== Week 2: 9-13 Apr ===
'''Biocircuits: Mon, 10a-12p'''
* Chelsea Hu
* Leo
'''NCS: Tue, 1:30p-3p'''
* Jin


| width=25% |
=== Week 3: 16-20 Apr ===
'''Biocircuits: Mon, 10a-12p'''
* [[http:docs.google.com/presentation/d/1JO3XNnE3o1VT1qE59F01fJvuLADUTvnqJTKU_EYwInQ|Individual updates]]


| width=25% |

=== Week 4: 23-27 Apr ===
'''Biocircuits: Tue, 10a-12p'''
* James
* Vipul
'''NCS: Tue, 3p-4:30p'''
* Sofie


|- valign=top
| width=25% |
=== Week 5: 30 Apr - 4 May ===
'''Biocircuits: Mon, 10a-12p'''
* [[http:docs.google.com/presentation/d/1WziwwXnBtzfP5KFvEZtA6szPtYQvKHHVJaSVAHM15Mw|Individual updates]]
'''NCS: Tue, 1:30p-3p'''
* Ioannis


| width=25% |

=== Week 6: 7-11 May ===
'''Biocircuits: <s>Mon</s> Tue, 10a-12p'''
* Ania
* Anandh
'''NCS: Tue, 1:30p-3p'''
* Richard C


| width=25% |

=== Week 7: 14-18 May ===
'''Biocircuits: <s>Wed</s> Thu, 10a-12p'''
* [[http:docs.google.com/presentation/d/1_muCQXL51vE3KZmD6DsKcb3yOCroplzTK59w4ZVvm6g|Individual updates]]
'''NCS: <s>Wed</s> Fri, 1:30p-3p'''
* Richard C


| width=25% |

=== Week 8: 21-25 May ===
* Richard out of town


|- valign=top
| width=25% |
=== Week 9: 28 May - 1 Jun ===
* Richard out of town


| width=25% |
=== Week 10: 4-8 Jun ===
'''Biocircuits: Mon, 10a-12p''' (tentative)
* [[http:docs.google.com/presentation/d/1m9JXonM5YYcxlukVsAY1cs7tkiBKmFVhbpF3j-K-pwU|Individual updates]]
'''Biocircuits: Wed, 11a-12p'''
* Lab cleanup
'''NCS: Mon, 1:30p-3p (tentative), 114 Steele'''
* Nikhil/Bose


| width=25% |

=== Week 11: 11-15 Jun ===
'''Biocircuits: Mon, 10a-12p'''
* David Ortega
* Jan Gregrowicz
* John Marken
'''NCS: Mon, 1:30p-3p, 114 Steele'''
* Karena


| width=25% |
|}

Ben Richards, 20 Apr 2018

2018-04-17T05:38:03Z

Sdathath:

Ben Richards will visit Caltech on 20 Apr (Fri). Ben is an engineer for General Motors' North Hollywood Advanced Design Center who is interested in learning more about Caltech and our work on the VeHiCaL project.

Schedule:

* 2:00: Richard, 109 Steele Lab
* 2:45: Tung Minh Phan
* 3:30: Sumanth
* 4:15: Open
* 5:00: Open

Ben Richards, 20 Apr 2018

2018-04-17T05:37:24Z

Sdathath:

Karan Kalsi, Oct 2017

2017-10-03T21:54:58Z

Sdathath: /* 4 Oct (Wed) */

__NOTOC__
[[Image:Karan_Kalsi.jpg||right]]
Dr. Karan Kalsi is currently a power systems research engineer at the Pacific Northwest National Lab, Richland, WA, USA. He is the lead investigator on Department of Energy funded research to develop efficient, reliable and secure control strategies for Smart Grid assets. He is the principle investigator on the topic of developing future power grid control paradigms as part of the laboratory’s Future Power Grid Initiative. He is the Co-principle investigator on EED SEED project related to modeling and controls for distributed energy resources in microgrids. Karanjit is also actively involved with IEEE including being the 2011 Chair of the IEEE Richland Section Graduates of the Last Decade (GOLD) Affinity Group and was recently elected as the 2012 Vice-chair of Technical Activities and Outreach of the IEEE Richland Section Power and Energy Society.

More: http://energyenvironment.pnnl.gov/staff/staff_info.asp?staff_num=2178

== Schedule for Karan Kalsi visit, 2-5 Oct 2017 ==

=== 2 Oct (Mon) ===
* Morning: HR check-in, office setup
* Lunch: Richard
* 1:30 pm: Open
* 2:30 pm: Sofie Haesaert (Annenberg 310)
* 3:30 pm: Colloqium reception (location?)
* 4 pm: CMS colloqium - George Papanicoulou (Stanford), 105 Annenberg

=== 3 Oct (Tue) ===
* 9:30 am: Open
* 10:15 am: Tony Fragoso (Annenberg 3rd floor treehouse lounge)
* 11 am: Aaron Ames (266 Gates-Thomas)
* <s>IST lunch bunch</s> Open
* Afternoon off

=== 4 Oct (Wed) ===
* Morning off
* Lunch: Jin (and anyone else who wants to join)
* 3 pm: CDS tea
* 4 pm: Open
* 4:45 pm: Open

=== 5 Oct (Thu) ===
* 10 am: Soon-Jo Chung (235 Guggenheim) CAST and aerospace robotics research
* 11 am: Ioannis Filippidis (330 Annenberg)
* Lunch: Open
* 2 pm: head for airport

Karan Kalsi, Oct 2017

2017-10-03T21:54:22Z

Sdathath: /* 4 Oct (Wed) */

__NOTOC__
[[Image:Karan_Kalsi.jpg||right]]
Dr. Karan Kalsi is currently a power systems research engineer at the Pacific Northwest National Lab, Richland, WA, USA. He is the lead investigator on Department of Energy funded research to develop efficient, reliable and secure control strategies for Smart Grid assets. He is the principle investigator on the topic of developing future power grid control paradigms as part of the laboratory’s Future Power Grid Initiative. He is the Co-principle investigator on EED SEED project related to modeling and controls for distributed energy resources in microgrids. Karanjit is also actively involved with IEEE including being the 2011 Chair of the IEEE Richland Section Graduates of the Last Decade (GOLD) Affinity Group and was recently elected as the 2012 Vice-chair of Technical Activities and Outreach of the IEEE Richland Section Power and Energy Society.

More: http://energyenvironment.pnnl.gov/staff/staff_info.asp?staff_num=2178

== Schedule for Karan Kalsi visit, 2-5 Oct 2017 ==

=== 2 Oct (Mon) ===
* Morning: HR check-in, office setup
* Lunch: Richard
* 1:30 pm: Open
* 2:30 pm: Sofie Haesaert (Annenberg 310)
* 3:30 pm: Colloqium reception (location?)
* 4 pm: CMS colloqium - George Papanicoulou (Stanford), 105 Annenberg

=== 3 Oct (Tue) ===
* 9:30 am: Open
* 10:15 am: Tony Fragoso (Annenberg 3rd floor treehouse lounge)
* 11 am: Aaron Ames (266 Gates-Thomas)
* <s>IST lunch bunch</s> Open
* Afternoon off

=== 4 Oct (Wed) ===
* Morning off
* Lunch: Jin, Sumanth (and anyone else who wants to join)
* 3 pm: CDS tea
* 4 pm: Open
* 4:45 pm: Open

=== 5 Oct (Thu) ===
* 10 am: Soon-Jo Chung (235 Guggenheim) CAST and aerospace robotics research
* 11 am: Ioannis Filippidis (330 Annenberg)
* Lunch: Open
* 2 pm: head for airport

Karan Kalsi, Oct 2017

2017-10-03T21:54:00Z

Sdathath: /* 4 Oct (Wed) */

__NOTOC__
[[Image:Karan_Kalsi.jpg||right]]
Dr. Karan Kalsi is currently a power systems research engineer at the Pacific Northwest National Lab, Richland, WA, USA. He is the lead investigator on Department of Energy funded research to develop efficient, reliable and secure control strategies for Smart Grid assets. He is the principle investigator on the topic of developing future power grid control paradigms as part of the laboratory’s Future Power Grid Initiative. He is the Co-principle investigator on EED SEED project related to modeling and controls for distributed energy resources in microgrids. Karanjit is also actively involved with IEEE including being the 2011 Chair of the IEEE Richland Section Graduates of the Last Decade (GOLD) Affinity Group and was recently elected as the 2012 Vice-chair of Technical Activities and Outreach of the IEEE Richland Section Power and Energy Society.

More: http://energyenvironment.pnnl.gov/staff/staff_info.asp?staff_num=2178

== Schedule for Karan Kalsi visit, 2-5 Oct 2017 ==

=== 2 Oct (Mon) ===
* Morning: HR check-in, office setup
* Lunch: Richard
* 1:30 pm: Open
* 2:30 pm: Sofie Haesaert (Annenberg 310)
* 3:30 pm: Colloqium reception (location?)
* 4 pm: CMS colloqium - George Papanicoulou (Stanford), 105 Annenberg

=== 3 Oct (Tue) ===
* 9:30 am: Open
* 10:15 am: Tony Fragoso (Annenberg 3rd floor treehouse lounge)
* 11 am: Aaron Ames (266 Gates-Thomas)
* <s>IST lunch bunch</s> Open
* Afternoon off

=== 4 Oct (Wed) ===
* Morning off
* Lunch: Jin (and anyone else who wants to join)
* 3 pm: CDS tea
* 4 pm: Open
* 4:45 pm: Sumanth Dathathri

=== 5 Oct (Thu) ===
* 10 am: Soon-Jo Chung (235 Guggenheim) CAST and aerospace robotics research
* 11 am: Ioannis Filippidis (330 Annenberg)
* Lunch: Open
* 2 pm: head for airport

Group Schedule, Fall 2017

2017-09-11T21:42:37Z

Sdathath: /* Week 10: 27 Nov - 1 Dec */

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, Summer 2017]]
|}

The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, here are the locations of the meetings:

:{| width=100%
|- valign=top
| width=30% |
* Biocircuits subgroup - 111 Keck
| width=30% |
* NCS subgroup - 110 Steele
| width=30% |
* Group meetings - 213 ANB
|}

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

| width=25% |
=== Week 1: 25 Sep.- 29 Sep ===
'''Biocircuits: Tue, 10a-12p'''
* Miroslav
* Wolfgang
'''NCS: Wed, 10:30a-12p'''
* Jin


| width=25% |
=== Week 2: 2 Oct - 6 Oct ===
'''Biocircuits: Tue, 10a-12p'''
* Ania
* Leo
'''NCS: Wed, 10:30a-12p'''
* Karan Kalsi (PNNL)


| width=25% |
=== Week 3: 9 Oct - 13 Oct ===
'''Biocircuits: Tue, 10a-12p'''
* James
* Vipul
'''NCS: Wed, 10:30a-12p'''
* Ioannis


| width=25% |
=== Week 4: 16 Oct - 20 Oct ===
'''Biocircuits: Tue, 10a-12p'''
* Mark
* William
* Note: this meeting may shift to either Mon or Fri
'''NCS: Wed, 10:30a-12p'''
* Jonathan
* Note: this meeting may shift to either Mon or Fri


|- valign=top

| width=25% |
=== Week 5: 23 Oct - 27 Oct ===
'''Biocircuits: Tue, 10a-12p'''
* Andrey
* Cindy
* Note: this meeting may shift to Mon
<hr>
* Richard out of town Tue-Fri

| width=25% |
=== Week 6: 30 Oct - 3 Nov ===
'''Biocircuits: Tue, 10a-12p'''
* Shan
* Sam
'''NCS: Wed, 10:30a-12p'''
* Sofie


| width=25% |
=== Week 7: 6 Nov - 10 Nov ===
'''Biocircuits: Tue, 10a-12p'''
* Anand
* Reed
'''NCS: Wed, 10:30a-12p'''
* Sumanth


| width=25% |
=== Week 8: 13 Nov - 17 Nov ===
'''Biocircuits: Tue, 10a-12p'''
* Michaelle
* Andy
'''NCS: Wed, 10:30a-12p'''
* Richard C
* Note: this meeting may shift to Mon
<hr>
* Richard out of town Wed-Fri

|- valign=top

| width=25% |
=== Week 9: 20 Nov - 24 Nov ===
'''Biocircuits: Tue, 10a-12p'''
* Rory
* Hold: Joe M
'''NCS: Wed, 10:30a-12p'''
* Karena
* Note: this meeting may shift to Mon
<hr>
* Richard out of town Tue-Fri

| width=25% |
=== Week 10: 27 Nov - 1 Dec ===
'''Biocircuits: Tue, 10a-12p'''
* Hold: rotation student
* Hold: undergrad
* Note: this meeting may shift to Mon
'''NCS: Wed, 10:30a-12p'''
* Tung Phan
* Note: this meeting may shift to Fri


| width=25% |

=== Week 11: 4 Dec - 8 Dec ===
'''Biocircuits: Tue, 10a-12p'''
* Hold: rotation student
* Hold: undergraduate
'''NCS: Wed, 10:30a-12p'''
* Hold: Petter Nilsson


| width=25% |
=== Week 12: 11 Dec - 15 Dec ===
* No meetings this week
* Richard out of town Mon-Fri


|}

Group Schedule, Fall 2017

2017-09-11T21:42:10Z

Sdathath: /* Week 10: 27 Nov - 1 Dec */

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, Summer 2017]]
|}

The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, here are the locations of the meetings:

:{| width=100%
|- valign=top
| width=30% |
* Biocircuits subgroup - 111 Keck
| width=30% |
* NCS subgroup - 110 Steele
| width=30% |
* Group meetings - 213 ANB
|}

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

| width=25% |
=== Week 1: 25 Sep.- 29 Sep ===
'''Biocircuits: Tue, 10a-12p'''
* Miroslav
* Wolfgang
'''NCS: Wed, 10:30a-12p'''
* Jin


| width=25% |
=== Week 2: 2 Oct - 6 Oct ===
'''Biocircuits: Tue, 10a-12p'''
* Ania
* Leo
'''NCS: Wed, 10:30a-12p'''
* Karan Kalsi (PNNL)


| width=25% |
=== Week 3: 9 Oct - 13 Oct ===
'''Biocircuits: Tue, 10a-12p'''
* James
* Vipul
'''NCS: Wed, 10:30a-12p'''
* Ioannis


| width=25% |
=== Week 4: 16 Oct - 20 Oct ===
'''Biocircuits: Tue, 10a-12p'''
* Mark
* William
* Note: this meeting may shift to either Mon or Fri
'''NCS: Wed, 10:30a-12p'''
* Jonathan
* Note: this meeting may shift to either Mon or Fri


|- valign=top

| width=25% |
=== Week 5: 23 Oct - 27 Oct ===
'''Biocircuits: Tue, 10a-12p'''
* Andrey
* Cindy
* Note: this meeting may shift to Mon
<hr>
* Richard out of town Tue-Fri

| width=25% |
=== Week 6: 30 Oct - 3 Nov ===
'''Biocircuits: Tue, 10a-12p'''
* Shan
* Sam
'''NCS: Wed, 10:30a-12p'''
* Sofie


| width=25% |
=== Week 7: 6 Nov - 10 Nov ===
'''Biocircuits: Tue, 10a-12p'''
* Anand
* Reed
'''NCS: Wed, 10:30a-12p'''
* Sumanth


| width=25% |
=== Week 8: 13 Nov - 17 Nov ===
'''Biocircuits: Tue, 10a-12p'''
* Michaelle
* Andy
'''NCS: Wed, 10:30a-12p'''
* Richard C
* Note: this meeting may shift to Mon
<hr>
* Richard out of town Wed-Fri

|- valign=top

| width=25% |
=== Week 9: 20 Nov - 24 Nov ===
'''Biocircuits: Tue, 10a-12p'''
* Rory
* Hold: Joe M
'''NCS: Wed, 10:30a-12p'''
* Karena
* Note: this meeting may shift to Mon
<hr>
* Richard out of town Tue-Fri

| width=25% |
=== Week 10: 27 Nov - 1 Dec ===
'''Biocircuits: Tue, 10a-12p'''
* Hold: rotation student
* Hold: undergrad
* Note: tthis meeting may shift to Mon
'''NCS: Wed, 10:30a-12p'''
* Tung Phan
* Note: this meeting may shift to Fri


| width=25% |

=== Week 11: 4 Dec - 8 Dec ===
'''Biocircuits: Tue, 10a-12p'''
* Hold: rotation student
* Hold: undergraduate
'''NCS: Wed, 10:30a-12p'''
* Hold: Petter Nilsson


| width=25% |
=== Week 12: 11 Dec - 15 Dec ===
* No meetings this week
* Richard out of town Mon-Fri


|}

May 2017 meeting schedule

2017-05-08T21:22:20Z

Sdathath: /* 29 May (Mon) */

Richard will be in town several different times in May. Please sign up for a time to meet below. Please note that these are likely the last "sabbatical" meetings until Richard returns to Pasadena in early July. __NOTOC__

{| border=1 width=100%
|- valign=top
| width=33% |
| width=33% |
==== 15 May (Mon) ====
* 9:30 am: Open
* 10:15 am: Open
* 11:00 am: Faculty meeting
* 11:30 am: Open
* 12:15 pm: Lunch
* 1:30 pm: Open
* 2:15 pm: Reed
* 3:00 pm: Open
* 3:45 pm: Break
* 4:00 pm: Namita
* 4:45 pm: Ania
* 5:30 pm: Anandh
* 6:15 pm: Done for the day

| width=33% |

==== 16 May (Tue)====
* 9:30 am: Yong
* 10:15 am: Tung
* 11:00 am: Faculty meeting
* 12:00 pm: Lunch
* 1:30 pm: Depart
* 12:00 pm: Lunch
* 1:30 pm: Depart

|- valign=top
| width=33% |

====21 May (Sun) ====
* 1:45 pm: Open
* 2:30 pm: Andy
* 3:15 pm: Open
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Open
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=33% |

==== 22 May (Mon) ====
* 10:15 am: Mark
* 11:00 am: Cindy
* 11:45 am: Lunch
* 12:00 pm: DARPA BioCon meeting
* 2:00 pm: Swati + Reed
* 2:45 pm: Off campus
* 4:15 pm: James
* 5:00 pm: Non-Caltech meetings
* 6:30 pm: Done for the day

| width=33% |

==== 23 May (Tue) ====
* 9:30 am: Faculty discussion
* 10:30 am: Hold (Susan)
* 11:30 am: Lunch
* 12:00 pm: Telecon
* 1:00 pm: Anu thesis defense
* 3:00 pm: Terri (?)
* 3:30 pm: Depart

|- valign=top
| width=33% |

====28 May (Sun) ====
* 1:45 pm: Open
* 2:30 pm: George
* 3:15 pm: Open
* 4:00 pm: Done for the day
| width=33% |

====29 May (Mon) ====
* 1:45 pm: Open (if needed)
* 2:30 pm: Open (if needed)
* 3:15 pm: Sumanth
* 4:00 pm: Done for the day
| width=33% |

==== 30 May (Tue) ====
* 9:30 am: Shan
* 10:15 am: Shaobin
* 11:00 am: Stepan seminar
* 12:00 pm: Lunch
* 1:30 pm: Namita
* 2:15 pm: Andrey
* 3:00 pm: Depart
|}

May 2017 meeting schedule

2017-05-08T21:21:54Z

Sdathath: /* 15 May (Mon) */

Richard will be in town several different times in May. Please sign up for a time to meet below. Please note that these are likely the last "sabbatical" meetings until Richard returns to Pasadena in early July. __NOTOC__

{| border=1 width=100%
|- valign=top
| width=33% |
| width=33% |
==== 15 May (Mon) ====
* 9:30 am: Open
* 10:15 am: Open
* 11:00 am: Faculty meeting
* 11:30 am: Open
* 12:15 pm: Lunch
* 1:30 pm: Open
* 2:15 pm: Reed
* 3:00 pm: Open
* 3:45 pm: Break
* 4:00 pm: Namita
* 4:45 pm: Ania
* 5:30 pm: Anandh
* 6:15 pm: Done for the day

| width=33% |

==== 16 May (Tue)====
* 9:30 am: Yong
* 10:15 am: Tung
* 11:00 am: Faculty meeting
* 12:00 pm: Lunch
* 1:30 pm: Depart
* 12:00 pm: Lunch
* 1:30 pm: Depart

|- valign=top
| width=33% |

====21 May (Sun) ====
* 1:45 pm: Open
* 2:30 pm: Andy
* 3:15 pm: Open
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Open
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=33% |

==== 22 May (Mon) ====
* 10:15 am: Mark
* 11:00 am: Cindy
* 11:45 am: Lunch
* 12:00 pm: DARPA BioCon meeting
* 2:00 pm: Swati + Reed
* 2:45 pm: Off campus
* 4:15 pm: James
* 5:00 pm: Non-Caltech meetings
* 6:30 pm: Done for the day

| width=33% |

==== 23 May (Tue) ====
* 9:30 am: Faculty discussion
* 10:30 am: Hold (Susan)
* 11:30 am: Lunch
* 12:00 pm: Telecon
* 1:00 pm: Anu thesis defense
* 3:00 pm: Terri (?)
* 3:30 pm: Depart

|- valign=top
| width=33% |

====28 May (Sun) ====
* 1:45 pm: Open
* 2:30 pm: George
* 3:15 pm: Open
* 4:00 pm: Done for the day
| width=33% |

====29 May (Mon) ====
* 1:45 pm: Open (if needed)
* 2:30 pm: Open (if needed)
* 3:15 pm: Open (if needed)
* 4:00 pm: Done for the day
| width=33% |

==== 30 May (Tue) ====
* 9:30 am: Shan
* 10:15 am: Shaobin
* 11:00 am: Stepan seminar
* 12:00 pm: Lunch
* 1:30 pm: Namita
* 2:15 pm: Andrey
* 3:00 pm: Depart
|}

May 2017 meeting schedule

2017-05-08T18:36:41Z

Sdathath: /* 15 May (Mon) */

Richard will be in town several different times in May. Please sign up for a time to meet below. Please note that these are likely the last "sabbatical" meetings until Richard returns to Pasadena in early July. __NOTOC__

{| border=1 width=100%
|- valign=top
| width=33% |
| width=33% |
==== 15 May (Mon) ====
* 9:30 am: Open
* 10:15 am: Open
* 11:00 am: Faculty meeting
* 11:30 am: Open
* 12:15 pm: Lunch
* 1:30 pm: Open
* 2:15 pm: Reed
* 3:00 pm: Sumanth
* 3:45 pm: Break
* 4:00 pm: Namita
* 4:45 pm: Ania
* 5:30 pm: Anandh
* 6:15 pm: Done for the day

| width=33% |

==== 16 May (Tue)====
* 9:30 am: Yong
* 10:15 am: Tung
* 11:00 am: Faculty meeting
* 12:00 pm: Lunch
* 1:30 pm: Depart
* 12:00 pm: Lunch
* 1:30 pm: Depart

|- valign=top
| width=33% |

====21 May (Sun) ====
* 1:45 pm: Open
* 2:30 pm: Andy
* 3:15 pm: Open
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Open
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=33% |

==== 22 May (Mon) ====
* 10:15 am: Mark
* 11:00 am: Cindy
* 11:45 am: Lunch
* 12:00 pm: DARPA BioCon meeting
* 2:00 pm: Swati + Reed
* 2:45 pm: Off campus
* 4:15 pm: James
* 5:00 pm: Non-Caltech meetings
* 6:30 pm: Done for the day

| width=33% |

==== 23 May (Tue) ====
* 9:30 am: Faculty discussion
* 10:30 am: Hold (Susan)
* 11:30 am: Lunch
* 12:00 pm: Telecon
* 1:00 pm: Anu thesis defense
* 3:00 pm: Terri (?)
* 3:30 pm: Depart

|- valign=top
| width=33% |

====28 May (Sun) ====
* 1:45 pm: Open
* 2:30 pm: George
* 3:15 pm: Open
* 4:00 pm: Done for the day
| width=33% |

====29 May (Mon) ====
* 1:45 pm: Open (if needed)
* 2:30 pm: Open (if needed)
* 3:15 pm: Open (if needed)
* 4:00 pm: Done for the day
| width=33% |

==== 30 May (Tue) ====
* 9:30 am: Shan
* 10:15 am: Shaobin
* 11:00 am: Stepan seminar
* 12:00 pm: Lunch
* 1:30 pm: Namita
* 2:15 pm: Andrey
* 3:00 pm: Depart
|}

Apr 2017 meeting schedule

2017-04-12T20:17:18Z

Sdathath: /* 23 Apr (Sun) */

Richard will be in town 19-21 Apr. Please sign up for a time to meet below. __NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 19 Apr (Wed) ====
* 9:30 am: Hold (Sofie or Leo)
* 10:30 am: Admin meeting (SP, MC)
* 11:15 am: Shaobin
* 12:00 pm: DARPA BioCon meeting
* 2:00 pm: Candidacy exam
* 3:00 pm: CDS tea
* 3:45 pm: Yong
* 4:30 pm: Admin meeting (LL)
* 5:00 pm: Reed (tentative)
* 5:45 pm: Associates event

| width=25% |

==== 20 Apr (Thu) ====
* 9:30 am: Hold (Sofie or Leo)
* 10:30 am: Mark
* 11:15 am: Tony Fragoso
* 12:00 pm: Lunch
* 1:30 pm: EBRC telecon
* 2:30 pm: Anandh
* 3:15 pm: James
* 4:00 pm: Vipul
* 4:45 pm: Break
* 5:00 pm: Tung
* 5:45 pm: Sam
* 6:00 pm: Reed (if NOT 19 Apr Wed 1700)
* 6:45 pm: Open (if needed)
* 7:30 pm: Done for the day

| width=25% |

==== 21 Apr (Fri) ====
* 9:15 am: Open
* 10:00 am: JPL CIF meeting
* 11:15 am: Karena
* 12:00 pm: Lunch
* 12:45 pm: William
* 1:30 pm: Namita
* 2:15 pm: Open
* 3:00 pm: Break
* 3:15 pm: Open
* 4:00 pm: Miki
* 4:45 pm: Ania
* 5:30 pm: Done for the day

| width=25% |

==== 23 Apr (Sun) ====
* 1:45 pm: Anu
* 2:30 pm: Open
* 3:15 pm: Open
* 4:00 pm: Break
* 4:15 pm: Sumanth
* 5:00 pm: Open
* 5:45 pm: Shan
* 6:30 pm: Done for the day
|}

Apr 2017 meeting schedule

2017-04-12T18:20:34Z

Sdathath: /* 23 Apr (Sun) */

Richard will be in town 19-21 Apr. Please sign up for a time to meet below. __NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 19 Apr (Wed) ====
* 9:30 am: Hold (Sofie or Leo)
* 10:30 am: Admin meeting (SP, MC)
* 11:15 am: Shaobin
* 12:00 pm: DARPA BioCon meeting
* 2:00 pm: Candidacy exam
* 3:00 pm: CDS tea
* 3:45 pm: Yong
* 4:30 pm: Admin meeting (LL)
* 5:00 pm: Open (tentative)
* 5:45 pm: Associates event

| width=25% |

==== 20 Apr (Thu) ====
* 9:30 am: Hold (Sofie or Leo)
* 10:30 am: Mark
* 11:15 am: Tony Fragoso
* 12:00 pm: Lunch
* 1:30 pm: EBRC telecon
* 2:30 pm: Anandh
* 3:15 pm: James
* 4:00 pm: Vipul
* 4:45 pm: Break
* 5:00 pm: Tung
* 5:45 pm: Sam
* 6:00 pm: Open (if needed)
* 6:45 pm: Open (if needed)
* 7:30 pm: Done for the day

| width=25% |

==== 21 Apr (Fri) ====
* 9:15 am: Open
* 10:00 am: JPL CIF meeting
* 11:15 am: Karena
* 12:00 pm: Lunch
* 12:45 pm: William
* 1:30 pm: Namita
* 2:15 pm: Open
* 3:00 pm: Break
* 3:15 pm: Open
* 4:00 pm: Miki
* 4:45 pm: Open
* 5:30 pm: Done for the day

| width=25% |

==== 23 Apr (Sun) ====
* 1:45 pm: Anu
* 2:30 pm: Open
* 3:15 pm: Open
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Sumanth
* 5:45 pm: Shan
* 6:30 pm: Done for the day
|}

Mar 2017 meeting schedule

2017-02-27T23:14:03Z

Sdathath: /* 3 Mar (Fri) */

Richard will be in town 3-7 Mar. Please sign up for a time to meet below. __NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 3 Mar (Fri) ====
* 10:00 am: DENSO CPM telecon
* 11:00 am: Reed
* 11:45 am: Shaobin
* 12:30 pm: Lunch
* 1:00 pm: Hold: DARPA telecon
* 2:00 pm: Vipul
* 2:45 pm: Mark
* 3:30 pm: SBIR telecon (w/ Mark P)
* 4:00 pm: Faculty meeting
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=25% |

==== 5 Mar (Sun) ====
* 1:45 pm: Anandh
* 2:30 pm: Open
* 3:15 pm: Sam
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Open
* 5:45 pm: Sumanth Dathathri
* 6:30 pm: Done for the day

| width=25% |

==== 6 Mar (Mon) ====
* 9:30 am: AFOSR BRI telecon
* 10:30 am: Yong
* 11:15 am: Fragoso
* 12:00 pm: Lunch
* 12:30 pm: Hold: DARPA telecon
* 1:30 pm: Richard C
* 2:15 pm: Ioannis
* 3:00 pm: Miki
* 3:45 pm: Break
* 4:00 pm: James
* 4:45 pm: Karena
* 5:30 pm: Ania
* 6:15 pm: Done for the day

| width=25% |

==== 7 Mar (Tue) ====
* 9:30 am: Busy
* 10:15 am: Tung
* 11:00 am: Hold: DARPA telecon
* 12:00 pm: Lunch
* 12:45 pm: Hold
* 1:15 pm: Andrew M
* 2:00 pm: Andy Halleran
* 2:45 pm: Depart for airport
|}

Mar 2017 meeting schedule

2017-02-27T23:13:51Z

Sdathath: /* 5 Mar (Sun) */

Richard will be in town 3-7 Mar. Please sign up for a time to meet below. __NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 3 Mar (Fri) ====
* 10:00 am: DENSO CPM telecon
* 11:00 am: Reed
* 11:45 am: Shaobin
* 12:30 pm: Lunch
* 1:00 pm: Hold: DARPA telecon
* 2:00 pm: Vipul
* 2:45 pm: Mark
* 3:30 pm: SBIR telecon (w/ Mark P)
* 4:00 pm: Faculty meeting
* 5:45 pm: Sumanth Dathathri
* 6:30 pm: Done for the day

| width=25% |

==== 5 Mar (Sun) ====
* 1:45 pm: Anandh
* 2:30 pm: Open
* 3:15 pm: Sam
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Open
* 5:45 pm: Sumanth Dathathri
* 6:30 pm: Done for the day

| width=25% |

==== 6 Mar (Mon) ====
* 9:30 am: AFOSR BRI telecon
* 10:30 am: Yong
* 11:15 am: Fragoso
* 12:00 pm: Lunch
* 12:30 pm: Hold: DARPA telecon
* 1:30 pm: Richard C
* 2:15 pm: Ioannis
* 3:00 pm: Miki
* 3:45 pm: Break
* 4:00 pm: James
* 4:45 pm: Karena
* 5:30 pm: Ania
* 6:15 pm: Done for the day

| width=25% |

==== 7 Mar (Tue) ====
* 9:30 am: Busy
* 10:15 am: Tung
* 11:00 am: Hold: DARPA telecon
* 12:00 pm: Lunch
* 12:45 pm: Hold
* 1:15 pm: Andrew M
* 2:00 pm: Andy Halleran
* 2:45 pm: Depart for airport
|}

Mar 2017 meeting schedule

2017-02-26T23:02:34Z

Sdathath: /* 3 Mar (Fri) */

Richard will be in town 3-7 Mar. Please sign up for a time to meet below. __NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 3 Mar (Fri) ====
* 10:00 am: DENSO CPM telecon
* 11:00 am: Open
* 11:45 am: Shaobin
* 12:30 pm: Lunch
* 1:00 pm: Hold: DARPA telecon
* 2:00 pm: Open
* 2:45 pm: Open
* 3:30 pm: SBIR telecon (w/ Mark P)
* 4:00 pm: Faculty meeting
* 5:45 pm: Sumanth Dathathri
* 6:30 pm: Done for the day

| width=25% |

==== 5 Mar (Sun) ====
* 1:45 pm: Open
* 2:30 pm: Open
* 3:15 pm: Open
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Open
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=25% |

==== 6 Mar (Mon) ====
* 9:30 am: AFOSR BRI telecon
* 10:30 am: Yong
* 11:15 am: Fragoso
* 12:00 pm: Lunch
* 12:30 pm: Hold: DARPA telecon
* 1:30 pm: Open
* 2:15 pm: Ioannis
* 3:00 pm: Open
* 3:45 pm: Break
* 4:00 pm: James
* 4:45 pm: Open
* 5:30 pm: Open
* 6:15 pm: Done for the day

| width=25% |

==== 7 Mar (Tue) ====
* 9:30 am: Busy
* 10:15 am: Tung
* 11:00 am: Hold: DARPA telecon
* 12:00 pm: Lunch
* 12:45 pm: Hold
* 1:15 pm: Andrew M
* 2:00 pm: Andy Halleran
* 2:45 pm: Depart for airport
|}

Mar 2017 meeting schedule

2017-02-26T23:02:23Z

Sdathath: /* 5 Mar (Sun) */

Richard will be in town 3-7 Mar. Please sign up for a time to meet below. __NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 3 Mar (Fri) ====
* 10:00 am: DENSO CPM telecon
* 11:00 am: Open
* 11:45 am: Shaobin
* 12:30 pm: Lunch
* 1:00 pm: Hold: DARPA telecon
* 2:00 pm: Open
* 2:45 pm: Open
* 3:30 pm: SBIR telecon (w/ Mark P)
* 4:00 pm: Faculty meeting
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=25% |

==== 5 Mar (Sun) ====
* 1:45 pm: Open
* 2:30 pm: Open
* 3:15 pm: Open
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Open
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=25% |

==== 6 Mar (Mon) ====
* 9:30 am: AFOSR BRI telecon
* 10:30 am: Yong
* 11:15 am: Fragoso
* 12:00 pm: Lunch
* 12:30 pm: Hold: DARPA telecon
* 1:30 pm: Open
* 2:15 pm: Ioannis
* 3:00 pm: Open
* 3:45 pm: Break
* 4:00 pm: James
* 4:45 pm: Open
* 5:30 pm: Open
* 6:15 pm: Done for the day

| width=25% |

==== 7 Mar (Tue) ====
* 9:30 am: Busy
* 10:15 am: Tung
* 11:00 am: Hold: DARPA telecon
* 12:00 pm: Lunch
* 12:45 pm: Hold
* 1:15 pm: Andrew M
* 2:00 pm: Andy Halleran
* 2:45 pm: Depart for airport
|}

Mar 2017 meeting schedule

2017-02-26T22:29:13Z

Sdathath: /* 5 Mar (Sun) */

Richard will be in town 3-7 Mar. Please sign up for a time to meet below. __NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 3 Mar (Fri) ====
* 10:00 am: DENSO CPM telecon
* 11:00 am: Open
* 11:45 am: Shaobin
* 12:30 pm: Lunch
* 1:00 pm: Hold: DARPA telecon
* 2:00 pm: Open
* 2:45 pm: Open
* 3:30 pm: SBIR telecon (w/ Mark P)
* 4:00 pm: Faculty meeting
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=25% |

==== 5 Mar (Sun) ====
* 1:45 pm: Open
* 2:30 pm: Open
* 3:15 pm: Open
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Open
* 5:45 pm: Sumanth Dathathri
* 6:30 pm: Done for the day

| width=25% |

==== 6 Mar (Mon) ====
* 9:30 am: AFOSR BRI telecon
* 10:30 am: Yong
* 11:15 am: Fragoso
* 12:00 pm: Lunch
* 12:30 pm: Hold: DARPA telecon
* 1:30 pm: Open
* 2:15 pm: Ioannis
* 3:00 pm: Open
* 3:45 pm: Break
* 4:00 pm: Open
* 4:45 pm: Open
* 5:30 pm: Open
* 6:15 pm: Done for the day

| width=25% |

==== 7 Mar (Tue) ====
* 9:30 am: Busy
* 10:15 am: Tung
* 11:00 am: Hold: DARPA telecon
* 12:00 pm: Lunch
* 12:45 pm: Hold
* 1:15 pm: Andrew M
* 2:00 pm: Andy Halleran
* 2:45 pm: Depart for airport
|}

SURF discussions, Jan 2017

2017-01-25T01:21:58Z

Sdathath: /* 27 Jan (Fri) */

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 conversation, please do the following:
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)
* 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
* 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.

{| width=100% border=1
|- valign=top
|
==== 25 Jan (Wed) ====
* 8:30 am PST: Kshitij Rai and Rory Williams
<hr>
* 11:00 am PST: open
<hr>
* 3:00 pm PST: open
* 3:30 pm PST: open
|

==== 26 Jan (Thu) ====
* 1:00 pm PST: open
* 1:30 pm PST: open
<hr>
* 6:30 pm PST: open
* 7:00 pm PST: open
|

==== 27 Jan (Fri) ====
* 9:00 am PST: Joy Doong and James Parkin
* 9:30 am PST: Swati Agrawal and Reed McCardell
* 10:00 am PST: open
* 10:30 am PST: Rijad and Sumanth

|}

The agenda for the phone call is (roughly):

# Description of the basic idea behind the project (based on applicant's understanding)
# Discussion about approaches, things to read, variations to consider, etc
# Discussion of the format of the proposal
# Questions and discussion about the process

SURF discussions, Jan 2017

2017-01-25T01:20:58Z

Sdathath: /* 27 Jan (Fri) */

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 conversation, please do the following:
* SURF students should work with their co-mentors to find a time the meeting/Skype call. (For Skype calls, co-mentors should initiate.)
* 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
* 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.

{| width=100% border=1
|- valign=top
|
==== 25 Jan (Wed) ====
* 8:30 am PST: Kshitij Rai and Rory Williams
<hr>
* 11:00 am PST: open
<hr>
* 3:00 pm PST: open
* 3:30 pm PST: open
|

==== 26 Jan (Thu) ====
* 1:00 pm PST: open
* 1:30 pm PST: open
<hr>
* 6:30 pm PST: open
* 7:00 pm PST: open
|

==== 27 Jan (Fri) ====
* 9:00 am PST: Joy Doong and James Parkin
* 9:30 am PST: Swati Agrawal and Reed McCardell
* 10:00 am PST: open
* 10:30 am PST: Sumanth and Rijad

|}

The agenda for the phone call is (roughly):

# Description of the basic idea behind the project (based on applicant's understanding)
# Discussion about approaches, things to read, variations to consider, etc
# Discussion of the format of the proposal
# Questions and discussion about the process

Jan 2017 meeting schedule

2017-01-13T17:09:42Z

Sdathath: /* 20 Jan (Fri) */

Richard will be in town 20-24 Jan. Please sign up for a time to meet below. __NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 20 Jan (Fri) ====
* Richard arrives on campus ~9:45 am
* 10:15 am: Mark
* 11:00 am: Yong
* 11:45 am: Anandh
* 12:30 pm: Lunch
* 1:30 pm: Yong and Frances A
* 2:30 pm: Sumanth Dathathri
* 3:15 pm: Open
* 4:00 pm: Open
* 4:45 pm: Break
* 5:00 pm: Open
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=25% |

==== 22 Jan (Sun) ====
* 1:45 pm: Open
* 2:30 pm: Open
* 3:15 pm: Open
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Open
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=25% |

==== 23 Jan (Mon) ====
* 8:00 am: Michaelle
* 9:00 am: Hold: Jaymie
* 10:00 am: BioCon meeting
* 12:00 pm: Seminar ([[Michaëlle Mayalu, Jan 2017|Michaelle]])
* 1:00 pm: Hold until needed
* 1:45 pm: Open
* 2:30 pm: CDS faculty meeting
* 4:15 pm: Tony Fragoso
* 5:00 pm: Open
* 5:45 pm: Open
* 6:30 pm: Dinner with visitors

| width=25% |

==== 24 Jan (Tue) ====
* 9:45 am: Henrike
* 10:30 am: Open
* 11:15 am: Tung
* 12:00 pm: Seminar ([[Henrike Niederholtmeyer, Jan 2017|Henrike]])
* 1:15 pm: [[Michaëlle Mayalu, Jan 2017|Michaelle]]
* 2:00 pm: Open
* 2:45 pm: [[Henrike Niederholtmeyer, Jan 2017|Henrike]]
* 3:30 pm: Depart for airport
|}

SURF 2017

2016-12-21T09:14:42Z

Sdathath: /* List of available projects */

{{righttoc}}
This page is intended for students interested in working on SURF projects in the Summer of 2015. It contains information about how to apply for a SURF project in my group along with a list of project areas.

=== Applying for a SURF project ===

Because I get many students interested in doing SURFs in my group and because we have several projects available, we use the first few weeks in January to sort out who we will work with in writing proposals. We only submit one proposal per project area and so we often can't accommodate everyone who wants to work in my group over the summer.

# A list of SURF project descriptions is given in the table below. Due to the number of SURF projects that we support, we are only able to support students who select from among these projects. Please make sure to read the project descriptions, required skills (if any) and skim a few of the listed references before contacting me about doing a SURF project.
# Students interested in writing proposals for SURF projects should contact me via e-mail by 9 Jan (Fri) and provide the following information:
#* A list of up to three SURF projects from the list below that you are interested in working on
#* A one page resume listing relevant experience and coursework
#* If you are not a Caltech student, I will also need the following additional information:
#** An unofficial copy of your academic transcript
#** Names of two faculty members at your current institution that I can contact for a reference
# Starting on 10 January, I will go through all applications and work with my group to identify who is a possible fit for each project. We will then contact you and ask for you to meet (or talk with) possible co-mentors so that we can eventually work out who we will work with in writing up a proposal.
# We hope to make final decisions on projects by about 20 Jan, at which point we will start working with students on writing up proposals.
# All applications should go through the normal SURF application process, described at www.surf.caltech.edu. SURF applications are due on ~21 Feb 2015.
# If you are selected for a SURF, please be aware of the following information
#* All SURF projects in my group will start on 16 Jun (Tue). If you can't start on that date, please make sure that you indicate this when you contact me
#* All SURF projects are for a minimum of 10 weeks, although I usually recommend that you try to stay for 12 weeks if possible (at no additional pay). It's hard to complete a project in just 10 weeks and spending a few extra weeks can greatly improve the project.
#* All SURF students in my group will be expected to devote full-time effort to their SURF project, so you cannot have a second job in addition to your SURF.

=== List of available projects ===

Projects will be posted as they come available. I recommend waiting until near the deadline submission before submitting your project preferences.

{| border=1 width=100%
|-
| '''Title''' || '''Grant/Project''' || '''Co-Mentors''' || '''Comments'''
|-
| {{SURF entry|2017|Mapping Differences in Gene Expresion in Linear and Plasmid DNA in a Cell-Free Expression (TXTL) System }}
| Keywords: in vitro synthetic biology, nonlinear modeling, model prediction and validation
| [https://www.cds.caltech.edu/~eyeung/ Enoch Yeung]
|-
|{{SURF entry|2017|Scalable Robust Synthesis from Temporal Logic Specifications}}
| Keywords: Formal Methods, Robust Synthesis, Reinforcement Learning, Algorithms, Robotics
| Sumanth Dathathri
|}

SURF 2017

2016-12-21T09:14:25Z

Sdathath: /* List of available projects */

SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications

2016-12-21T06:38:01Z

Sdathath:

'''[[SURF 2017|2017 SURF]] project description'''
* Mentor: Richard M. Murray
* Co-mentors: Sumanth Dathathri

Several interesting problems are presented below and it is desirable that the SURF identifies
one or more of the following problems in addition to the experimental task to develop
some experience with working on theoretical problems. The primary task would be to
develop an experimental test-bed for demonstration/evaluation of recent results
and future work with regard to the optimality and robustness
of controllers synthesized from temporal logic specifications.

The test bed would be a platform that allows for noise/failures to manifest in the form
of sensing noise/actuation failures/unexpected behavior from the environment. The precise
form of the test-bed is to be determined (after some preliminary research/exploring literature) -- it could consist of a swarm of quad rotors, RC cars or turtle bots for example. A good starting point would be the experimental set up proposed for the [https://fmrchallenge.org/ Formal Methods for Robotics Challenge at ICRA 2016]. In addition to the design of the experimental facility, other interesting areas of work for the SURF to contribute towards are:

'''1. Scalable Synthesis'''
A current direction of research in the group is exploring the parallelizability of GR(1) synthesis [3]. The complexity of the algorithm scales as cube of the length of the formula (number of liveness formulas to be satisfied). For large problems, algorithms that are linear or quasi-linear algorithms are desirable. Parallelizing the synthesis algorithm could reduce the complexity, enabling synthesis for systems where the formulas are complex and large. Identifying scenarios in which the synthesis can be efficiently parallelized is an interesting topic. Once proofs are developed for the theory, the SURF would help with writing code to develop a tool that incorporates the parallelization into the synthesis algorithm. Additionally, coming up with heuristics for instances where parallelization cannot be done in a complete manner (completeness here refers to the guarantee that a solution is found whenever the problem is feasible) to parallelize the algorithm is an area to explore for the motivated SURF . Heuristics could potentially involve learning-based algorithms for decomposition or other algorithmic approaches (eg. greedy).

'''2. Robust Synthesis using Reinforcement Learning to augment robustness'''
There has been recent work on employing reinforcement learning for enforcing temporal logic specifications [1,2]. In [4], the authors construct a product MDP that
combines a Rabin automata generated from a LTL spec to
synthesize reactive optimal controllers that satisfy LTL
specifications. In general, for strategies synthesized from
logic specifications, the guarantees fail to hold in case of modeling uncertainty
or deviation in behavior of the environment from its assumed behavior.
They observe from
experiments that the controllers generated do reasonably
well even for scenarios when the formula cannot be satisfied.
Exploring this line of work, developing theoretical guarantees
regarding robustness for such a synthesis approach would be
useful.

Though not necessary, it would be useful for the student to have some knowledge of the following:

* Mathematical Logic, Formal Methods
* Some background in Algorithms (CS 2, Ma 5, CS21 at Caltech, CS38 at Caltech) -- not essential but would be useful for exploring research directions
* Programming Skills (Preferably Python, if not some experience with C or Java or other languages would be good)
* Familiarity with Linear Temporal Logic and Formal Verification (CS118) (useful, but not necessary)
* Familiarity with Reinforcement Learning (would be useful but not necessary)
* Familiarity with Robot Operating System (ROS) platform (useful not necessary, can be picked up during the course of the summer)

==References==
[1] D. Aksaray, A. Jones, Z. Kong, M. Schwager, and C. Belta. Q-learning
for robust satisfaction of signal temporal logic specifications. ''CoRR'',
abs/1609.07409, 2016.

[2] A. Jones, D. Aksaray, Z. Kong, M. Schwager, and C. Belta. Enforcing
temporal logic specifications via reinforcement learning. In ''Proceedings
of the 18th International Conference on Hybrid Systems: Computation
and Control'', HSCC ’15, pages 279–280, New York, NY, USA, 2015.
ACM

[3] Y. Kesten, N. Piterman, and A. Pnueli. Bridging the gap between fair
simulation and trace inclusion. ''Information and Computation'', 200:35–
61, 2005.

[4] D. Sadigh, E. S. Kim, S. Coogan, S. S. Sastry, and S. A. Seshia. A
learning based approach to control synthesis of markov decision processes
for linear temporal logic specifications. ''CoRR'', abs/1409.5486, 2014.

SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications

2016-12-21T06:37:22Z

Sdathath: /* References */

'''[[SURF 2017|2017 SURF]] project description'''
* Mentor: Richard M. Murray
* Co-mentors: Sumanth Dathathri

Several interesting problems are presented below and it is desirable that the SURF identifies
one or more of the following problems in addition to the experimental task to develop
some experience with working on theoretical problems. The primary task would be to
develop an experimental test-bed for demonstration/evaluation of recent results
and future work with regard to the optimality and robustness
of controllers synthesized from temporal logic specifications.

The test bed would be a platform that allows for noise/failures to manifest in the form
of sensing noise/actuation failures/unexpected behavior from the environment. The precise
form of the test-bed is to be determined (after some preliminary research/exploring literature) -- it could consist of a swarm of quad rotors, RC cars or turtle bots for example. A good starting point would be the experimental set up proposed for the [https://fmrchallenge.org/ Formal Methods for Robotics Challenge at ICRA 2016]. In addition to the design of the experimental facility, other interesting areas of work for the SURF to contribute towards are:

'''1. Scalable Synthesis'''
A current direction of research in the group is exploring the parallelizability of GR(1) synthesis [3]. The complexity of the algorithm scales as cube of the length of the formula (number of liveness formulas to be satisfied). For large problems, algorithms that are linear or quasi-linear algorithms are desirable. Parallelizing the synthesis algorithm could reduce the complexity, enabling synthesis for systems where the formulas are complex and large. Identifying scenarios in which the synthesis can be efficiently parallelized is an interesting topic. Once proofs are developed for the theory, the SURF would help with writing code to develop a tool that incorporates the parallelization into the synthesis algorithm. Additionally, coming up with heuristics for instances where parallelization cannot be done in a complete manner (completeness here refers to the guarantee that a solution is found whenever the problem is feasible) to parallelize the algorithm is an area to explore for the motivated SURF . Heuristics could potentially involve learning-based algorithms for decomposition or other algorithmic approaches (eg. greedy).

'''2. Robust Synthesis using Reinforcement Learning to augment robustness'''
There has been recent work on employing reinforcement learning for enforcing STL specifications [1,2]. In [4], the authors construct a product MDP that
combines a Rabin automata generated from a LTL spec to
synthesize reactive optimal controllers that satisfy LTL
specifications. In general, for strategies synthesized from
logic specifications, the guarantees fail to hold in case of modeling uncertainty
or deviation in behavior of the environment from its assumed behavior.
They observe from
experiments that the controllers generated do reasonably
well even for scenarios when the formula cannot be satisfied.
Exploring this line of work, developing theoretical guarantees
regarding robustness for such a synthesis approach would be
useful.

Though not necessary, it would be useful for the student to have some knowledge of the following:

* Mathematical Logic, Formal Methods
* Some background in Algorithms (CS 2, Ma 5, CS21 at Caltech, CS38 at Caltech) -- not essential but would be useful for exploring research directions
* Programming Skills (Preferably Python, if not some experience with C or Java or other languages would be good)
* Familiarity with Linear Temporal Logic and Formal Verification (CS118) (useful, but not necessary)
* Familiarity with Reinforcement Learning (would be useful but not necessary)
* Familiarity with Robot Operating System (ROS) platform (useful not necessary, can be picked up during the course of the summer)

==References==
[1] D. Aksaray, A. Jones, Z. Kong, M. Schwager, and C. Belta. Q-learning
for robust satisfaction of signal temporal logic specifications. ''CoRR'',
abs/1609.07409, 2016.

[2] A. Jones, D. Aksaray, Z. Kong, M. Schwager, and C. Belta. Enforcing
temporal logic specifications via reinforcement learning. In ''Proceedings
of the 18th International Conference on Hybrid Systems: Computation
and Control'', HSCC ’15, pages 279–280, New York, NY, USA, 2015.
ACM

[3] Y. Kesten, N. Piterman, and A. Pnueli. Bridging the gap between fair
simulation and trace inclusion. ''Information and Computation'', 200:35–
61, 2005.

[4] D. Sadigh, E. S. Kim, S. Coogan, S. S. Sastry, and S. A. Seshia. A
learning based approach to control synthesis of markov decision processes
for linear temporal logic specifications. ''CoRR'', abs/1409.5486, 2014.

SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications

2016-12-21T06:37:00Z

Sdathath: Created page with "'''2017 SURF project description''' * Mentor: Richard M. Murray * Co-mentors: Sumanth Dathathri Several interesting problems are presented below and it is desir..."

'''[[SURF 2017|2017 SURF]] project description'''
* Mentor: Richard M. Murray
* Co-mentors: Sumanth Dathathri

Several interesting problems are presented below and it is desirable that the SURF identifies
one or more of the following problems in addition to the experimental task to develop
some experience with working on theoretical problems. The primary task would be to
develop an experimental test-bed for demonstration/evaluation of recent results
and future work with regard to the optimality and robustness
of controllers synthesized from temporal logic specifications.

The test bed would be a platform that allows for noise/failures to manifest in the form
of sensing noise/actuation failures/unexpected behavior from the environment. The precise
form of the test-bed is to be determined (after some preliminary research/exploring literature) -- it could consist of a swarm of quad rotors, RC cars or turtle bots for example. A good starting point would be the experimental set up proposed for the [https://fmrchallenge.org/ Formal Methods for Robotics Challenge at ICRA 2016]. In addition to the design of the experimental facility, other interesting areas of work for the SURF to contribute towards are:

'''1. Scalable Synthesis'''
A current direction of research in the group is exploring the parallelizability of GR(1) synthesis [3]. The complexity of the algorithm scales as cube of the length of the formula (number of liveness formulas to be satisfied). For large problems, algorithms that are linear or quasi-linear algorithms are desirable. Parallelizing the synthesis algorithm could reduce the complexity, enabling synthesis for systems where the formulas are complex and large. Identifying scenarios in which the synthesis can be efficiently parallelized is an interesting topic. Once proofs are developed for the theory, the SURF would help with writing code to develop a tool that incorporates the parallelization into the synthesis algorithm. Additionally, coming up with heuristics for instances where parallelization cannot be done in a complete manner (completeness here refers to the guarantee that a solution is found whenever the problem is feasible) to parallelize the algorithm is an area to explore for the motivated SURF . Heuristics could potentially involve learning-based algorithms for decomposition or other algorithmic approaches (eg. greedy).

'''2. Robust Synthesis using Reinforcement Learning to augment robustness'''
There has been recent work on employing reinforcement learning for enforcing STL specifications [1,2]. In [4], the authors construct a product MDP that
combines a Rabin automata generated from a LTL spec to
synthesize reactive optimal controllers that satisfy LTL
specifications. In general, for strategies synthesized from
logic specifications, the guarantees fail to hold in case of modeling uncertainty
or deviation in behavior of the environment from its assumed behavior.
They observe from
experiments that the controllers generated do reasonably
well even for scenarios when the formula cannot be satisfied.
Exploring this line of work, developing theoretical guarantees
regarding robustness for such a synthesis approach would be
useful.

Though not necessary, it would be useful for the student to have some knowledge of the following:

* Mathematical Logic, Formal Methods
* Some background in Algorithms (CS 2, Ma 5, CS21 at Caltech, CS38 at Caltech) -- not essential but would be useful for exploring research directions
* Programming Skills (Preferably Python, if not some experience with C or Java or other languages would be good)
* Familiarity with Linear Temporal Logic and Formal Verification (CS118) (useful, but not necessary)
* Familiarity with Reinforcement Learning (would be useful but not necessary)
* Familiarity with Robot Operating System (ROS) platform (useful not necessary, can be picked up during the course of the summer)

==References==
[1] D. Aksaray, A. Jones, Z. Kong, M. Schwager, and C. Belta. Q-learning
for robust satisfaction of signal temporal logic specifications. ''CoRR'',
abs/1609.07409, 2016.
[2] A. Jones, D. Aksaray, Z. Kong, M. Schwager, and C. Belta. Enforcing
temporal logic specifications via reinforcement learning. In ''Proceedings
of the 18th International Conference on Hybrid Systems: Computation
and Control'', HSCC ’15, pages 279–280, New York, NY, USA, 2015.
ACM
[3] Y. Kesten, N. Piterman, and A. Pnueli. Bridging the gap between fair
simulation and trace inclusion. ''Information and Computation'', 200:35–
61, 2005.
[4] D. Sadigh, E. S. Kim, S. Coogan, S. S. Sastry, and S. A. Seshia. A
learning based approach to control synthesis of markov decision processes
for linear temporal logic specifications. ''CoRR'', abs/1409.5486, 2014.

SURF 2017

2016-12-21T05:51:38Z

Sdathath: /* List of available projects */

User:Sdathath

2016-11-30T12:19:46Z

Sdathath: Created page with "Sumanth Dathathri"

Sumanth Dathathri

Nov 2016 meeting schedule

2016-11-06T04:50:19Z

Sdathath: /* 15 Nov (Tue) */

Richard will be in town 13-16 Nov. Please sign up for a time to meet below.
__NOTOC__

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

==== 13 Nov (Sun) ====
 
 
<hr>
* 2 pm: Hold until needed
* 2:45 pm: Hold until needed
* 3:30 pm: Hold until needed
* 4:15 pm: Break
* 5:00 pm: Hold until needed
* 5:45 pm: Hold until needed
* 6:30 pm: Done for the day

| width=25% |

==== 14 Nov (Mon) ====
* 10:30 am: Andy Halleran
* 11:15 am: Tung
<hr>
* 1:30 pm: Vipul
* 2:15 pm: Andrey Shur
* 3:00 pm: Shaobin
* 3:45 pm: Break
* 4:00 pm: Miki
* 4:45 pm: Aryeh
* 5:30 pm: Anu
* 6:15 pm: Done for the day
| width=25% |

====15 Nov (Tue) ====
* 10:30 am: Mark
* 11:15 am: Reed
<hr>
* 1:30 pm: Sumanth
* 2:15 pm: Karena Cai
* 3:00 pm: Tony Fragoso
* 3:45 pm: Break
* 4:00 pm: Anandh
* 4:45 pm: Cindy
* 5:30 pm: Richard
* 6:15 pm: Done for the day
| width=25% |

==== 16 Nov (Wed) ====
* 10:30 am: Ania
* 11:15 am: Open
<hr>
* 1:30 pm: Open
* 2:15 pm: Open
* 3:00 pm: CDS tea
* Depart for airport at ~4 pm
|}

Sep/Oct 2016 meeting schedule

2016-09-29T03:22:36Z

Sdathath: /* 2 Oct (Sun) */

Richard will be in town 29 Sept - 3 Oct 2016. Please sign up for a time to meet below.
__NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 29 Sep (Thu) ====
* Flying in from SF in the morning
* 1:00 pm: George
* 1:45 pm: Andrey
* 2:30 pm: Tony Fragoso
* 3:15 pm: Break
* 3:30 pm: Richard C.
* 4:15 pm: Sam
* 5:00 pm: Mark
* 5:45 pm: Break
* 6:00 pm: Reed
* 6:45 pm: Rory
* 7:30 pm: Done for the day
| width=25% |

==== 30 Sep (Fri) ====
* Morning: busy with other meetings/phone calls
* 1:30-3:30 pm: Integrase project meeting (Victoria, Andrey, George, Sam, Ania, Cindy, Jining)
* 3:30 pm: Miki
* 4:30 pm: break
* 4:45 pm: Sumanth
* 5:30 pm: Anandh
* 6:15 pm: James
* 7:00 pm: Done for the day
| width=25% |

==== 2 Oct (Sun) ====
* 1:45 pm: YONG
* 2:30 pm: Vipul
* 3:15 pm: Karena
* 4:00 pm: Break
* 4:15 pm: Cindy
* 5:00 pm: Open
* 5:45 pm: Ioannis
* 6:30 pm: Andrew
* 7:15 pm: Done for the day

| width=25% |

==== 3 Oct (Mon) ====
* 10 am - 12 pm: DARPA BioCon meeting
* 12:00 pm: Candidacy exam
* 1:45 pm: Jaymie
* 2:45 pm: Tung
* 3:30 pm: Shaobin
* 4:15 pm: Victoria
* 5:00 pm: Break
* 5:15 pm: Daniel N
* 6:00 pm: William
* 6:45 pm: Ania
* 7:30 pm: Done for the day
|}

Sep/Oct 2016 meeting schedule

2016-09-29T03:22:25Z

Sdathath: /* 30 Sep (Fri) */

Richard will be in town 29 Sept - 3 Oct 2016. Please sign up for a time to meet below.
__NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 29 Sep (Thu) ====
* Flying in from SF in the morning
* 1:00 pm: George
* 1:45 pm: Andrey
* 2:30 pm: Tony Fragoso
* 3:15 pm: Break
* 3:30 pm: Richard C.
* 4:15 pm: Sam
* 5:00 pm: Mark
* 5:45 pm: Break
* 6:00 pm: Reed
* 6:45 pm: Rory
* 7:30 pm: Done for the day
| width=25% |

==== 30 Sep (Fri) ====
* Morning: busy with other meetings/phone calls
* 1:30-3:30 pm: Integrase project meeting (Victoria, Andrey, George, Sam, Ania, Cindy, Jining)
* 3:30 pm: Miki
* 4:30 pm: break
* 4:45 pm: Sumanth
* 5:30 pm: Anandh
* 6:15 pm: James
* 7:00 pm: Done for the day
| width=25% |

==== 2 Oct (Sun) ====
* 1:45 pm: YONG
* 2:30 pm: Vipul
* 3:15 pm: Karena
* 4:00 pm: Break
* 4:15 pm: Cindy
* 5:00 pm: Sumanth
* 5:45 pm: Ioannis
* 6:30 pm: Andrew
* 7:15 pm: Done for the day

| width=25% |

==== 3 Oct (Mon) ====
* 10 am - 12 pm: DARPA BioCon meeting
* 12:00 pm: Candidacy exam
* 1:45 pm: Jaymie
* 2:45 pm: Tung
* 3:30 pm: Shaobin
* 4:15 pm: Victoria
* 5:00 pm: Break
* 5:15 pm: Daniel N
* 6:00 pm: William
* 6:45 pm: Ania
* 7:30 pm: Done for the day
|}

Sep/Oct 2016 meeting schedule

2016-09-22T23:42:40Z

Sdathath: /* 2 Oct (Sun) */

Richard will be in town 29 Sept - 3 Oct 2016. Please sign up for a time to meet below.
__NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 29 Sep (Thu) ====
* Flying in from SF in the morning
* 1:00 pm: George
* 1:45 pm: Andrey
* 2:30 pm: Tony Fragoso
* 3:15 pm: Break
* 3:30 pm: Richard C.
* 4:15 pm: Sam
* 5:00 pm: Mark
* 5:45 pm: Break
* 6:00 pm: Reed
* 6:45 pm: Rory
* 7:30 pm: Done for the day
| width=25% |

==== 30 Sep (Fri) ====
* Morning: busy with other meetings/phone calls
* 1:30-3:30 pm: Integrase project meeting (Victoria, Andrey, George, Sam, Ania, Cindy, Jining)
* 3:30 pm: Miki
* 4:30 pm: break
* 4:45 pm: Andrew
* 5:30 pm: Anandh
* 6:15 pm: Done for the day
| width=25% |

==== 2 Oct (Sun) ====
* 1:45 pm: YONG
* 2:30 pm: Open
* 3:15 pm: Karena
* 4:00 pm: Break
* 4:15 pm: Cindy
* 5:00 pm: Sumanth
* 5:45 pm: Open
* 6:30 pm: Done for the day

| width=25% |

==== 3 Oct (Mon) ====
* 10 am - 12 pm: DARPA BioCon meeting
* 12:00 pm: Candidacy exam
* 1:45 pm: Jaymie
* 2:45 pm: Tung
* 3:30 pm: Shaobin
* 4:15 pm: Victoria
* 5:00 pm: Break
* 5:15 pm: Daniel N
* 6:00 pm: William
* 6:45 pm: Ania
* 7:30 pm: Done for the day
|}

Sergei Avedisov, June 2016

2016-06-13T17:33:05Z

Sdathath: /* Schedule */

=== Schedule ===
* 10:30 am - Richard Murray, 109 Steele
* 11:00 am - Seminar, 121 Annenberg
* 12:00 pm - Lunch @ Ath: Ioannis (host), Sumanth, Tung
* 1:30 pm - Ioannis
* 2:00 pm - Sumanth
* 2:30 pm - Tung
* 3:00 pm - Richard Murray, 109 Steele
* 3:30 pm - Benson
* 4:00 pm - Richard C.
* 4:30 pm - Sumanth Dathathri (Outside Annenberg 213=>Find a room from there)
* 5:00 pm - Done for the day

=== Abstract ===
A network-based approach to design and analysis of connected vehicles 
Sergei Avedisov 
U. Michigan

In the future vehicles may use dedicated short range communication (DSRC) to communicate with multiple surrounding vehicles and infrastructure including those beyond the line of sight. The resulting ad-hoc connected vehicle network (CVN) has the potential to improve traffic safety, traffic mobility, and fuel economy. We develop mathematical models to design and analyze CVNs which must take into account for nonlinearities, complex network structure, delays, digital effects, as well as other challenging phenomena that play a crucial role in traffic dynamics. We exploit the network structure to analyze complex CVNs effectively, and gain some nontrivial yet important insight in CVN design.

Sergei Avedisov, June 2016

2016-06-10T23:16:45Z

Sdathath: /* Schedule */

=== Schedule ===
* 10:30 am - Richard Murray, 109 Steele
* 11:00 am - Seminar, 121 Annenberg
* 12:00 pm - Lunch @ Ath: Ioannis (host), Sumanth, Tung?
* 1:30 pm - Open
* 2:00 pm - Sumanth
* 2:30 pm - Open
* 3:00 pm - Richard
* 3:30 pm - Open

=== Abstract ===
A network-based approach to design and analysis of connected vehicles 
Sergei Avedisov 
U. Michigan

In the future vehicles may use dedicated short range communication (DSRC) to communicate with multiple surrounding vehicles and infrastructure including those beyond the line of sight. The resulting ad-hoc connected vehicle network (CVN) has the potential to improve traffic safety, traffic mobility, and fuel economy. We develop mathematical models to design and analyze CVNs which must take into account for nonlinearities, complex network structure, delays, digital effects, as well as other challenging phenomena that play a crucial role in traffic dynamics. We exploit the network structure to analyze complex CVNs effectively, and gain some nontrivial yet important insight in CVN design.

Group Schedule, Winter 2016

2016-02-17T00:36:44Z

Sdathath: /* Week 11: 14 Mar - 18 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 2015]]
|}

The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, here are the locations of the meetings:

:{| width=100%
|- valign=top
| width=30% |
* Group meetings - 213 ANB
| width=30% |
* Biocircuits subgroup - 111 Keck
| width=30% |
* NCS subgroup - 243 ANB
|}

{| width=100% border=1

|- valign=top
| width=25% |
=== Week 1: 4 Jan - 8 Jan ===
* Richard in India (Mon-Fri)

| width=25% |

=== Week 2: 11 Jan - 15 Jan ===
* Richard in India (Mon-Fri)

| width=25% |

=== Week 3: 18 Jan - 22 Jan ===
'''NCS: Tue, 1p-2:30p'''
* Ioannis Filippidis (main)
* Benson Christalin (short)
'''Biocircuits: Tue, 3p-5p'''
* Yutaka Hori (long)
* Clare Hayes (short)

|- valign=top
| width=25% |

=== Week 4: 25 Jan - 29 Jan ===
'''Biocircuits: Tue, 10a-12p'''
* Vipul Singhal (long)
* Abel Chiao (short)
'''NCS: Wed, 10:30a-12p'''
* Cat McGhan (main)
* Ioannis Filippidis (short)

| width=25% |

=== Week 5: 1 Feb - 5 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* Victoria Hsiao (long)
* Anandh Swaminathan (short)
'''NCS: Wed, 10:30a-12p'''
* Tony Fragoso (main)
* Open (short)

| width=25% |

=== Week 6: 8 Feb - 12 Feb ===
'''Biocircuits: Mon, 10a-12p'''
* Ania Baetica (long)
* Anu Thubagere (short)
'''NCS: Mon, 1:00p-2:30p Steele 110'''
* Sumanth Dathathri (main)
* Open (short)

|- valign=top
| width=25% |

=== Week 7: 15 Feb - 19 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* Yong Wu (long)
* James Parkin (short)
'''NCS: Wed, 10:30a-12p'''
* Daniel Naftalovich (main)
* Open (short)

| width=25% |

=== Week 8: 22 Feb - 26 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* Andrey Shur (long)
* Shaobin Guo (short)
'''NCS: Mon, 3:30p-5p'''
* Ivan Papusha (main)
* Open (short)

| width=25% |

=== Week 9: 29 Feb - 4 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Sam Clamons (short)
* Sean Sanchez (short)
* Tina Xu (UG)
'''NCS: Wed, 10:30a-12p'''
* Jiangang Li (main)
* Sumanth Dathathri (short)
|- valign=top
| width=25% |

=== Week 10: 7 Mar - 11 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Open (rotation)
* Tiffany Zhou (UG)
'''NCS: Wed, 10:30a-12p'''
* Benson Christalin (main)
* Benson Christalin (short)

| width=25% |

=== Week 11: 14 Mar - 18 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Open (rotation)
* Andrew Montequin (UG)
'''NCS: Wed, 10:30a-12p'''
* Visitor (main)
* Open (Sumanth Dathathri)

| width=25% |

=== Week 12: 21 Mar - 25 Mar ===
* Richard out of town (Mon-Fri)
|}

Group Schedule, Winter 2016

2016-01-27T20:08:00Z

Sdathath: /* Week 9: 29 Feb - 4 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 2015]]
|}

The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, here are the locations of the meetings:

:{| width=100%
|- valign=top
| width=30% |
* Group meetings - 213 ANB
| width=30% |
* Biocircuits subgroup - 111 Keck
| width=30% |
* NCS subgroup - 243 ANB
|}

{| width=100% border=1

|- valign=top
| width=25% |
=== Week 1: 4 Jan - 8 Jan ===
* Richard in India (Mon-Fri)

| width=25% |

=== Week 2: 11 Jan - 15 Jan ===
* Richard in India (Mon-Fri)

| width=25% |

=== Week 3: 18 Jan - 22 Jan ===
'''NCS: Tue, 1p-2:30p'''
* Ioannis Filippidis (main)
* Benson Christalin (short)
'''Biocircuits: Tue, 3p-5p'''
* Yutaka Hori (long)
* Clare Hayes (short)

|- valign=top
| width=25% |

=== Week 4: 25 Jan - 29 Jan ===
'''Biocircuits: Tue, 10a-12p'''
* Vipul Singhal (long)
* Abel Chiao (short)
'''NCS: Wed, 10:30a-12p'''
* Cat McGhan (main)
* Ioannis Filippidis (short)

| width=25% |

=== Week 5: 1 Feb - 5 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* Victoria Hsiao (long)
* Anandh Swaminathan (short)
'''NCS: Wed, 10:30a-12p'''
* Tony Fragoso (main)
* Open (short)

| width=25% |

=== Week 6: 8 Feb - 12 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* Meeting will probably shift to Mon, 10a-12p
* Ania Baetica (long)
* Anu Thubagere (short)
'''NCS: Wed, 10:30a-12p'''
* Meeting will probably shift to Mon, 1p-2:30p
* Sumanth Dathathri (main)
* Open (short)

|- valign=top
| width=25% |

=== Week 7: 15 Feb - 19 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* Yong Wu (long)
* Shaobin Guo (short)
'''NCS: Wed, 10:30a-12p'''
* Daniel Naftalovich (main)
* Open (short)

| width=25% |

=== Week 8: 22 Feb - 26 Feb ===
'''Biocircuits: Tue, 10a-12p'''
* Andrey Shur (long)
* James Parkin (short)
'''NCS: Tue, 1:30p-3p'''
* Ivan Papusha (main)
* Open (short)

| width=25% |

=== Week 9: 29 Feb - 4 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Sam Clamons (short)
* Sean Sanchez (short)
* Tina Xu (UG)
'''NCS: Wed, 10:30a-12p'''
* Jiangang Li (main)
* Sumanth Dathathri (short)
|- valign=top
| width=25% |

=== Week 10: 7 Mar - 11 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Open (rotation)
* Tiffany Zhou (UG)
'''NCS: Wed, 10:30a-12p'''
* Benson Christalin (main)
* Open (short)

| width=25% |

=== Week 11: 14 Mar - 18 Mar ===
'''Biocircuits: Tue, 10a-12p'''
* Open (rotation)
* Andrew Montequin (UG)
'''NCS: Wed, 10:30a-12p'''
* Visitor (main)
* Open (short)

| width=25% |

=== Week 12: 21 Mar - 25 Mar ===
* Richard out of town (Mon-Fri)
|}

Research meetings, Jan/Feb 2016

2016-01-24T20:05:16Z

Sdathath: /* 7 Feb 2016 (Sun) */

Please sign up for a slot below. __NOTOC__

{| border=1 width=100%
|- valign = top
|
=== 25 Jan 2016 (Mon) ===
* Richard in SF
|
=== 26 Jan 2016 (Tue) ===
* 1-2 pm: Andrey Shur
* 2-3 pm: Anders Knight
* 3-4 pm: Reed McCardell
* 5:30-6:30 pm: Ania Baetica
|

=== 27 Jan 2016 (Wed) ===
* 8:30-9:30 am: Vipul Singhal
* 9:30-10:30 am: Anandh Swaminathan
* 4-5 pm: Shaobin
* 5-6 pm: Ivan (flexible)
|

=== 28 Jan 2016 (Thu) ===
* 5:30-6:30 pm: Michele Colledanchise
* 6:30-7:30 pm: Yutaka
|

=== 29 Jan 2016 (Fri) ===
* 9-10 am: Hold: Benson
* 2-3 pm: Victoria Hsiao
* 3-4 pm: Clare
* 4:30-5:30 pm: Ioannis Filippidis
* 5:30-6:30 pm: George Artavanis
|- valign = top
|

=== 25 Jan 2016 (Mon) ===
* Richard in Hartford
|
=== 2 Feb 2016 (Tue) ===
* 9-10 am: Yong W.
* 2-3 pm: Tony Fragoso
* 3-4 pm: Sean Sanchez
* 4-5 pm: James Parkin
* 5:30-6:30 pm: Daniel Naftalovich
* 6:30-7:30 pm: Anu Thubagere
|

=== 3 Feb 2016 (Wed) ===
* 8:30-9:30 am: Cat McGhan
* 9:30-10:30 am: Sam Clamons
|

=== 4 Feb 2016 (Thu) ===
* Richard in SF
|
=== 5 Feb 2016 (Fri) ===
* BE visiting day
|}

=== 7 Feb 2016 (Sun) ===
* 2-3 pm: Vipul Singhal
* 3-4 pm: Sumanth Dathathri (flexible)
* 4-5 pm: open (if needed)
* 5-6 pm: open (if needed)