User contributions for Murray
From Murray Wiki
Jump to navigationJump to search
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
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
9 January 2017
- 23:0723:07, 9 January 2017 diff hist +6 SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines No edit summary
- 23:0723:07, 9 January 2017 diff hist 0 m SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines No edit summary
- 23:0623:06, 9 January 2017 diff hist +2 SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines No edit summary
- 23:0523:05, 9 January 2017 diff hist +7 SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines No edit summary
