Murray Wiki - User contributions [en]

Siva Seetharaman, 10 May 2018

2018-05-08T16:27:06Z

Ifilippi: /* Schedule: add Ioannis at 2pm */

[[http:simons.berkeley.edu/people/siva-seetharaman|Siva Seetharaman]] is a doctoral candidate in the Department of Electrical Engineering at the University of Notre Dame. She obtained her undergraduate and Master’s degrees in Electrical Engineering from the PES Institute of Technology and the Indian Institute of Science, in 2011 and 2013, respectively. Sivaranjani’s research interests are in the area of distributed control for large-scale infrastructure networks, with emphasis on transportation networks and power grids.

=== Schedule ===

* 10:30 am: Richard Murray, 109 Steele Lab
* 11 am: informal seminar + Q&A
* Noon: lunch (Gabor Orosz to host)
* 1:15 pm: Jin
* 2:00 pm: Ioannis Filippidis, 338 Annenberg
* 2:45 pm: open
* 3:30 pm: open
* 4:15 pm: open (tentative; depending on flight times)
* 5:00 pm (done for the day)

=== Seminar ===

Congestion in Large-Scale Transportation Networks: Analysis and Control Perspectives <br>
Siva Seetharaman, Notre Dame<br>
10 May 2018, 11 am, 114 Steele Lab (library)

Fluid-like models their discretizations like the Cell Transmission Model (CTM), have proven successful in modeling traffic networks. However, given the complexity of the dynamics, it is not surprising that the stability properties of these models, especially in congested regimes, are not yet well characterized. The first half of this talk will propose a new modeling paradigm, where an analogy between discetized fluid-like traffic flow models and a class of chemical reaction networks is constructed by suitable relaxations of key conservation laws. This framework allows us to draw upon powerful structural results and entropy-like Lyapunov functions from chemical reaction network theory to study the existence and stability of congested steady states in networks with arbitrary toplogies. The second half of this talk will motivate compositional design approaches to mitigate congestion in large-scale transportation networks by describing a scalable distributed design that uses only local information to limit the propagation of congestion in the network.

Karan Kalsi, Oct 2017

2017-10-01T15:09:24Z

Ifilippi: /* add Ioannis to 11am on 5 Oct (Thu) */

__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: Open
* 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: Open
* 11 am: Aaron Ames (266 Gates-Thomas)
* IST lunch bunch
* Afternoon off

=== 4 Oct (Wed) ===
* Morning off
* Lunch open
* 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

May 2017 meeting schedule

2017-05-09T21:36:54Z

Ifilippi: /* add Ioannis to 21 May (Sun) */

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: Andy
* 12:15 pm: Lunch
* 1:30 pm: Sam
* 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: Ioannis
* 3:15 pm: Karena
* 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: Richard C
* 2:30 pm: George
* 3:15 pm: Andy
* 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
|}

Apr 2017 meeting schedule

2017-04-14T07:15:45Z

Ifilippi: /* add Ioannis to 2:30pm on 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: Sofie
* 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:15 pm: Associates event

| width=25% |

==== 20 Apr (Thu) ====
* 9:30 am: 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:30 pm: Reed
* 7:15 pm: Done for the day

| width=25% |

==== 21 Apr (Fri) ====
* 9:15 am: George A
* 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: Andy
* 3:00 pm: Break
* 3:15 pm: Andrey
* 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: Ioannis
* 3:15 pm: Richard
* 4:00 pm: Break
* 4:15 pm: Sumanth
* 5:00 pm: Cindy
* 5:45 pm: Shan
* 6:30 pm: Done for the day
|}

Mar 2017 meeting schedule

2017-02-28T07:56:05Z

Ifilippi: mv Ioannis from Mon to 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: William
* 6:30 pm: Done for the day

| width=25% |

==== 5 Mar (Sun) ====
* 1:45 pm: Anandh
* 2:30 pm: Andrey
* 3:15 pm: Sam
* 4:00 pm: Break
* 4:15 pm: Ioannis
* 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: Open
* 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-26T22:15:39Z

Ifilippi: /* add Ioannis to 6 Mar (Mon) */

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: 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
|}

Jan 2017 meeting schedule

2017-01-16T22:19:43Z

Ifilippi: /* add Ioannis to 2:30pm on 22 Jan (Sun) */

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: Reed
* 4:00 pm: Miki
* 4:45 pm: Break
* 5:00 pm: Cindy
* 5:45 pm: James
* 6:30 pm: Done for the day

| width=25% |

==== 22 Jan (Sun) ====
* 1:45 pm: Sam
* 2:30 pm: Ioannis
* 3:15 pm: Rory
* 4:00 pm: Break
* 4:15 pm: Open
* 5:00 pm: Andrey
* 5:45 pm: Andy
* 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: Vipul
* 2:30 pm: CDS faculty meeting
* 4:15 pm: Tony Fragoso
* 5:00 pm: Ania
* 5:45 pm: William
* 6:30 pm: Dinner with visitors

| width=25% |

==== 24 Jan (Tue) ====
* 9:45 am: Shan
* 10:30 am: Karena
* 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: Anu
* 2:45 pm: [[Henrike Niederholtmeyer, Jan 2017|Henrike]]
* 3:30 pm: Depart for airport
|}

Nov 2016 meeting schedule

2016-11-06T19:05:08Z

Ifilippi: /* 16 Nov (Wed) */

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) ====
<br>
<br>
<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: Ioannis
<hr>
* 1:30 pm: Open
* 2:15 pm: Open
* 3:00 pm: CDS tea
* Depart for airport at ~4 pm
|}

Control design for hybrid systems with TuLiP: The temporal logic planning toolbox

2016-10-16T08:00:33Z

Ifilippi: add "2016 IEEE Conference on Control Applications (CCA)" to venue description, following ieeexplore

{{Paper
|Title=Control design for hybrid systems with TuLiP: The temporal logic planning toolbox
|Authors=Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray
|Source=2016 IEEE Conference on Control Applications (CCA)
Part of 2016 IEEE Multi-Conference on Systems and Control (MSC)
|Abstract=
This tutorial describes TuLiP, the Temporal Logic Planning toolbox, a collection of tools for designing controllers
for hybrid systems from specifications in temporal logic. The
tools support a workflow that starts from a description of
desired behavior, and of the system to be controlled. The
system can have discrete state, or be a hybrid dynamical
system with a mixed discrete and continuous state space. The
desired behavior can be represented with temporal logic and
discrete transition systems. The system description can include
uncontrollable variables that take discrete or continuous values,
and represent disturbances and other environmental factors
that affect the dynamics, as well as communication signals that
affect controller decisions.

A control design problem is solved in phases that involve
abstraction, discrete synthesis, and continuous feedback control.
Abstraction yields a discrete description of system dynamics in
logic. For piecewise affine dynamical systems, this abstraction
is constructed automatically, guided by the geometry of the dynamics
and under logical constraints from the specification. The
resulting logic formulae describe admissible discrete behaviors
that capture both controlled and environment variables. The
discrete description resulting from abstraction is then conjoined
with the desired logic specification. To find a controller, the
toolbox solves a game of infinite duration. Existence of a discrete
(winning) strategy for the controlled variables in this game is a
proof certificate for the existence of a controller for the original
problem, which guarantees satisfaction of the specification. This
discrete strategy, concretized by using continuous controllers,
yields a feedback controller for the original hybrid system. The
toolbox frontend is written in Python, with backends in C,
Python, and Cython.

The tutorial starts with an overview of the theory behind
TuLiP, and of its software architecture, organized into specifi-
cation frontends and backends that implement algorithms for
abstraction, solving games, and interfaces to other tools. Then,
the main elements for writing a specification for input to TuLiP
are introduced. These include logic formulae, discrete transition
systems annotated with predicates, and hybrid dynamical systems,
with linear or piecewise affine continuous dynamics. The
working principles of the algorithms for predicate abstraction
and discrete game solving using nested fixpoints are explained,
by following the input specification through the various transformations
that compile it to a symbolic representation that
scales well to solving large games. The tutorial concludes
with several design examples that demonstrate the toolbox’s
capabilities.
|URL=http://www.cds.caltech.edu/~ifilippi/pubs/2016_filippidis_msc.pdf
|Type=Conference paper
|ID=2016e
|Tag=fil+16-msc
|Funding=SRC TerraSwarm
}}

Control design for hybrid systems with TuLiP: The temporal logic planning toolbox

2016-10-03T19:13:10Z

Ifilippi: update to final paper version

{{Paper
|Title=Control design for hybrid systems with TuLiP: The temporal logic planning toolbox
|Authors=Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray
|Source=2016 IEEE Multi-Conference on Systems and Control (MSC)
|Abstract=
This tutorial describes TuLiP, the Temporal Logic Planning toolbox, a collection of tools for designing controllers
for hybrid systems from specifications in temporal logic. The
tools support a workflow that starts from a description of
desired behavior, and of the system to be controlled. The
system can have discrete state, or be a hybrid dynamical
system with a mixed discrete and continuous state space. The
desired behavior can be represented with temporal logic and
discrete transition systems. The system description can include
uncontrollable variables that take discrete or continuous values,
and represent disturbances and other environmental factors
that affect the dynamics, as well as communication signals that
affect controller decisions.

A control design problem is solved in phases that involve
abstraction, discrete synthesis, and continuous feedback control.
Abstraction yields a discrete description of system dynamics in
logic. For piecewise affine dynamical systems, this abstraction
is constructed automatically, guided by the geometry of the dynamics
and under logical constraints from the specification. The
resulting logic formulae describe admissible discrete behaviors
that capture both controlled and environment variables. The
discrete description resulting from abstraction is then conjoined
with the desired logic specification. To find a controller, the
toolbox solves a game of infinite duration. Existence of a discrete
(winning) strategy for the controlled variables in this game is a
proof certificate for the existence of a controller for the original
problem, which guarantees satisfaction of the specification. This
discrete strategy, concretized by using continuous controllers,
yields a feedback controller for the original hybrid system. The
toolbox frontend is written in Python, with backends in C,
Python, and Cython.

The tutorial starts with an overview of the theory behind
TuLiP, and of its software architecture, organized into specifi-
cation frontends and backends that implement algorithms for
abstraction, solving games, and interfaces to other tools. Then,
the main elements for writing a specification for input to TuLiP
are introduced. These include logic formulae, discrete transition
systems annotated with predicates, and hybrid dynamical systems,
with linear or piecewise affine continuous dynamics. The
working principles of the algorithms for predicate abstraction
and discrete game solving using nested fixpoints are explained,
by following the input specification through the various transformations
that compile it to a symbolic representation that
scales well to solving large games. The tutorial concludes
with several design examples that demonstrate the toolbox’s
capabilities.
|URL=http://www.cds.caltech.edu/~ifilippi/pubs/2016_filippidis_msc.pdf
|Type=Conference paper
|ID=2016e
|Tag=fil+16-msc
|Funding=SRC TerraSwarm
}}

Sep/Oct 2016 meeting schedule

2016-09-25T04:11:29Z

Ifilippi: /* add Ioannis to 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: 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: Open
* 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
|}

Aug 2016 meeting schedule

2016-07-31T08:03:46Z

Ifilippi: /* add Ioannis to 9 Aug (Tue)*/

Richard will be in town 7-10 August 2016. Please sign up for a time to meet below.
__NOTOC__

{| border=1
|- valign=top
| width=25% |
==== 7 Aug (Sun) ====
* 2:15 pm: Open
* 3:00 pm: Open
* 3:45 pm: Open
* 4:00 pm: Break
* 4:45 pm: Open
* 5:30 pm: Open
* 6:30 pm: Open
| width=25% |
==== 8 Aug (Mon) ====
* 9-11 am: Integrase project meeting (Victoria, Andrey, Sam, Ania, Cindy)
<hr>
* 12:45 pm: Anandh
* 1:30 pm: Open
* 2:15 pm: Open
* 3:00 pm: Open
* 3:45 pm: Break
* 4:00 pm: Open
* 4:45 pm: Open
| width=25% |

==== 9 Aug (Tue) ====
* 8:30 am: Open
* 9:15 am: Open
* 10:00 am: Jaymie
* 11 am - 2 pm: DARPA Biological Control project meeting (Anandh, Ania, Cindy, James, Reed, Andrey, Sam?)
* 1:00 pm: Tung
* 1:45 pm: Open
* 2:30 pm: Tony Fragoso
* 3:15 pm: Break
* 3:30 pm: Vipul
* 4:15 pm: Ioannis
* 5:00 pm: Open
* 5:45 pm: Break
| width=25% |

==== 10 Aug (Wed) ====
* 9-11 am: TX-TL project meeting (Clare, Mark, Shaobin, Yong, Vipul, Sam, Miki)
* 11:00 am: Shaobin
* 11:45 am: Unavailable
* 12:45 pm: Miki
* 1:45 pm: Open
* 2:30 pm: Leave for airport
|}

Sergei Avedisov, June 2016

2016-06-11T21:16:49Z

Ifilippi: add Ioannis

=== 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 - Open
* 3:00 pm - Richard
* 3:30 pm - Open

=== Abstract ===
A network-based approach to design and analysis of connected vehicles <br>
Sergei Avedisov <br>
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, Spring 2016

2016-04-06T16:13:45Z

Ifilippi: /* add Ioannis to Week 9: 23 May - 26 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, Winter 2016]]
|}

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: 28 Mar - 1 Apr ===
'''NCS: Wed, 9:30a-11a, <font color=blue> 121 ANB </font>'''
* Cat McGhan (main)
* Richard Cheng (short)
'''Biocircuits: <s>Tue, 10a-12p</s> <font color="blue">Thu, 2p-4p, 114 Steele (library)</font>'''
* Clare Hayes (long)
* Victoria Hsiao (short)

| width=25% |

=== Week 2: 4 Apr - 8 Apr ===
'''Biocircuits: Tue, 10a-12p'''
* Anandh Swaminathan (long)
* Andrew Montequin (short)
'''NCS: Wed, 3:30p-5p'''
* Ioannis Filippidis (main)
* Tung Phan (short)

| width=25% |

=== Week 3: 11 Apr - 15 Apr ===
* Richard out of town

|- valign=top
| width=25% |

=== Week 4: 18 Apr - 22 Apr ===
'''NCS: Wed, 3:30p-5p'''
* Tony Fragoso (main)
* Jin Ge (short)
'''Biocircuits: Thu, 10a-12p'''
* Anu Thubagere (long)
* Vipul Singhal (short)

| width=25% |

=== Week 5: 25 Apr - 29 Apr ===
'''Biocircuits: Tue, 10a-12p'''
* James Parkin (long)
* Ania Baetica (short)
'''NCS: Wed, 3:30p-5p'''
* Sumanth Dathathri (main)
* Open (short)

| width=25% |

=== Week 6: 2 May - 6 May ===
'''Biocircuits: Tue, 10a-12p'''
* Shaobin Guo (long)
* Yong Wu (short)
'''NCS: Wed, 3:30p-5p'''
* Daniel Naftalovich (main)
* Open (short)

|- valign=top
| width=25% |

=== Week 7: 9 May - 13 May ===
'''Biocircuits: Tue, 10a-12p'''
* Sam Clamons (long)
* Andrey Shur (short)
'''NCS: Wed, 3:30p-5p'''
* Ivan Papusha (main)
* Open (short)

| width=25% |

=== Week 8: 16 May - 19 May ===
* Richard out of town all week
| width=25% |

=== Week 9: 23 May - 26 May ===
'''Biocircuits: Tue, 10a-12p'''
* Open (long)
* Sean Sanchez (short)
'''NCS: Wed, 3:30p-5p'''
* Jiangang Li (main)
* Ioannis Filippidis (short)
|- valign=top
| width=25% |

=== Week 10: 30 May - 3 Jun ===
'''Biocircuits: Tue, 10a-12p'''
* Jining Huang (long)
* Andrew Montequin (short)
'''NCS: Tue, 1:30p-3p'''
* Benson Christalin (main)
* Richard Cheng (update)

| width=25% |

=== Week 11: 6 Jun - 10 Jun ===
'''Biocircuits: Tue, 10a-12p'''
* Tiffany Zhou (long)
* Alex White (short)
'''NCS: Tue, 1:30p-3p'''
* Michele Colledanchise (update)
* Tung Phan (update)
| width=25% |

=== Week 12: 13 Jun - 17 Jun ===
'''Biocircuits: Tue, 10a-12p'''
* William Poole (long)
* Open (short)
'''NCS: Tue, 1:30p-3p'''
* Jon Åge (update)
* Jin Ge (update)
|}

Group Schedule, Winter 2016

2016-01-19T20:23:05Z

Ifilippi: /* add Ioannis to short slot of Week 4: 25 Jan - 29 Jan */

Research meetings, Jan/Feb 2016

2016-01-18T21:52:15Z

Ifilippi: /* add Ioannis to 29 Jan 2016 (Fri) */

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: open
* 9:30-10:30 am: open
* 4-5 pm: open
* 5-6 pm: open
|
=== 28 Jan 2016 (Thu) ===
* 5:30-6:30 pm: open
* 6:30-7:30 pm: open
|
=== 29 Jan 2016 (Fri) ===
* 2-3 pm: open
* 3-4 pm: open
* 4:30-5:30 pm: Ioannis Filippidis
* 5:30-6:30 pm: open
|- valign = top
|

=== 25 Jan 2016 (Mon) ===
* Richard in Hartford
|
=== 2 Feb 2016 (Tue) ===
* 9-10 am: open
* 2-3 pm: Tony Fragoso
* 3-4 pm: open
* 4-5 pm: open
* 5:30-6:30 pm: open
* 6:30-7:30 pm: open
|

=== 3 Feb 2016 (Wed) ===
* 8:30-9:30 am: open
* 9:30-10:30 am: open
|
=== 4 Feb 2016 (Thu) ===
* Richard in SF
|
=== 5 Feb 2016 (Fri) ===
* BE visiting day
|}

Group Schedule, Summer 2015

2015-08-14T18:26:55Z

Ifilippi: /* add Ioannis to Week 12: 31 Aug - 4 Sep */

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, Spring 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: 15 Jun - 19 Jun ===
'''Biocircuits: 15 Jun (Mon), 10a-12p'''
* Yutaka Hori (long)
* Abel Chiao (short)
'''NCS: 17 Jun (Wed), 10:30a-12p'''
* Vasu Raman (main)
* Open (short)
<hr>
* TX-TL workshop, Tue-Fri
| width=25% |

=== Week 2: 22 Jun - 26 Jun ===
'''Biocircuits: 23 Jun (Tue), 10a-12p'''
* Ania Baetica (long)
* Anandh Swaminathan (short)
'''NCS: 24 Jun (Wed), 10:30a-12p'''
* Cat McGhan (main)
* Sumanth Dathathri (short)

| width=25% |

=== Week 3: 29 Jun - 3 Jul ===
'''Biocircuits: 29 Jun (Mon), 10a-12p'''
* Victoria Hsiao (long)
* Anu Thubagere (short)
'''NCS: 29 Jun (Mon), 1:30p-3p'''
* Tony Fragoso (main)
* Cat McGhan (short)
<hr>
* Richard out of town, Tue-Fri (ACC)

|- valign=top
| width=25% |

=== Week 4: 6 Jul - 12 Jul ===
'''Biocircuits: 10 Jul (Fri), 10a-12p'''
* Shaunak Sen (long)
* Emzo de los Santos (short)
'''NCS: 10 Jul (Fri), 1:30p-3p'''
* Scott Livingston
* Open (short)
<hr>
* Richard out of town, Mon-Thu
* Biocircuits lab cleanup, Thursday @ 10 am

| width=25% |

=== Week 5: 13 Jul - 17 Jul ===
'''Biocircuits: 16 Jul (Thu), 10a-12p<font color=blue> 114 Steele</font>'''
* Vipul Singhal (long)
* Zach Sun (short)
'''NCS: 17 Jul (Fri), 10:30a-12p'''
* Jiangang Li (main)
* Open (short)

| width=25% |

=== Week 6: 20 Jul - 24 Jul ===
* Richard out of town Mon-Fri (China)

|- valign=top
| width=25% |

=== Week 7: 27 Jul - 31 Jul ===
* Richard out of town Mon-Fri (China)

| width=25% |

=== Week 8: 3 Aug - 7 Aug ===
'''Biocircuits: 4 Aug (Tue), 10a-12p'''
* Enoch Yeung (long)
* Seung Lee (short)
'''NCS: 5 Aug (Wed), 10:30a-12p'''
* Ivan Papusha (main)
* Anthony Gong (short)

| width=25% |

=== Week 9: 10 Aug - 14 Aug ===
'''Biocircuits: 11 Aug (Tue), 10a-12p'''
* Yong Wu (long)
* Ron Pereira (short)
'''NCS: 12 Aug (Wed), 10:30a-12p'''
* Daniel Naftalovich
* Scott C.L. (short)

|- valign=top
| width=25% |

=== Week 10: 17 Aug - 21 Aug ===
* RMM out of town Mon-Fri (ISAT)
* Biocircuits lab cleanup, Tue @ 10 am
| width=25% |

=== Week 11: 24 Aug - 28 Aug ===
* RMM out of town Mon-Fri (Sweden)
| width=25% |

=== Week 12: 31 Aug - 4 Sep ===
'''Biocircuits: 1 Sep (Tue), 10a-12p'''
* Open (long)
* Shaobin Guo (short)
'''NCS: <font color=blue>1 Sep (Tue), 1:30p-3p</font>'''
* Samira Farahani
* Ioannis Filippidis

|- valign=top
| width=25% |

=== Week 13: 7 Sep - 11 Sep ===
'''Biocircuits: 8 Sep (Tue), 10a-12p'''
* Annual lab safety briefing (Dora Gosen)
* Clare Hayes (short)
'''NCS: <font color=blue> 8 Sep (Tue), 12:15-1:15p, 110 STL</font>'''
* Ioannis Filippidis (main)

| width=25% |

=== Week 14: 14 Sep - 18 Sep ===
* RMM out of town, Mon-Fri (vacation)

| width=25% |

=== Week 15: 21 Sep - 25 Sep ===
'''Biocircuits: 21 Sep (Mon), 10a-12p'''
* James Parkin (short)
* Sean Sanchez (short)
'''NCS: 24 Sep (Thu), 10:30a-12p'''
* Benson Christalin
* Open (short)
|}

Group Schedule, Spring 2015

2015-05-11T21:46:24Z

Ifilippi: /* Week 7: 11 May - 15 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, Winter 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=33% |
* Group meetings - 213 ANB
| width=33% |
* Biocircuits subgroup - 111 Keck
| width=33% |
* NCS subgroup - 243 ANB
|}

{| width=100% border=1

|- valign=top
| width=33% |
=== Week 1: 30 Mar - 3 Apr ===

'''Biocircuits: 1 Apr (Wed), 10a-12p<font color=blue> 114 Steele</font>'''
* Lab safety (Clare, Richard)
* Ania Baetica (short)

'''NCS: 1 Apr (Wed), 4p-5:30p'''
* Anthony Fragoso (main)
* Open (short)

| width=33% |

=== Week 2: 6 Apr - 10 Apr ===
'''NCS: 6 Apr (Mon), 2:30p-4p'''
* Catharine McGhan (main)
* Scott (short)
'''Biocircuits: 8 Apr (Wed), 10a-12p<font color=blue> 114 Steele</font>'''
* Emzo de los Santos (long)
* Yutaka Hori (short)
| width=33% |

=== Week 3: 13 Apr - 17 Apr ===
* Richard out of town, Mon-Thu
* Biocircuits lab cleanup, Wed @ 10 am
|- valign=top
| width=33% |

=== Week 4: 20 Apr - 24 Apr ===
'''Biocircuits: 22 Apr (Wed), 10a-12p<font color=blue> 114 Steele</font>
* Anandh Swaminathan (long)
* Victoria Hsiao (short)
'''NCS: <font color=blue> 22 Apr (Wed), 12:30p-2p</font>
* Scott Livingston (main)
* Open (short)
| width=33% |

=== Week 5: 27 Apr - 1 May ===
'''Biocircuits: 29 Apr (Wed), 10a-12p<font color=blue> 114 Steele</font>'''
* Anu Thubagere (long)
* Dan Siegal (short)
<hr>
* NASA Formal Methods Symposium, Mon-Wed

| width=33% |

=== Week 6: 4 May - 8 May ===
'''NCS: <font color=blue>5 May (Tue), 2:30p-4p</font>
* Ivan Papusha (main)
* Benson Christalin (short)
'''Biocircuits: 6 May (Wed), 10a-12p<font color=blue> 114 Steele</font>'''
* Clare Hayes (long)
* Vipul Singhal (short)
|- valign=top
| width=33% |

=== Week 7: 11 May - 15 May ===
'''NCS: 13 May (Wed), 4:00p-5:30p
* Ioannis Filippidis (main)
* Open (short)
'''Biocircuits: 13 May (Wed), 10a-12p<font color=blue> 114 Steele</font>'''
* Shaobin Guo (long)
* Enoch Yeung (short)

| width=33% |

=== Week 8: 18 May - 22 May ===
'''Biocircuits: 20 May (Wed), 10a-12p<font color=blue> 114 Steele</font>'''
* Zach Sun (long)
*Yong Wu (short)
'''NCS: 20 May (Wed), 4-5:30p
* Samira Farahani (main)
* Open (short)

| width=33% |

=== Week 9: 25 May - 29 May ===
'''Biocircuits: 27 May (Wed), 10a-12p<font color=blue> 114 Steele</font>'''
* Rotation student (long)
* Sean Sanchez (short)

|- valign=top
| width=33% |

=== Week 10: 1 Jun - 5 Jun ===
'''NCS: 1 Jun (Mon), 2:30p-4p
* Vasu Raman (main)
* Open (short)
'''Biocircuits: 4 Jun (Thu), 10a-12p'''
* <font color=blue>May move to 1 Jun (Mon) </font>
* Rotation student (long)
* Tiffany Zhou (short)

| width=33% |

=== Week 11: 8 Jun - 12 Jun ===
'''NCS: 8 Jun (Mon), <font color=blue>9:30a -11a</font>
* Benson Christalin (short)
* Daniel Naftalovich (short)
<hr>
* SEED: Wed-Sat in Boston
| width=33% |

|}

Group Schedule, Winter 2015

2015-02-19T20:24:01Z

Ifilippi: /* add ioannis to Week 9: 2 Mar - 6 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 2014]]
|}

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 ANBzachza
|}

{| width=100% border=1

|- valign=top
| width=25% |
=== Week 1: 5 Jan - 9 Jan ===
'''Biocircuits: 6 Jan (Tue), 10a-12p'''
* Yutaka Hori (long)
* Lab updates (Richard)
'''NCS: 8 Jan (Thu), 9:30-11a<font color=blue> 111 Keck</font>'''
* Anthony Fragoso (main)
* Open (short)
<hr>
* MPP retreat, Fri-Sun (SF)
| width=25% |

=== Week 2: 12 Jan - 16 Jan ===
'''Biocircuits: 12 Jan, <font color=blue> 1p - 3p</font>'''
* Ania Baetica (long)
* Emzo de los Santos (short)
<hr>
* AFOSR BRI call: Mon, 8:30a-10a
* iCyPhy BIT mini-workshop: Tue, 8a-5p
* RMM unavailable Wed-Fri

| width=25% |

=== Week 3: 19 Jan - 23 Jan ===
'''Biocircuits: 20 Jan (Tue), 10a-12p'''
* Anandh Swaminathan (short)
* Victoria Hsiao (long)
'''NCS: 22 Jan (Thu), 9:30a-11a <font color=blue> 110 Steele</font>'''
* Ivan Papusha (main)
* Open (short)

|- valign=top
| width=25% |

=== Week 4: 26 Jan - 30 Jan ===
'''Biocircuits: 27 Jan (Tue), 10a-12p'''
* Dan Siegal (long)
* Anu Thubagere (short)

'''NCS: 29 Jan (Thu), 9:30a-11a <font color=blue> 110 Steele</font>'''
* Yilin Mo (main)
* Open (short)
<hr>
* Brian Munsky visit on Mon
* Rahul Sarpeshkar visit on Mon
* Richard out of town on Wed?

| width=25% |

=== Week 5: 2 Feb - 6 Feb ===
'''NCS: 5 Feb (Thu), <font color=blue> 3:30p-5p, 110 Steele</font>'''
* Vasu Raman (main)
* Open (short)
<hr>
* AFOSR BRI telecon: Mon, 8:30a-10a
* iCyPhy planning meeting: Mon-Tue, in Berkeley
* Biocircuits lab cleanup: Tue, 10a-12p

| width=25% |

=== Week 6: 9 Feb - 13 Feb ===
'''Biocircuits: 10 Feb (Tue), 10a-12p'''
* Ye Yuan (long)
* <s>Vanessa Jonsson (short)</s>
'''NCS: 12 Feb (Thu), 9:30a-11a <font color=blue> 110 Steele</font>'''
* Cat McGhan (main)
* Cat McGhan (short)
'''Group Meeting: 9 Feb (Mon), 12p-1:15p <font color=blue> 121 ANB</font>'''
* Nikolay Atanasov - University of Pennsylvania
<hr>
* Richard out of town on Fri
|- valign=top
| width=25% |

=== Week 7: 16 Feb - 20 Feb ===
'''Biocircuits: 17 Feb (Tue), 10a-12p'''
* Vipul Singhal (long)
* Clare Hayes (short)
'''NCS: 19 Feb (Thu), 9:30a-11a <font color=blue> 110 Steele</font>'''
* Ioannis Filippidis (main)
* Samira Farahani (short)
'''Group Meeting: 20 Feb (Fri), 12p-1:15p <font color=blue> 107 ANB</font>'''
* Mark Muller - ETH

| width=25% |

=== Week 8: 23 Feb - 27 Feb ===
'''Biocircuits: 23 Feb (Mon), 1p-3p'''
* Yong Wu (long)
* Shaobin Guo (short)
'''NCS: 25 Feb (Wed), 4p-5:30p <font color=blue> 114 Steele Library</font>'''
* Scott C. Livingston
* Scott C. Livingston, part 2 (short)
<hr>
* MPP protocol synthesis workshop: Thu-Fri

| width=25% |

=== Week 9: 2 Mar - 6 Mar ===
'''Biocircuits: 2 Mar (Mon), 1p-3p <font color=blue> 114 Steele Library</font>'''
* Enoch Yeung (long)
* Zach Sun (short)
'''NCS: 5 Mar (Thu), 9:30a-11a <font color=blue> 110 Steele</font>'''
* Samira Farahani
* Ioannis Filippidis (short)
<hr>
* Richard out of town Tue-Wed (Seattle)

|- valign=top
| width=25% |

=== Week 10: 9 Mar - 13 Mar===
'''Biocircuits: 9 Mar (Mon), 9a-11a'''
* Henrike N (long)
* Sean Sanchez (short)
'''NCS: 12 Mar (Thu), 9:30a-11a <font color=blue> 110 Steele</font>'''
* Daniel Naftalovich (short)
* Benson Christalin (short)
<hr>
* Richard out of town, Tue-Wed (Boston)
* Group camping trip, 13-15 Mar

| width=25% |

=== Week 11: 16 Mar - 20 Mar ===
Finals week
<hr>
* Richard out of town, Mon-Fri
* Biocircuits lab cleanup: Tue, 10a-12p

| width=25% |

=== Week 12: 23 Mar - 27 Mar ===
Spring break
|}

Mark Muller, 20 Feb 2015

2015-02-19T06:58:19Z

Ifilippi: /* add ioannis */

Mark Müller, a PhD student at ETH in Zurich working with Raff D'Andrea, will visit Caltech on 19-20 Feb 2015 and give a group seminar.

=== Schedule ===

Thursday
* 4:30p: Richard Murray, 109 Steele Lab

Friday
* 10:00a: Open
* 10:45a: Open
* 11:30a: Set up for seminar and grab lunch
* 12:00p: Lunchtime seminar, 107 ANB
* 1:15p: Hold - Larry Matthies (meet in 107 after seminar)
* 2:00p: Ioannis Filippidis (330 ANB)
* 2:45p: Vasu Raman (ANB Treehouse Lounge, 3rd floor)
* 3:30p: Cat McGhan (218 ANB)
* 4:15p: Open
* 5:00p: Done for the day
* 6:00p: Dinner - if anyone is interested in taking Mark to dinner, sign up here (CDS will cover)

=== Seminar info ===

Speaker: Mark Mueller<br>
Date & Time: Friday, February 20th (12pm)<br>
Location: 107 Annenberg<br>
Affiliation: ETH Zurich<br>

Multicopters are predicted to increasingly become part of our everyday lives, with applications including delivery services, entertainment, and aerial sensing. These systems are expected to be safe and to have a high degree of autonomy. An important aspect of autonomy is the ability to plan motions that fulfill high-level goals, which will be the topic of the first part of the talk. A quadrocopter trajectory generation scheme will be described that can evaluate and compare on the order of one million motion primitives per second. These motion primitives are designed to be fast to compute and verify (at the expense of optimality), while being flexible with respect to initial and final states. This allows to encode highly dynamic tasks with complicated end goals.

The second part of the talk will cover some results on quadrocopter safety, specifically an algorithm that allows a quadrocopter to maintain flight despite the complete loss of some propellers. In particular, it is shown that such a vehicle remains controllable about hover even if only a single propeller remains operable. In addition to the failsafe aspect for quadrocopters, this allows for the design of novel vehicles, having fewer than four propellers.

'''Bio'''

Mark W. Mueller is currently a doctoral candidate with Prof. Raffaello D'Andrea at the Institute for Dynamic Systems and Control at the ETH Zurich. He received the B.Eng. degree in Mechanical Engineering from the University of Pretoria in 2009, and the M.Sc. degree in Mechanical Engineering from the ETH Zurich in 2011. He received awards for the best mechanical engineering thesis, and the best aeronautical thesis, for his bachelors thesis in 2008, and received the Jakob Ackeret award from the Swiss Association of Aeronautical Sciences for his masters thesis in 2011. His masters studies were supported by a scholarship from the Swiss Government.

Jin Ge, Dec 2014

2014-12-09T06:19:21Z

Ifilippi: add Ioannis

Jin Ge is a graduate student working with Gabor Orosz who will be visiting on 11 Dec (Thu).

=== Schedule ===
* 9:45 am - meet Richard in 109 Steele Lab
* 10 - 12 pm - Networked Control Systems group meeting
* 12-1:30 - group meeting (seminar)
* 1:30 - 2:15: Yilin Mo (Ann 310)
* 2:15 - 3:00: Ioannis Filippidis (Ann 330)
* 3:00 - 3:45: Open
* 3:45 - 4:30: Open

=== Talk info ===
Title: Linear Quadratic Regulation (LQR) for Time-Varying Systems with Delay<br>
Thu, 12 pm -- 213 Annenberg

In this talk, linear quadratic regulation (LQR) for time-varying systems with delay is used to optimize the control gains for connected cruise control (CCC). We assume that the CCC vehicle receives kinematic information through wireless vehicle-to-vehicle (V2V) communication from several vehicles ahead. An optimized feedback law is obtained by minimizing a cost function defined by distance and velocity errors and the acceleration of the CCC vehicle on an infinite horizon. Communication delays, driver reaction times, and heterogeneity among vehicles are taken into account. We show that the feedback gains can be obtained recursively as signals from vehicles farther ahead become available, and that the optimal gains decay with the number of cars between the source of the signal and the CCC vehicle. To ensure smooth traffic flow the head-to-tail string stability is investigated and the robustness against connectivity loss and delay variations is tested. The analytical results are verified by numerical simulations of connected vehicle systems

George Haller, Oct 2014

2014-10-09T18:49:31Z

Ifilippi: add Ioannis

George Haller is Professor of Nonlinear Dynamics at ETH Zurich. He received his Ph.D. in Applied Mechanics at the California Institute of Technology in 1993. His work is in the area of nonlinear dynamical systems methods to solve complex problems in applied science and engineering, with a focus on devising analytical and numerical techniques for problems with nonstandard features: high-dimensional, strongly nonlinear, time-dependent or multi-scale.

=== Agenda ===

* 10 am: Clara O'Farrell, location TBD
* 11 am: Seminar
* Noon: lunch with faculty (Richard, Tim, ...)
* 1:30 pm: Andy Ingersol, 150A South Mudd
* ~2:00 pm: return to Steele
* 2:15 pm: Tim Colonius, 113 Steele Lab
* 3:00 pm: Monica Martinez (OK to shift to later)
* 3:45 pm: Ioannis Filippidis (330 Annenberg)
* 4:30 pm: Open
* 5:15 pm: Open
* 6:00 pm: Richard

=== Talk Abstract ===

Coherent Lagrangian Vortices in Unsteady Continua

Friday, October 10th (11:00am)<br>
306 Firestone

Lagrangian Coherent Structures (LCSs) are special material surfaces that act as organizing centers for tracer patterns in unsteady continuum motion. In this talk, a review of recent results on elliptic LCSs (generalized KAM regions) that provide an objective way to define and locate coherent material vortices in turbulent flow data. Applications to geophysical data sets will be shown, including satellite altimetry of the ocean and a cloud-video footage of Jupitar.

Roy Fox, Oct 2014

2014-09-29T18:05:50Z

Ifilippi: add Ioannis

Roy Fox is a 4th year PhD student in the Computer Science working with Prof. Naftali Tishby on Information Theoretic methods for Reinforcement Learning. He will be visiting Caltech on 2 Oct (Thu). If you would like to meet with him, please sign up for a slot below (use your IMSS credentials to log in).

=== Schedule ===

* 11:30 am - Richard Murray
* 12:00 pm - Group meeting talk, 106 ANB
* 1:30 pm - Ioannis Filippidis
* 2:15 pm - Open
* 3:00 pm - Yilin Mo
* 3:45 pm - Open
* 4:30 pm - Depart

=== Abstract ===

Optimal Selective Attention and Action in Reactive Agents <br>
Roy Fox, Hebrew University

2 Oct (Thu), 12 pm <br>
106 Annenberg

Intelligent agents, interacting with their environment, operate under constraints on what they can observe and how they can act. Unbounded agents can use standard Reinforcement Learning to optimize their inference and control under purely external constraints. Bounded agents, on the other hand, are subject to internal constraints as well. This only allows them to partially notice their observations, and to partially intend their actions, requiring rational selection of attention and action.

In this talk we will see how to find the optimal information-constrained policy in reactive (memoryless) agents. We will discuss a number of reasons why internal constraints are often best modeled as bounds on information-theoretic quantities, and why we can focus on reactive agents with hardly any loss of generality. We will link the solution of the constrained problem to that of soft clustering, and present some of its nice properties, such as principled dimensionality reduction.

SURF discussions, Jan 2014

2014-01-23T06:35:19Z

Ifilippi: /* 27 Jan (Mon) */

Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST.

{| width=100% border=1
|- valign=top
|
==== 27 Jan (Mon) ====
* 9:00: Open

* 11:00: Open
* 11:30: Juan and Ioannis
|

==== 28 Jan (Tue) ====
* 13:00: Open
* 13:30: Open
* 14:00: Open
|

==== 29 Jan (Wed) ====
* 9:30: Open

* 12:00: Open

* 17:30: Open
|}

The agenda for the phone call is (roughly):

# Student: Description of the basic idea behind the project (based on students's understanding)
# All: Discussion about approaches, things to read, variations to consider, etc
# Mentor/co-mentor: Discussion of the format of the proposal
# Student: Questions and discussion about the process

SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers

2013-12-29T19:26:33Z

Ifilippi: no space between list items

'''[[SURF 2014|2014 SURF]] project description'''
* Mentor: Richard M. Murray
* Co-mentor: Ioannis Filippidis

[[File:Surf2014_abstraction.png|300px|thumb|Fig.1: Piecewise affine dynamics representative of systems currently studied with TuLiP.]]

[[Image:Surf2014_partitioning_small.gif|thumb|400px|right|Fig.2: Abstraction procedure yielding a finite state system approximating the hybrid dynamics.|link=Image:Surf2014_partitioning.gif]]

[[File:Surf2014_keymaera_train.png|400px|thumb|Fig.3: The proof of a specification about a [http://symbolaris.com/pub/lahs-tutorial.pdf hybrid program representing a train], as generated by KeYmaera.]]

The complexity and scale of dynamical systems such as aircraft, autonomous cars and smart buildings together with safety requirements have recently led to the development of new approaches for their synthesis and verification [ [[#2012_wtm_us | 1]] ]. One challenge results from the combination of continuous dynamics with computation, resulting in hybrid systems. Current approaches integrate methods from control theory and robotics with verification algorithms from computer science [ [[#2010_bk | 4]] ].

Another challenge is scalability of solutions. Symbolic methods prove valuable in reducing the computational complexity of the verification procedure. This project aims at exploring the integration and use of existing symbolic theorem provers with the Temporal Logic Planning Toolbox ([http://www.cds.caltech.edu/tulip TuLiP]) [ [[#2011_wtoxm_hscc | 2]] ] developed by our group. TuLiP is a Python package for automatically synthesizing correct controllers from given specifications. The systems processed by TuLiP are piecewise affine and a discretization step is needed to obtain a finite state representation of their differential equations. This introduces approximations.

An interesting theorem prover for hybrid systems is [http://symbolaris.com/info/KeYmaera.html KeYmaera] [ [[#2010_p | 3]] ]. Hybrid programs are used as its modeling language and specifications are expressed in differential dynamic logic. This allows for the exact symbolic verification of non-linear hybrid systems. KeYmaera itself can use several alternatives as backend solvers, including Z3, QEPCAD, and Mathematica.

=== Possible parts ===

# Interfacing the hybrid system representations of TuLiP to the input recognized by KeYmaera, by exporting hybrid programs and calling it with specific options for a proof strategy. This will extend TuLiP's capabilities to non-linear systems.
# Studying and comparing the trade-offs between hybrid system representations used by different hybrid system solvers.
# Exploring the compositional proof capabilities of KeYmaera and importing the results of its verification back to TuLiP for further processing.
# Adding differential dynamic logic to the logics supported by TuLiP.

The experience obtained from working with KeYmaera could help to directly interface other solvers for implementing custom proof strategies.

Required skills: Familiarity with Python and possibly Java (for KeYmaera internals), and interest to learn about hybrid systems, the theory of computation (automata, languages [ [[#2010_bk | 4]] ]), and theorem proving.

=== References ===

<div id="2012_wtm_us">
[1] T. Wongpiromsarn, U. Topcu, and R.M. Murray, [http://www.cds.caltech.edu/~murray/papers/2012z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], Unmanned Systems, 2012 (submitted)
</div>

<div id="2011_wtoxm_hscc">
[2] T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. Murray, [http://www.cds.caltech.edu/~murray/papers/2010n_wtoxm11-hscc.html TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning], In Proceedings of Hybrid Systems: Computation and Control (HSCC), 2011
</div>

<div id="2010_p">
[3] A. Platzer, [http://symbolaris.com/lahs/index.html Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics], Springer, 2010
</div>

<div id="2010_bk">
[4] C. Baier and J.-P. Katoen, [http://mitpress.mit.edu/books/principles-model-checking Principles of Model Checking], MIT Press
</div>

SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers

2013-12-29T19:21:18Z

Ifilippi: fix captions

'''[[SURF 2014|2014 SURF]] project description'''
* Mentor: Richard M. Murray
* Co-mentor: Ioannis Filippidis

[[File:Surf2014_abstraction.png|300px|thumb|Fig.1: Piecewise affine dynamics representative of systems currently studied with TuLiP.]]

[[Image:Surf2014_partitioning_small.gif|thumb|400px|right|Fig.2: Abstraction procedure yielding a finite state system approximating the hybrid dynamics.|link=Image:Surf2014_partitioning.gif]]

[[File:Surf2014_keymaera_train.png|400px|thumb|Fig.3: The proof of a specification about a [http://symbolaris.com/pub/lahs-tutorial.pdf hybrid program representing a train], as generated by KeYmaera.]]

The complexity and scale of dynamical systems such as aircraft, autonomous cars and smart buildings together with safety requirements have recently led to the development of new approaches for their synthesis and verification [ [[#2012_wtm_us | 1]] ]. One challenge results from the combination of continuous dynamics with computation, resulting in hybrid systems. Current approaches integrate methods from control theory and robotics with verification algorithms from computer science [ [[#2010_bk | 4]] ].

Another challenge is scalability of solutions. Symbolic methods prove valuable in reducing the computational complexity of the verification procedure. This project aims at exploring the integration and use of existing symbolic theorem provers with the Temporal Logic Planning Toolbox ([http://www.cds.caltech.edu/tulip TuLiP]) [ [[#2011_wtoxm_hscc | 2]] ] developed by our group. TuLiP is a Python package for automatically synthesizing correct controllers from given specifications. The systems processed by TuLiP are piecewise affine and a discretization step is needed to obtain a finite state representation of their differential equations. This introduces approximations.

An interesting theorem prover for hybrid systems is [http://symbolaris.com/info/KeYmaera.html KeYmaera] [ [[#2010_p | 3]] ]. Hybrid programs are used as its modeling language and specifications are expressed in differential dynamic logic. This allows for the exact symbolic verification of non-linear hybrid systems. KeYmaera itself can use several alternatives as backend solvers, including Z3, QEPCAD, and Mathematica.

=== Possible parts ===

# Interfacing the hybrid system representations of TuLiP to the input recognized by KeYmaera, by exporting hybrid programs and calling it with specific options for a proof strategy. This will extend TuLiP's capabilities to non-linear systems.

# Studying and comparing the trade-offs between hybrid system representations used by different hybrid system solvers.

# Exploring the compositional proof capabilities of KeYmaera and importing the results of its verification back to TuLiP for further processing.

# Adding differential dynamic logic to the logics supported by TuLiP.

The experience obtained from working with KeYmaera could help to directly interface other solvers for implementing custom proof strategies.

Required skills: Familiarity with Python and possibly Java (for KeYmaera internals), and interest to learn about hybrid systems, the theory of computation (automata, languages [ [[#2010_bk | 4]] ]), and theorem proving.

=== References ===

<div id="2012_wtm_us">
[1] T. Wongpiromsarn, U. Topcu, and R.M. Murray, [http://www.cds.caltech.edu/~murray/papers/2012z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], Unmanned Systems, 2012 (submitted)
</div>

<div id="2011_wtoxm_hscc">
[2] T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. Murray, [http://www.cds.caltech.edu/~murray/papers/2010n_wtoxm11-hscc.html TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning], In Proceedings of Hybrid Systems: Computation and Control (HSCC), 2011
</div>

<div id="2010_p">
[3] A. Platzer, [http://symbolaris.com/lahs/index.html Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics], Springer, 2010
</div>

<div id="2010_bk">
[4] C. Baier and J.-P. Katoen, [http://mitpress.mit.edu/books/principles-model-checking Principles of Model Checking], MIT Press
</div>

SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers

2013-12-29T19:17:24Z

Ifilippi: initial version

'''[[SURF 2014|2014 SURF]] project description'''
* Mentor: Richard M. Murray
* Co-mentor: Ioannis Filippidis

[[File:Surf2014_abstraction.png|300px|thumb|Fig.1: Piecewise affine dynamics representative of systems currently studied with TuLiP, the partitioning procedure and resulting finite state abstraction.]]

[[Image:Surf2014_partitioning_small.gif|thumb|400px|right|Fig.2: Abstraction procedure yielding a finite state system approximating the hybrid dynamics.]]

[[File:Surf2014_keymaera_train.png|400px|thumb|Fig.3: The proof of a specification about a [hybrid program representing a train](http://symbolaris.com/pub/lahs-tutorial.pdf), as generated by KeYmaera.]]

The complexity and scale of dynamical systems such as aircraft, autonomous cars and smart buildings together with safety requirements have recently led to the development of new approaches for their synthesis and verification [ [[#2012_wtm_us | 1]] ]. One challenge results from the combination of continuous dynamics with computation, resulting in hybrid systems. Current approaches integrate methods from control theory and robotics with verification algorithms from computer science [ [[#2010_bk | 4]] ].

Another challenge is scalability of solutions. Symbolic methods prove valuable in reducing the computational complexity of the verification procedure. This project aims at exploring the integration and use of existing symbolic theorem provers with the Temporal Logic Planning Toolbox ([http://www.cds.caltech.edu/tulip TuLiP]) [ [[#2011_wtoxm_hscc | 2]] ] developed by our group. TuLiP is a Python package for automatically synthesizing correct controllers from given specifications. The systems processed by TuLiP are piecewise affine and a discretization step is needed to obtain a finite state representation of their differential equations. This introduces approximations.

An interesting theorem prover for hybrid systems is [http://symbolaris.com/info/KeYmaera.html KeYmaera] [ [[#2010_p | 3]] ]. Hybrid programs are used as its modeling language and specifications are expressed in differential dynamic logic. This allows for the exact symbolic verification of non-linear hybrid systems. KeYmaera itself can use several alternatives as backend solvers, including Z3, QEPCAD, and Mathematica.

=== Possible parts ===

# Interfacing the hybrid system representations of TuLiP to the input recognized by KeYmaera, by exporting hybrid programs and calling it with specific options for a proof strategy. This will extend TuLiP's capabilities to non-linear systems.

# Studying and comparing the trade-offs between hybrid system representations used by different hybrid system solvers.

# Exploring the compositional proof capabilities of KeYmaera and importing the results of its verification back to TuLiP for further processing.

# Adding differential dynamic logic to the logics supported by TuLiP.

The experience obtained from working with KeYmaera could help to directly interface other solvers for implementing custom proof strategies.

Required skills: Familiarity with Python and possibly Java (for KeYmaera internals), and interest to learn about hybrid systems, the theory of computation (automata, languages [ [[#2010_bk | 4]] ]), and theorem proving.

=== References ===

<div id="2012_wtm_us">
[1] T. Wongpiromsarn, U. Topcu, and R.M. Murray, [http://www.cds.caltech.edu/~murray/papers/2012z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], Unmanned Systems, 2012 (submitted)
</div>

<div id="2011_wtoxm_hscc">
[2] T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. Murray, [http://www.cds.caltech.edu/~murray/papers/2010n_wtoxm11-hscc.html TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning], In Proceedings of Hybrid Systems: Computation and Control (HSCC), 2011
</div>

<div id="2010_p">
[3] A. Platzer, [http://symbolaris.com/lahs/index.html Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics], Springer, 2010
</div>

<div id="2010_bk">
[4] C. Baier and J.-P. Katoen, [http://mitpress.mit.edu/books/principles-model-checking Principles of Model Checking], MIT Press
</div>

File:Surf2014 partitioning small.gif

2013-12-29T19:16:02Z

Ifilippi: Ifilippi uploaded a new version of "File:Surf2014 partitioning small.gif": increased size

downsized version of [[[[Image:Surf2014_partitioning.gif]]

File:Surf2014 partitioning small.gif

2013-12-29T19:10:28Z

Ifilippi: downsized version of [[Image:Surf2014_partitioning.gif

downsized version of [[[[Image:Surf2014_partitioning.gif]]

File:Surf2014 partitioning.gif

2013-12-29T19:08:58Z

Ifilippi: Ifilippi uploaded a new version of "File:Surf2014 partitioning.gif": trim

Animation of TuLiP's partitioning procedure for PWA dynamics.

File:Surf2014 partitioning.gif

2013-12-29T18:49:02Z

Ifilippi: Animation of TuLiP's partitioning procedure for PWA dynamics.

Animation of TuLiP's partitioning procedure for PWA dynamics.

File:Surf2014 keymaera train.png

2013-12-29T18:43:52Z

Ifilippi: Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here].

Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here].

File:Surf2014 abstraction.png

2013-12-29T18:41:13Z

Ifilippi: Abstraction of PWA system derived from robot_continuous_pwa.py.

Abstraction of PWA system derived from robot_continuous_pwa.py.

SURF 2014

2013-12-29T18:00:22Z

Ifilippi: /* add KeYmaera to List of available projects */

{{righttoc}}
This page is intended for students interested in working on SURF projects in the Summer of 2014. It contains a list of project areas where I will be supervising projects this year along with information about how to apply for a SURF project in my group.

=== 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 10 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 11 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 22 Feb 2014.
# If you are selected for a SURF, please be aware of the following information
#* All SURF projects in my group will start on 17 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 ===

{| border=1 width=100%
|-
| '''Title''' || '''Grant/Project''' || '''Co-Mentors''' || '''Comments'''
|-
| {{SURF entry|2014|Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed}}
| [[ICyPhy:_Industrial_Cyber-Physical_Systems|iCyPhy]]
| [http://scottman.net Scott C. Livingston]
|
|-
| {{SURF entry|2014|Improved methods of discretization for temporal logic planning}}
| [[ICyPhy:_Industrial_Cyber-Physical_Systems|iCyPhy]]
| Yilin Mo
|
|-
| {{SURF entry|2014|Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers}}
|
| [http://www.cds.caltech.edu/~ifilippi/ Ioannis Filippidis]
|
|-
| {{SURF entry|2014|Rapid prototyping of moderate complexity biomolecular circuits}}
| [[Biomolecular_Breadboards_for_Prototyping_and_Debugging_Synthetic_Biocircuits|DARPA Breadboards]]
| Richard Murray, Clare Hayes
| Multiple positions available (2-4)
|
|}

September 2013 Meetings

2013-08-26T20:46:24Z

Ifilippi: /* Thu, 5 Sep */

The list below has times that I am available to meet between 3 and 13 September. Please pick a time that works and fill in your name. If none of the times work, send me e-mail (or find someone else who has a slot that does work and figure out how much of a bribe is required to get them to switch). __NOTOC__

{| border=1 width=100%
|- valign=top
| width=20% |
2 Sep - Labor Day
| width=20% |
==== Tue, 3 Sep ====
{{agenda begin}}
{{agenda item|2:00p|Emzo}}
{{agenda item|3:00p|Joe Levine}}
{{agenda item| | }}
{{agenda item|4:30|Enoch}}
{{agenda item|5:30|Zach}}
{{agenda end}}
| width=20% |

==== Wed, 4 Sep ====
{{agenda begin}}
{{agenda item| | }}
{{agenda item| | }}
{{agenda item| | }}
{{agenda item|4:30|Open}}
{{agenda item|5:30|Open}}
{{agenda end}}
| width=20% |

==== Thu, 5 Sep ====
{{agenda begin}}
{{agenda item|2:00p|Open}}
{{agenda item|3:00p|Open}}
{{agenda item| | }}
{{agenda item|4:30|Open}}
{{agenda item|5:30|Ioannis}}
{{agenda end}}
| width=20% |
6 Sep - Richard out of town
|- valign=top
| colspan=2 width=40% |

==== Mon, 9 Sep / Tue, 10 Sep ====
{| cellspacing=0 cellpadding=0
|- valign=top
| width=50% |
{{agenda begin}}
{{agenda item|2:00p|dsg}}
{{agenda item|3:00p|Scott Livingston}}
{{agenda item| | }}
{{agenda item|4:30|Ivan Papusha}}
{{agenda item|5:30|Open}}
{{agenda end}}
| width=50% |
Note: I may need to travel on either Mon or Tue {{implies}} please only sign up for a slot if you can make that time on both days.
|}
| width=20% |

==== Wed, 11 Sep ====
{{agenda begin}}
{{agenda item|1:00p|Open}}
{{agenda item|2:00p|Open}}
{{agenda item| | }}
{{agenda item|4:00|Anandh}}
{{agenda item|5:00|Anu}}
{{agenda end}}
| width=20% |

==== Thu, 12 Sep ====
{{agenda begin}}
{{agenda item|2:00p|Stephanie}}
{{agenda item|3:00p|Victoria}}
{{agenda item| | }}
{{agenda item|4:30|Open}}
{{agenda item|5:30|Open}}
{{agenda end}}
| width=20% |

==== Fri, 13 Sep ====
{{agenda begin}}
{{agenda item|1:00p|Vanessa}}
{{agenda item|2:00p|Open}}
{{agenda end}}
|}

SoCal Control Workshop Carpool 2012-11-30

2012-11-26T17:21:06Z

Ifilippi:

Please enter information in the table below if you can give a ride or need a ride. If you can't edit the table, send e-mail to the driver (if you need a ride) or to Richard (if you can provide a ride).

* [http://tintoretto.ucsd.edu/jorge/sccw/index.html Workshop web page]

{| width=100% cellpadding=0 cellspacing=0
|- valign=top
| width=50% align=left|
==== Driving out to UCSD ====
{| border=1
|- valign=top
| Departure time
| Driver
| Passengers
|- valign=top
| 6:30 am
| Richard Murray
| 3 passengers:
* Vipul
* Yoke Peng
* Eric
|- valign=top
| 6:30 am
| Driver
| N passengers:
* Ioannis
* Open
|}
| width=50% align=left|

==== Returning to Pasadena ====
{| border=1
|- valign=top
| Departure time
| Driver
| Passengers
|- valign=top
| 5:30 pm
| Richard Murray
| 3 passengers
* Vipul
* Yoke Peng
* Eric
|- valign=top
| 5:30 pm
| Driver
| N passengers
* Ioannis
* Open
|}
|}

SoCal Control Workshop Carpool 2012-11-30

2012-11-26T17:17:19Z

Ifilippi: /* added Ioannis */

Please enter information in the table below if you can give a ride or need a ride. If you can't edit the table, send e-mail to the driver (if you need a ride) or to Richard (if you can provide a ride).

* [http://tintoretto.ucsd.edu/jorge/sccw/index.html Workshop web page]

{| width=100% cellpadding=0 cellspacing=0
|- valign=top
| width=50% align=left|
==== Driving out to UCSD ====
{| border=1
|- valign=top
| Departure time
| Driver
| Passengers
|- valign=top
| 6:30 am
| Richard Murray
| 3 passengers:
* Vipul
* Yoke Peng
* Eric
* Ioannis
|- valign=top
| 6:30 am
| Driver
| N passengers:
* Open
|}
| width=50% align=left|

==== Returning to Pasadena ====
{| border=1
|- valign=top
| Departure time
| Driver
| Passengers
|- valign=top
| 5:30 pm
| Richard Murray
| 3 passengers
* Vipul
* Yoke Peng
* Eric
* Ioannis
|- valign=top
| 5:30 pm
| Driver
| N passengers
* Open
|}
|}