TerraSwarm Member Directory

...     in 

 

photo of Richard Murray
 
Richard Murray
    Caltech

Username:murray
 
 
 
 
(To view user contact information, please log in.)
Home page:http://www.cds.caltech.edu/~murray/wiki/index.php/Main_Page
Bio:  Richard Murray is the Thomas E. and Doris Everhart Professor of Control & Dynamical Systems and Bioengineering California Institute of Technology. Murray is an expert in systems and control engineering, including leading a recent AFOSR-sponsored MURI on specification, design and verification of distributed embedded systems.
Group memberships

Papers, Presentations and Reports Authored by Richard Murray

  1. Yr 5 Quarterly Report #4 (August 1, 2017 - October 31, 2017) Milestone 23, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, November, 2017. Posted on 29 Nov 2017.
  2. Hiding variables when decomposing specifications into GR(1) contracts, Ioannis Filippidis, Richard Murray, 11, October, 2017. Posted on 12 Nov 2017.
  3. Correct-by-Construction Synthesis of Controllers and Contracts, Richard Murray, 12, October, 2017. Posted on 10 Oct 2017.
  4. Yr 5 Quarterly Report #3 (May 1, 2017 - July 31, 2017) Milestone 22, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, August, 2017. Posted on 30 Aug 2017.
  5. Yr 5 Quarterly Report #2 (Feb 1, 2017 - Apr 30, 2017) Milestone 21, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, April, 2017. Posted on 30 May 2017.
  6. Enhancing tolerance to unexpected jumps in GR(1) games, Sumanth Dathathri, Scott C. Livingston, Richard Murray, 26, October, 2016. Posted on 31 Oct 2016.
  7. TerraSwarm 2016 Annual Meeting: Theme 1: Proactive Worlds, Prabal Dutta, Richard Murray, 26, October, 2016. Posted on 26 Sep 2016.
  8. TerraSwarm 2015 Annual Meeting: Theme 1: Proactive Worlds, Richard Murray, Prabal Dutta, October, 2015. Posted on 5 Oct 2015.
  9. Robust Model Predictive Control for Signal Temporal Logic Synthesis, Samira Farahani, Vasu Raman, Richard Murray, IFAC Conference on Analysis and Design of Hybrid Systems, 2015. Posted on 9 May 2015.
  10. Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Richard Murray, INCOSE International Symposium (IS2015), 235-249, 13, October, 2015. Posted on 6 Apr 2015.
  11. Q1 2015 TerraSwarm Quarterly Report Milestone #10, Edward A. Lee, Tajana Simunic Rosing, John Wawrzynek, Prabal Dutta, Anthony Rowe, Richard Murray, Jeffrey A. Bilmes, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Jan Rabaey, Douglas L. Jones, Stephane Lafortune, Alex Halderman, David Blaauw, Roozbeh Jafari, Carlos Guestrin, Emily B. Fox, Rahul Mangharam, George Pappas, Vijay Kumar, Bjoern Hartmann, John D. Kubiatowicz, TerraSwarm Research Center, February, 2015. Posted on 25 Feb 2015.
  12. Receding Horizon Control Synthesis for Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Richard Murray, Sanjit Seshia, 29, October, 2014. Posted on 10 Nov 2014.
  13. Theme 3: Services and Cloud Interactions, Richard Murray, Anthony Rowe, 29, October, 2014. Posted on 4 Nov 2014.
  14. Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Richard Murray, Truong X. Nghiem, George Pappas, Vasu Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh, 29, October, 2014. Posted on 30 Oct 2014.
  15. Approximate Motion Planning for Constrained Switched Systems, Ivan Papusha, Richard Murray, 30, October, 2014. Posted on 29 Oct 2014.
  16. Reactive synthesis from Promela, Ioannis Filippidis, Richard Murray, Gerard Holzmann, 29, October, 2014. Posted on 28 Oct 2014.
  17. Online Horizon Selection in Receding Horizon Temporal Logic Planning, Vasu Raman, Mattias Falt, Tichakorn Wongpiromsarn, Richard Murray, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015. Posted on 27 Oct 2014.
  18. Reactive Synthesis from Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Dorsa Sadigh, Richard Murray, Sanjit Seshia, Submitted to International Conference on Hybrid Systems: Computation and Control (HSCC), 2015. Posted on 27 Oct 2014.
  19. TerraSwarm Annual Meeting 2014, Edward A. Lee, John Wawrzynek, Tajana Simunic Rosing, John D. Kubiatowicz, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, October, 2014. Posted on 13 Oct 2014.
  20. Privacy Preserving Average Consensus, Richard Murray, Yilin Mo, 16, September, 2014. Posted on 17 Sep 2014.
  21. Model Predictive Control with Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Richard Murray, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), 2014. Posted on 9 May 2014.
  22. Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments, Ioannis Filippidis, Richard Murray, 53rd IEEE Conference on Decision and Control, IEEE, 15, December, 2014. Posted on 9 Apr 2014.
  23. Q1 2014 TerraSwarm Quarterly Report Milestone #5, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Edward A. Lee, Richard Murray, George Pappas, Jan Rabaey, Tajana Simunic Rosing, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, John Wawrzynek, David Wessel, TerraSwarm Research Center, March, 2014. Posted on 6 Mar 2014.
  24. A Contract-Based Methodology for Aircraft Electric Power System Design, Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre Donze, Sanjit Seshia, IEEE Access, March, 2014. Posted on 2 Jan 2014.
  25. 2013 Q3 TerraSwarm Summary and Metrics, Edward A. Lee, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, John Wawrzynek, Vijay Kumar, Alberto Sangiovanni-Vincentelli, Carl Sechen, Sanjit Seshia, Jan Rabaey, Tajana Simunic Rosing, George Pappas, Richard Murray, David Wessel, TerraSwarm Research Center, November, 2013. Posted on 6 Dec 2013.
  26. Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity, Quentin Maillet, Huan Xu, Necmiye Ozay, Richard Murray, Conference on Decisions and Controls, IEEE, 10, December, 2013. Posted on 2 Dec 2013.
  27. Contract-Based Design of Cyber-Physical Swarms, Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray, Sanjit Seshia, Stavros Tripakis, 6, November, 2013. Posted on 12 Nov 2013.
  28. Theme 3: Services, Ben Taskar, Richard Murray, 5, November, 2013. Posted on 5 Nov 2013.
  29. Collaborative System Identification via Parameter Consensus, Ivan Papusha, Eugene Lavretsky, Richard Murray, 5, November, 2013. Posted on 4 Nov 2013.
  30. Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays, Marcella Gomez, Wubing B. Qin, Gabor Orosz, Richard Murray, American Control Conference 2014, June, 2014. Posted on 18 Oct 2013.
  31. Time-Delayed Feedback Channel Design: Discrete Time H-Infinity Approach, Marcella Gomez, Seungil You, Richard Murray, American Control Conference 2014, June, 2013. Posted on 16 Oct 2013.
  32. Read-Ahead Material for the Introduction and All Themes for the TerraSwarm 2013 Annual Review, Edward A. Lee, Jan Rabaey, Tajana Simunic Rosing, John Wawrzynek, Prabal Dutta, John D. Kubiatowicz, Richard Murray, Ben Taskar, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 15, October, 2013. Posted on 15 Oct 2013.
  33. Theme 3: Services, Richard Murray, Ben Taskar, 15, October, 2013. Posted on 15 Oct 2013.
  34. Collaborative System Identification via Parameter Consensus, Ivan Papusha, Eugene Lavretsky, Richard Murray, American Control Conference 2014, 2014. Posted on 3 Oct 2013.
  35. The Q1 2013 TerraSwarm Quarterly Report, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Edward A. Lee, Richard Murray, George Pappas, Jan Rabaey, Tajana Simunic Rosing, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Carl Sechen, Sanjit Seshia, Ben Taskar, John Wawrzynek, David Wessel, The TerraSwarm Research Center, TSRC01, May, 2013. Posted on 30 May 2013.
  36. Theme 3: Services and Cloud Interaction, Richard Murray, Ben Taskar, Kevin Fu, Carlos Guestrin, Vijay Kumar, George Pappas, Anthony Rowe, 29, January, 2013. Posted on 29 Jan 2013.
  37. Specification,Verification and Synthesis of Networked Control Systems, Richard Murray, 29, January, 2013. Posted on 29 Jan 2013.
  38. The TerraSwarm Research Center (TSRC) (A White Paper), Edward A. Lee, John D. Kubiatowicz, Jan Rabaey, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, John Wawrzynek, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Richard Murray, George Pappas, Anthony Rowe, Carl Sechen, Tajana Simunic Rosing, Ben Taskar, EECS Department, University of California, Berkeley, UCB/EECS-2012-207, November, 2012. Posted on 6 Jan 2013.

Counts

  • 1 Journal article.
  • 17 Conference papers.
  • 5 Technical reports.
  • 14 Talk or presentations.
  • 14 Posters.
  • 6 Unpublished articles.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.