John C. Doyle - User contributions [en]

Systems Verification

2008-05-22T22:04:44Z

Danielle:

Current Participants:

*[http://www.cds.caltech.edu/people/portal/?id=758 Vanessa D. Carson] (Student, CDS)
*[http://www.cds.caltech.edu/~andyl/ Andrew Lamperski] (Student, CDS)
*[http://www.cds.caltech.edu/~dtarraf/ Danielle C.Tarraf] (Assistant Professor, Johns Hopkins)

== Objectives ==

This research effort focuses on bridging theoretical frameworks related to systems verification applied to different fields such as software, controls and biology. These systems can be modeled as discrete, continuous or hybrid dynamical systems with added performance specifications, some of which include safety constraints, stability or the existence of a recurring state. Techniques for verifying a given system's adherence to design specifications vary from field to field. Our goal is to provide a theoretical foundation for verification that is adaptable to different domains.
Currently, we are concentrating our efforts on relating techniques in robust control design to software verification concerns.

== Publications ==

== Lectures ==

[http://www.cds.caltech.edu/%7Edoyle2/wiki/images/e/e3/MCAutomata.pdf "Model Checking with Automata"]

== Related Reading ==

==== Verification and Control ====
* D. C. Tarraf, A. Megretski and M. A. Dahleh, A Framework for Robust Stability of Systems Over Finite Alphabets, To appear in IEEE Transactions on Automatic Control, June 2008.

* E. Klavins, R. Ghrist, and D. Lipsky, Graph Grammars for Self-Assembling Robotic Systems, Proceedings of the International Conference on Robotics and Automation. May, 2004, pp. 5293- 5300 [http://faculty.washington.edu/klavins/papers/icra04-sa.pdf pdf]

==== Model Checking on Cellular Automata ====
* K.Sutner, Model Checking One-Dimensional Cellular Automata, Submitted JCA. [http://www.cs.cmu.edu/~sutner/papers/auto07-jca.pdf pdf]
* M. D'Antonio, G. Delzanno, SAT-based analysis of cellular automata, Lecture Notes in Computer Science, Volume 3305/2004, 2004. [http://www.cs.unipr.it/CILC04/DownloadArea/DAntonioD-CILC04.pdf pdf]

Group Meetings

2008-04-30T21:46:20Z

Danielle: /* '''Schedule: Winter and Spring 2008''' */

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - VISIT DAY --- NO GROUP MEETING

'''February 29''' - Ben Recht

'''March 7''' - Genti Buzi

'''March 14''' - Dennice Maynard Gayme

**

'''March 21''' - SPRING RECESS --- NO GROUP MEETING

'''March 28''' - SPRING RECESS --- NO GROUP MEETING

**

'''April 4''' - Andy Lamperski

'''April 11''' - Marcos Nahmad Bensusan

'''April 14''' - Special lecture by John C. Doyle

'''April 18''' - Sujit Nair

'''April 25''' - Javad Lavaei

'''May 2''' - NO GROUP MEETING

'''May 7''' - Vanessa Carson [Note that this is a WEDNESDAY not a Friday]

'''May 9''' -

'''May 16''' -

'''May 23''' -

'''May 30''' -

Group Meetings

2008-04-07T22:03:55Z

Danielle: /* '''Schedule: Winter and Spring 2008''' */

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - VISIT DAY --- NO GROUP MEETING

'''February 29''' - Ben Recht

'''March 7''' - Genti Buzi

'''March 14''' - Dennice Maynard Gayme

**

'''March 21''' - SPRING RECESS --- NO GROUP MEETING

'''March 28''' - SPRING RECESS --- NO GROUP MEETING

**

'''April 4''' - Andy Lamperski

'''April 11''' - Marcos Nahmad Bensusan

'''April 14''' - Special lecture by John C. Doyle

'''April 18''' - Sujit Nair

'''April 25''' - Javad Lavaei

'''May 2''' - Vanessa Carson

'''May 9''' -

'''May 16''' -

'''May 23''' -

'''May 30''' -

Group Meetings

2008-04-02T18:22:01Z

Danielle: /* '''Schedule: Winter and Spring 2008''' */

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - VISIT DAY --- NO GROUP MEETING

'''February 29''' - Ben Recht

'''March 7''' - Genti Buzi

'''March 14''' - Dennice Maynard Gayme

**

'''March 21''' - SPRING RECESS --- NO GROUP MEETING

'''March 28''' - SPRING RECESS --- NO GROUP MEETING

**

'''April 4''' - Andy Lamperski

'''April 11''' - Marcos Nahmad Bensusan

'''April 18''' - Sujit Nair

'''April 25''' - Javad Lavaei

'''May 2''' -

'''May 9''' -

'''May 16''' -

'''May 23''' -

'''May 30''' -

Group Meetings

2008-02-28T17:51:39Z

Danielle: /* '''Schedule: Winter and Spring 2008''' */

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - VISIT DAY --- NO GROUP MEETING

'''February 29''' - Ben Recht

'''March 7''' - Genti Buzi

'''March 14''' - Dennice Maynard Gayme

**

'''March 21''' - SPRING RECESS --- NO GROUP MEETING

'''March 28''' - SPRING RECESS --- NO GROUP MEETING

**

'''April 4''' - Andy Lamperski

'''April 11''' - Marcos Nahmad Bensusan

'''April 18''' - Javad Lavaei

'''April 25''' -

'''May 2''' -

'''May 9''' -

'''May 16''' -

'''May 23''' -

'''May 30''' -

Group Meetings

2008-02-20T02:16:39Z

Danielle: /* '''Schedule: Winter and Spring 2008''' */

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - VISIT DAY --- NO GROUP MEETING

'''February 29''' - Ben Recht

'''March 7''' - Genti Buzi

'''March 14''' - Dennice Maynard Gayme

**

'''March 21''' - SPRING RECESS --- NO GROUP MEETING

'''March 28''' - SPRING RECESS --- NO GROUP MEETING

**

'''April 4''' - Andy Lamperski

'''April 11''' - Marcos Nahmad Bensusan

'''April 18''' -

'''April 25''' -

'''May 2''' -

'''May 9''' -

'''May 16''' -

'''May 23''' -

'''May 30''' -

Group Meetings

2008-02-20T02:15:47Z

Danielle: /* '''Schedule: Winter and Spring 2008''' */

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - VISIT DAY --- NO GROUP MEETING

'''February 29''' - Ben Recht

'''March 7''' - Genti Buzi

'''March 14''' - Dennice Maynard Gayme

**

'''March 21''' - ''Spring Recess?''

'''March 28''' - ''Spring Recess?''

**

'''April 4''' - Andy Lamperski

'''April 11''' - Marcos Nahmad Bensusan

'''April 18''' -

'''April 25''' -

'''May 2''' -

'''May 9''' -

'''May 16''' -

'''May 23''' -

'''May 30''' -

Group

2008-02-14T18:45:10Z

Danielle: /* Current Group */

John Doyle's research group is part of [http://www.cds.caltech.edu/people/ CDS department] at Caltech.

==Current Group==
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''Faculty'''
|'''Postdocs
|'''Students'''
|-
|John Doyle
|[http://www.cds.caltech.edu/people/portal/?id=662 Aaron D. Ames]

[http://www.cds.caltech.edu/~chen/ Lijun Chen]

Ben Recht

[http://www.cds.caltech.edu/~dtarraf/ Danielle C.Tarraf]

|''Graduate students''
[http://www.cds.caltech.edu/people/portal/?id=4 Aristotelis Asimakopoulos]

[http://www.cds.caltech.edu/people/portal/?id=384 Gentian Buzi]

[http://www.cds.caltech.edu/people/portal/?id=758 Vanessa Carson]

[http://www.cds.caltech.edu/people/portal/?id=760 Fiona Chandra]

[http://www.cds.caltech.edu/people/portal/?id=331 Dennice Maynard Gayme]

[http://www.cds.caltech.edu/people/portal/?id=40 Yindi Jing]

[http://www.cds.caltech.edu/~andyl/ Andrew Lamperski]

[http://www.cds.caltech.edu/~lavaei/ Javad Lavaei-Yanesi]

[http://www.cds.caltech.edu/people/portal/?id=753 Na Li]

[http://www.cds.caltech.edu/people/portal/?id=522 Marcos Nahmad Bensusan]

|-
|'''Admin staff'''
|'''Visitors'''
|''Undergraduate students''
|-
|[http://www.cds.caltech.edu/people/portal/?id=469 Gloria Bain]
|[http://www.cds.caltech.edu/people/portal/?id=713 Rutika Muchhala (student)]

[http://www.cds.caltech.edu/~lun/ Lun Li]
|

|}

==Past Group==
===Alumni===
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''2007'''
|'''2000-2006'''

|'''1990-1999'''
|-
|[http://www.cds.caltech.edu/~chen/ Lijun Chen]

[http://www.cds.caltech.edu/~lun Lun Li]

[http://www.cds.caltech.edu/people/portal/?id=6 Xin Liu]

[http://www.cds.caltech.edu/~alfredo/ Alfredo Martinez]

[http://www.cds.caltech.edu/people/portal/?id=184 Oluwatosin Otitoju]

|

Nizar Batada

[http://www.cds.caltech.edu/~xlfeng/ Xiaolin Feng]

Irene Gregory

[http://www.seas.upenn.edu/~jadbabai/ Ali Jadbabaie]

[http://www.cds.caltech.edu/people/portal/?id=40 Yindi Jing]

Sven Khatri

[http://users.ox.ac.uk/~engs0587/ Antonis Papachristodoulou]

[http://www.mit.edu/~parrilo/ Pablo Parrilo]

[http://www.cds.caltech.edu/~prajna/ Stephen Prajna]

[http://www.cds.caltech.edu/~jiantao/ Jiantao Wang]

[http://www.cds.caltech.edu/~jyu/ Jie Yu]

[http://www.cds.caltech.edu/~xyzhu/ Xiaoyun Zhu]

|Carolyn Beck

Raff D'Andrea

Sonja Glavaski

Irene Gregory

Yun Huang

Michael Kantner

[http://www.ee.ucla.edu/~paganini/ Fernando Paganini]

[http://www.stanford.edu/dept/MSandE/people/faculty/primbs/index.html James Primbs]

Stefano Soatto

Jorge Tierno

|}

===Past Postdocs===
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''2007'''

[http://www.cds.caltech.edu/~maryam/ Maryam Fazel, Research scientist]

|'''2000-2006
Masahiro Yanagisawa

[http://www-control.eng.cam.ac.uk/~jmg77/ Jorge Goncalves]

[http://devcell.bio.uci.edu/faculty/yi.htm Tau-Mu Yi]

|'''1990-1999'''
|-
|?
|[http://www.nps.navy.mil/orfacpag/resumePages/alderson.htm David Alderson]

[http://www.bmc.riken.jp/~reiko/index.htm Reiko Tanaka]

|?
|}

===Past Visitors===
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''2007'''
|'''2000-2006
|'''1990-1999'''
|-
|Panagiota Stratou
|?
|?
|}

==MURF and SURF==
{| border="1"
|2007 ||2000-2006
|-
|[http://www.cds.caltech.edu/people/portal/?id=722 Chinwendu Enyioha]||
|-
| ||
|}

==Other collaborators==
{|
|-
|[[Image:3profs07.jpg|200px]]||[[Image:JCDgraph.jpg]]
|-
|2007 Commencement: Prof.'s John Doyle, Richard Murray & Steven Low. ||
Some collaborators at John Doyle's 50th birthday Connections Workshop, 2004:
|-
|[http://www.cds.caltech.edu/~murray/wiki/Image:John-and-marie.jpg John Doyle & Marie Csete from Murray's Wiki] Ask permission to download?|| ?
|}

*[http://userwww.service.emory.edu/~mcsete/ Marie Csete, Lab] at [http://www.emory.edu/change_mode.cfm?mode=text Emory University], Atlanta.
**[http://www.emory.edu/PROVOST/greatscholars/MarieCsete.htm About Marie Csete's work.]

Group Meetings

2008-02-14T18:43:41Z

Danielle: /* '''Schedule: Winter and Spring 2008''' */

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - Genti Buzi

'''February 29''' - Ben Recht

'''March 7''' -

'''March 14''' - Dennice Maynard Gayme

**

'''March 21''' - ''Spring Recess?''

'''March 28''' - ''Spring Recess?''

**

'''April 4''' - Andy Lamperski

'''April 11''' - Marcos Nahmad Bensusan

'''April 18''' -

'''April 25''' -

'''May 2''' -

'''May 9''' -

'''May 16''' -

'''May 23''' -

'''May 30''' -

Group Meetings

2008-02-13T02:42:58Z

Danielle: /* '''Schedule: Winter and Spring 2008''' */

Group Meetings

2008-02-13T01:34:04Z

Danielle:

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - Genti Buzi

'''February 29''' -

'''March 7''' -

'''March 14''' - Dennice Maynard Gayme

**

'''March 21''' - ''Spring Recess?''

'''March 28''' - ''Spring Recess?''

**

'''April 4''' - Andy Lamperski

'''April 11''' -

'''April 18''' -

'''April 25''' -

'''May 2''' -

'''May 9''' -

'''May 16''' -

'''May 23''' -

'''May 30''' -

Group Meetings

2008-02-13T01:33:25Z

Danielle:

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - Genti Buzi

'''February 29''' -

'''March 7''' -
'''March 14''' - Dennice Maynard Gayme
**
'''March 21''' - ''Spring Recess?'' \\
'''March 28''' - ''Spring Recess?''
**
'''April 4''' - Andy Lamperski
'''April 11''' -
'''April 18''' -
'''April 25''' -
'''May 2''' -
'''May 9''' -
'''May 16''' -
'''May 23''' -
'''May 30''' -

Group Meetings

2008-02-13T01:33:02Z

Danielle:

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames
'''February 15''' - Fiona Chandra
'''February 22''' - Genti Buzi
'''February 29''' -
'''March 7''' -
'''March 14''' - Dennice Maynard Gayme
***
'''March 21''' - ''Spring Recess?''
'''March 28''' - ''Spring Recess?''
***
'''April 4''' - Andy Lamperski
'''April 11''' -
'''April 18''' -
'''April 25''' -
'''May 2''' -
'''May 9''' -
'''May 16''' -
'''May 23''' -
'''May 30''' -

Group Meetings

2008-02-13T01:32:21Z

Danielle:

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - Genti Buzi

'''February 29''' -

'''March 7''' -

'''March 14''' - Dennice Maynard Gayme

***

'''March 21''' - ''Spring Recess?''
'''Bold text'''
'''March 28''' - ''Spring Recess?''

***

'''April 4''' - Andy Lamperski

'''April 11''' -

'''April 18''' -

'''April 25''' -

'''May 2''' -

'''May 9''' -

'''May 16''' -

'''May 23''' -

'''May 30''' -

Group Meetings

2008-02-13T01:27:59Z

Danielle:

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - Genti Buzi

'''February 29''' -

'''March 7''' -

'''March 14''' - Dennice Maynard Gayme

'''March 21''' - ''Spring Recess?''

'''March 28''' - ''Spring Recess?''

'''April 7''' - Andy Lamperski

'''April 14''' -

'''April 21''' -

Group Meetings

2008-02-13T01:25:21Z

Danielle:

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona Chandra

'''February 22''' - Genti Buzi

'''February 29''' -

'''March 7''' -

'''March 14''' - Dennice Maynard Gayme

'''March 21''' -

'''March 28''' -

'''April 7''' - Andy Lamperski

'''April 14''' -

'''April 21''' -

Group Meetings

2008-02-13T01:23:58Z

Danielle:

== '''Schedule: Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

'''February 8''' - Aaron Ames

'''February 15''' - Fiona

'''February 22''' - Genti

'''February 29''' -

'''March 7''' -

'''March 14''' - Dennice

'''March 21''' -

'''March 28''' -

'''April 7''' - Andy Lamperski

'''April 14''' -

'''April 21''' -

Group Meetings

2008-02-13T01:20:41Z

Danielle:

== '''Group Meeting Schedule for Winter and Spring 2008''' ==

''All meetings are held on Friday at noon in the CDS library.''

Calendar

2008-02-13T01:18:58Z

Danielle: /* Courses */

==Courses==

[http://www.cds.caltech.edu/academics/courses/ CDS courses] CDS 212 / CDS 213

Schedule for [[Group Meetings]]

==Workshops==

*[http://www.systems-biology.org/006/ Systems biology workshops]

==CDS calendar==
*[http://www.cds.caltech.edu/ CDS Events & Related Events]
*[http://www.cds.caltech.edu/research/seminars/ CDS seminars]
*[http://www.cds.caltech.edu/research/conferences/ CDS Conferences]
*[http://www.cds.caltech.edu/research/related/ CDS related events]
*[http://www.cds.caltech.edu/academics/courses/ Course schedules]

*[http://www.cds.caltech.edu/news/mailinglists/ CDS Mailing lists]

==Past events==

===Past workshops===
*[http://www.cds.caltech.edu/~murray/wiki/Connections_II R Murray's Connections II Workshop 2006]
*[http://www.cds.caltech.edu/research/conferences/index.php?year=2005 Connections II Workshop 2005]
*[http://www.cds.caltech.edu/doyle-fest/ J Doyle's Birthday, Connections Workshop, 2004]

*[http://www.cds.caltech.edu/~prajna/biowkshop/ Bio Workshop: The Challenge of Complexity]

*Materials from March 2003 Workshop at UCSB on Robustness Analysis Tools
with Applications to the Biological and Physical Sciences

===Past courses===

*[http://www.cds.caltech.edu/~doyle/shortcourse.htm Systems Biology Shortcourse Schedule, May 21-24, 2004 Caltech]

*Lijun Chen's [https://www.cds.caltech.edu/help/cms.php?op=wiki&wiki_op=view&id=187 CDS270]: Optimization, Game and Layering in Communication Networks, Fall 2006, Caltech.

Group

2008-02-13T01:17:43Z

Danielle:

John Doyle's research group is part of [http://www.cds.caltech.edu/people/ CDS department] at Caltech.

==Current Group==
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''Faculty'''
|'''Postdocs
|'''Students'''
|-
|John Doyle
|[http://www.cds.caltech.edu/people/portal/?id=662 Aaron D. Ames]

[http://www.cds.caltech.edu/~chen/ Lijun Chen]

Ben Recht

[http://www.cds.caltech.edu/~dtarraf/ Danielle C.Tarraf]

|''Graduate students''
[http://www.cds.caltech.edu/people/portal/?id=4 Aristotelis Asimakopoulos]

[http://www.cds.caltech.edu/people/portal/?id=384 Gentian Buzi]

[http://www.cds.caltech.edu/people/portal/?id=758 Vanessa Carson]

[http://www.cds.caltech.edu/people/portal/?id=760 Fiona Chandra]

[http://www.cds.caltech.edu/people/portal/?id=331 Dennice Maynard Gayme]

[http://www.cds.caltech.edu/people/portal/?id=40 Yindi Jing]

[http://www.cds.caltech.edu/~andyl/ Andrew Lamperski]

[http://www.cds.caltech.edu/~lavaei/ Javad Lavaei-Yanesi]

[http://www.cds.caltech.edu/people/portal/?id=753 Na Li]

|-
|'''Admin staff'''
|'''Visitors'''
|''Undergraduate students''
|-
|[http://www.cds.caltech.edu/people/portal/?id=469 Gloria Bain]
|[http://www.cds.caltech.edu/people/portal/?id=713 Rutika Muchhala (student)]

[http://www.cds.caltech.edu/~lun/ Lun Li]
|

|}

==Past Group==
===Alumni===
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''2007'''
|'''2000-2006'''

|'''1990-1999'''
|-
|[http://www.cds.caltech.edu/~chen/ Lijun Chen]

[http://www.cds.caltech.edu/~lun Lun Li]

[http://www.cds.caltech.edu/people/portal/?id=6 Xin Liu]

[http://www.cds.caltech.edu/~alfredo/ Alfredo Martinez]

[http://www.cds.caltech.edu/people/portal/?id=184 Oluwatosin Otitoju]

|

Nizar Batada

[http://www.cds.caltech.edu/~xlfeng/ Xiaolin Feng]

Irene Gregory

[http://www.seas.upenn.edu/~jadbabai/ Ali Jadbabaie]

[http://www.cds.caltech.edu/people/portal/?id=40 Yindi Jing]

Sven Khatri

[http://users.ox.ac.uk/~engs0587/ Antonis Papachristodoulou]

[http://www.mit.edu/~parrilo/ Pablo Parrilo]

[http://www.cds.caltech.edu/~prajna/ Stephen Prajna]

[http://www.cds.caltech.edu/~jiantao/ Jiantao Wang]

[http://www.cds.caltech.edu/~jyu/ Jie Yu]

[http://www.cds.caltech.edu/~xyzhu/ Xiaoyun Zhu]

|Carolyn Beck

Raff D'Andrea

Sonja Glavaski

Irene Gregory

Yun Huang

Michael Kantner

[http://www.ee.ucla.edu/~paganini/ Fernando Paganini]

[http://www.stanford.edu/dept/MSandE/people/faculty/primbs/index.html James Primbs]

Stefano Soatto

Jorge Tierno

|}

===Past Postdocs===
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''2007'''

[http://www.cds.caltech.edu/~maryam/ Maryam Fazel, Research scientist]

|'''2000-2006
Masahiro Yanagisawa

[http://www-control.eng.cam.ac.uk/~jmg77/ Jorge Goncalves]

[http://devcell.bio.uci.edu/faculty/yi.htm Tau-Mu Yi]

|'''1990-1999'''
|-
|?
|[http://www.nps.navy.mil/orfacpag/resumePages/alderson.htm David Alderson]

[http://www.bmc.riken.jp/~reiko/index.htm Reiko Tanaka]

|?
|}

===Past Visitors===
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''2007'''
|'''2000-2006
|'''1990-1999'''
|-
|Panagiota Stratou
|?
|?
|}

==MURF and SURF==
{| border="1"
|2007 ||2000-2006
|-
|[http://www.cds.caltech.edu/people/portal/?id=722 Chinwendu Enyioha]||
|-
| ||
|}

==Other collaborators==
{|
|-
|[[Image:3profs07.jpg|200px]]||[[Image:JCDgraph.jpg]]
|-
|2007 Commencement: Prof.'s John Doyle, Richard Murray & Steven Low. ||
Some collaborators at John Doyle's 50th birthday Connections Workshop, 2004:
|-
|[http://www.cds.caltech.edu/~murray/wiki/Image:John-and-marie.jpg John Doyle & Marie Csete from Murray's Wiki] Ask permission to download?|| ?
|}

*[http://userwww.service.emory.edu/~mcsete/ Marie Csete, Lab] at [http://www.emory.edu/change_mode.cfm?mode=text Emory University], Atlanta.
**[http://www.emory.edu/PROVOST/greatscholars/MarieCsete.htm About Marie Csete's work.]

Group

2008-02-13T01:17:09Z

Danielle:

John Doyle's research group is part of [http://www.cds.caltech.edu/people/ CDS department] at Caltech.

==Current Group==
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''Faculty'''
|'''Postdocs
|'''Students'''
|-
|John Doyle
|[http://www.cds.caltech.edu/people/portal/?id=662 Aaron D. Ames]

[http://www.cds.caltech.edu/~chen/ Lijun Chen]

[http://www.cds.caltech.edu/~maryam/ Maryam Fazel, Research scientist]

Ben Recht

[http://www.cds.caltech.edu/~dtarraf/ Danielle C.Tarraf]

|''Graduate students''
[http://www.cds.caltech.edu/people/portal/?id=4 Aristotelis Asimakopoulos]

[http://www.cds.caltech.edu/people/portal/?id=384 Gentian Buzi]

[http://www.cds.caltech.edu/people/portal/?id=758 Vanessa Carson]

[http://www.cds.caltech.edu/people/portal/?id=760 Fiona Chandra]

[http://www.cds.caltech.edu/people/portal/?id=331 Dennice Maynard Gayme]

[http://www.cds.caltech.edu/people/portal/?id=40 Yindi Jing]

[http://www.cds.caltech.edu/~andyl/ Andrew Lamperski]

[http://www.cds.caltech.edu/~lavaei/ Javad Lavaei-Yanesi]

[http://www.cds.caltech.edu/people/portal/?id=753 Na Li]

|-
|'''Admin staff'''
|'''Visitors'''
|''Undergraduate students''
|-
|[http://www.cds.caltech.edu/people/portal/?id=469 Gloria Bain]
|[http://www.cds.caltech.edu/people/portal/?id=713 Rutika Muchhala (student)]

[http://www.cds.caltech.edu/~lun/ Lun Li]
|

|}

==Past Group==
===Alumni===
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''2007'''
|'''2000-2006'''

|'''1990-1999'''
|-
|[http://www.cds.caltech.edu/~chen/ Lijun Chen]

[http://www.cds.caltech.edu/~lun Lun Li]

[http://www.cds.caltech.edu/people/portal/?id=6 Xin Liu]

[http://www.cds.caltech.edu/~alfredo/ Alfredo Martinez]

[http://www.cds.caltech.edu/people/portal/?id=184 Oluwatosin Otitoju]

|

Nizar Batada

[http://www.cds.caltech.edu/~xlfeng/ Xiaolin Feng]

Irene Gregory

[http://www.seas.upenn.edu/~jadbabai/ Ali Jadbabaie]

[http://www.cds.caltech.edu/people/portal/?id=40 Yindi Jing]

Sven Khatri

[http://users.ox.ac.uk/~engs0587/ Antonis Papachristodoulou]

[http://www.mit.edu/~parrilo/ Pablo Parrilo]

[http://www.cds.caltech.edu/~prajna/ Stephen Prajna]

[http://www.cds.caltech.edu/~jiantao/ Jiantao Wang]

[http://www.cds.caltech.edu/~jyu/ Jie Yu]

[http://www.cds.caltech.edu/~xyzhu/ Xiaoyun Zhu]

|Carolyn Beck

Raff D'Andrea

Sonja Glavaski

Irene Gregory

Yun Huang

Michael Kantner

[http://www.ee.ucla.edu/~paganini/ Fernando Paganini]

[http://www.stanford.edu/dept/MSandE/people/faculty/primbs/index.html James Primbs]

Stefano Soatto

Jorge Tierno

|}

===Past Postdocs===
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''2007'''

[http://www.cds.caltech.edu/~maryam/ Maryam Fazel, Research scientist]

|'''2000-2006
Masahiro Yanagisawa

[http://www-control.eng.cam.ac.uk/~jmg77/ Jorge Goncalves]

[http://devcell.bio.uci.edu/faculty/yi.htm Tau-Mu Yi]

|'''1990-1999'''
|-
|?
|[http://www.nps.navy.mil/orfacpag/resumePages/alderson.htm David Alderson]

[http://www.bmc.riken.jp/~reiko/index.htm Reiko Tanaka]

|?
|}

===Past Visitors===
{| width=100% border=0 cellpadding=0 cellspacing=0
|-
|'''2007'''
|'''2000-2006
|'''1990-1999'''
|-
|Panagiota Stratou
|?
|?
|}

==MURF and SURF==
{| border="1"
|2007 ||2000-2006
|-
|[http://www.cds.caltech.edu/people/portal/?id=722 Chinwendu Enyioha]||
|-
| ||
|}

==Other collaborators==
{|
|-
|[[Image:3profs07.jpg|200px]]||[[Image:JCDgraph.jpg]]
|-
|2007 Commencement: Prof.'s John Doyle, Richard Murray & Steven Low. ||
Some collaborators at John Doyle's 50th birthday Connections Workshop, 2004:
|-
|[http://www.cds.caltech.edu/~murray/wiki/Image:John-and-marie.jpg John Doyle & Marie Csete from Murray's Wiki] Ask permission to download?|| ?
|}

*[http://userwww.service.emory.edu/~mcsete/ Marie Csete, Lab] at [http://www.emory.edu/change_mode.cfm?mode=text Emory University], Atlanta.
**[http://www.emory.edu/PROVOST/greatscholars/MarieCsete.htm About Marie Csete's work.]