User contributions for Murray

26 February 2017

• 15:2515:25, 26 February 2017 diff hist +1,195‎ Consensus and Cooperation in Networked Multi-Agent Systems ‎No edit summary

10 February 2017

• 18:1718:17, 10 February 2017 diff hist +322‎ N Leopold Green, 13 Feb 2017 ‎ Created page with "Leo Green will be visiting Caltech on 13 Feb 2017. Monday, 13 Feb: * ~9:55a: arrive on campus. Meet with Andrey Shur in <TBD> * 10a-12p: Lab meeting, 111 Keck * 12p: Lunch a..."

25 January 2017

• 01:4301:43, 25 January 2017 diff hist 0‎ m SURF discussions, Jan 2017 ‎ Protected "SURF discussions, Jan 2017" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) current

23 January 2017

• 02:3202:32, 23 January 2017 diff hist +6‎ SURF discussions, Jan 2017 ‎No edit summary

22 January 2017

• 20:0320:03, 22 January 2017 diff hist +35‎ SURF GOTChA chart ‎ →‎Contents of a GOTChA chart
• 20:0220:02, 22 January 2017 diff hist −4‎ SURF GOTChA chart ‎No edit summary
• 20:0120:01, 22 January 2017 diff hist −4‎ SURF GOTChA chart ‎No edit summary
• 20:0120:01, 22 January 2017 diff hist +4,781‎ N SURF GOTChA chart ‎ Created page with "= GOTChA Chart = GOTChA charts are a simple proposal planning tool that we use for planning out SURF projects. A GOTChA chart is an attempt to summarize in one page what you..."
• 19:5119:51, 22 January 2017 diff hist −3‎ SURF discussions, Jan 2017 ‎No edit summary
• 19:5119:51, 22 January 2017 diff hist +5‎ SURF discussions, Jan 2017 ‎No edit summary
• 19:5019:50, 22 January 2017 diff hist +1,379‎ N SURF discussions, Jan 2017 ‎ Created page with "Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__ In preparation for our convers..."

21 January 2017

• 18:4118:41, 21 January 2017 diff hist +10‎ m Henrike Niederholtmeyer, Jan 2017 ‎No edit summary
• 18:4018:40, 21 January 2017 diff hist +6‎ Henrike Niederholtmeyer, Jan 2017 ‎ →‎23 Jan (Mon)
• 18:3918:39, 21 January 2017 diff hist +32‎ Michaëlle Mayalu, Jan 2017 ‎ →‎23 Jan (Mon)
• 18:3718:37, 21 January 2017 diff hist 0‎ Michaëlle Mayalu, Jan 2017 ‎ →‎23 Jan (Mon)

20 January 2017

• 23:0023:00, 20 January 2017 diff hist +1‎ Main Page ‎ →‎Group

17 January 2017

• 15:3515:35, 17 January 2017 diff hist −12‎ Jan 2017 meeting schedule ‎ →‎23 Jan (Mon) current

15 January 2017

• 22:2622:26, 15 January 2017 diff hist +73‎ Michaëlle Mayalu, Jan 2017 ‎ →‎Seminar info
• 22:2622:26, 15 January 2017 diff hist +27‎ m Henrike Niederholtmeyer, Jan 2017 ‎ →‎Seminar info
• 22:2522:25, 15 January 2017 diff hist +51‎ m Henrike Niederholtmeyer, Jan 2017 ‎ →‎Seminar info

14 January 2017

• 05:3405:34, 14 January 2017 diff hist −3‎ Jan 2017 meeting schedule ‎ →‎24 Jan (Tue)

13 January 2017

• 03:3503:35, 13 January 2017 diff hist +1,595‎ N Fast Automatic Verification of Large-Scale Systems with Lookup Tables ‎ Created page with "{{Paper |Title=Fast Automatic Verification of Large-Scale Systems with Lookup Tables |Authors=Nikos Arichega, Sumanth Dathathri, Shashank Vernekar, Sicun Gao, Shin’Ichi Shir..." current
• 03:2503:25, 13 January 2017 diff hist −12‎ Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications ‎No edit summary current

12 January 2017

• 17:1817:18, 12 January 2017 diff hist +25‎ Michaëlle Mayalu, Jan 2017 ‎ →‎23 Jan (Mon)
• 03:3803:38, 12 January 2017 diff hist +41‎ Jan 2017 meeting schedule ‎ →‎24 Jan (Tue)
• 03:3703:37, 12 January 2017 diff hist +33‎ Henrike Niederholtmeyer, Jan 2017 ‎ →‎24 Jan (Tue)
• 03:3603:36, 12 January 2017 diff hist +32‎ Jan 2017 meeting schedule ‎No edit summary
• 03:3603:36, 12 January 2017 diff hist +38‎ Jan 2017 meeting schedule ‎ →‎24 Jan (Tue)
• 03:3503:35, 12 January 2017 diff hist +32‎ Jan 2017 meeting schedule ‎ →‎24 Jan (Tue)
• 03:3503:35, 12 January 2017 diff hist +30‎ Michaëlle Mayalu, Jan 2017 ‎ →‎24 Jan (Tue)
• 03:3403:34, 12 January 2017 diff hist 0‎ Jan 2017 meeting schedule ‎ →‎24 Jan (Tue)
• 03:3103:31, 12 January 2017 diff hist +16‎ Michaëlle Mayalu, Jan 2017 ‎No edit summary
• 03:2603:26, 12 January 2017 diff hist +6‎ Michaëlle Mayalu, Jan 2017 ‎ →‎24 Jan (Tue)
• 03:1203:12, 12 January 2017 diff hist +20‎ Henrike Niederholtmeyer, Jan 2017 ‎No edit summary
• 03:1103:11, 12 January 2017 diff hist +1,678‎ N Henrike Niederholtmeyer, Jan 2017 ‎ Created page with "Henrike Niederholtmeyer will visit Caltech on 23-24 January 2017 to help us out with some microfluidics work we are doing. If you would like to meet with her, please sign up..."
• 03:1103:11, 12 January 2017 diff hist +3,673‎ N Michaëlle Mayalu, Jan 2017 ‎ Created page with "Michaëlle Mayalu from MIT will visit on 23-24 January. __NOTOC__ === Schedule === {| border=1 |- valign=top | width=50% | ==== 23 Jan (Mon) ==== * 8 am: Breakfast with Rich..."

11 January 2017

• 17:2417:24, 11 January 2017 diff hist 0‎ Synthesizing flight software (FSW) discrete controllers from formal specifications ‎No edit summary
• 17:2417:24, 11 January 2017 diff hist +18‎ Synthesizing flight software (FSW) discrete controllers from formal specifications ‎No edit summary
• 17:2317:23, 11 January 2017 diff hist +1,584‎ Synthesizing flight software (FSW) discrete controllers from formal specifications ‎No edit summary
• 17:2217:22, 11 January 2017 diff hist −3‎ Synthesizing flight software (FSW) discrete controllers from formal specifications ‎No edit summary
• 17:2117:21, 11 January 2017 diff hist 0‎ N File:TuLiP-SCA.png ‎No edit summary current
• 17:2017:20, 11 January 2017 diff hist +807‎ N Synthesizing flight software (FSW) discrete controllers from formal specifications ‎ Initial project creation.
• 16:5116:51, 11 January 2017 diff hist −547‎ SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications ‎No edit summary current
• 16:5016:50, 11 January 2017 diff hist +1,632‎ SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications ‎No edit summary
• 16:4816:48, 11 January 2017 diff hist +1,582‎ N SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications ‎ Created page with "'''2017 SURF: project description''' * Mentor: Richard M. Murray * Co-mentor: TBD The Temporal Logic Planning (TuLiP) toolbox is a Python-based package for synt..."
• 16:4016:40, 11 January 2017 diff hist +3,088‎ N SURF 2017: Data-driven models for temporal logic control ‎ Created page with "'''2017 SURF: project description''' * Mentor: Richard M. Murray * Co-mentor: Sofie Haesaert The quest for reliable controller design satisfying complex functio..." current
• 16:3816:38, 11 January 2017 diff hist +12‎ SURF 2017 ‎ →‎List of available projects current
• 16:3816:38, 11 January 2017 diff hist +122‎ SURF 2017 ‎ →‎List of available projects
• 16:3616:36, 11 January 2017 diff hist +113‎ SURF 2017 ‎ →‎List of available projects
• 15:5215:52, 11 January 2017 diff hist 0‎ SURF 2017 ‎No edit summary