Difference between revisions of "Model-Based Design and Qualification of Complex Systems"

From Murray Wiki
Jump to navigationJump to search
Line 50: Line 50:
  
 
* L. B. Cremean, T. B. Foote, J. H. Gillula, G. H. Hines, D. Kogan, K. L.  Kriechbaum, J. C. Lamb, J. Leibs, L. Lindzey, C. E. Rasmussen, A. D. Stewart,  J. W. Burdick, and R. M. Murray. {{htdb|2005t_cre+06-jfr|Alice: An information-rich autonomous vehicle for high-speed desert navigation}}. ''Journal of Field Robotics'', 2006. To appear.   
 
* L. B. Cremean, T. B. Foote, J. H. Gillula, G. H. Hines, D. Kogan, K. L.  Kriechbaum, J. C. Lamb, J. Leibs, L. Lindzey, C. E. Rasmussen, A. D. Stewart,  J. W. Burdick, and R. M. Murray. {{htdb|2005t_cre+06-jfr|Alice: An information-rich autonomous vehicle for high-speed desert navigation}}. ''Journal of Field Robotics'', 2006. To appear.   
 +
 +
* J.-C. Delvenne, H. Sandberg, and J. C. Doyle. Thermodynamics of Linear Systems.  In ''Proceedings of the European Control Conference'', 2007.
  
 
* J. C. Doyle, D. Alderson, L. Li, S. Low, M. Roughan, S. Shalunov, R. Tanaka,  and W. Willinger. The ``robust yet fragile'' nature of the Internet. ''Proceedings of the National Academy of Sciences'',  102(41):14497--14502, 2005.   
 
* J. C. Doyle, D. Alderson, L. Li, S. Low, M. Roughan, S. Shalunov, R. Tanaka,  and W. Willinger. The ``robust yet fragile'' nature of the Internet. ''Proceedings of the National Academy of Sciences'',  102(41):14497--14502, 2005.   
Line 73: Line 75:
 
* S. Prajna and A. Rantzer. On the necessity of barrier certificates. In ''Proceedings of the IFAC World Congress'', 2005.   
 
* S. Prajna and A. Rantzer. On the necessity of barrier certificates. In ''Proceedings of the IFAC World Congress'', 2005.   
  
* S. Prajna and A. Rantzer. Primal-dual tests for safety and reachability. In ''Hybrid Systems: Computation and Control''. Springer-Verlag,   2005.   
+
* S. Prajna and A. Rantzer. Primal-dual tests for safety and reachability. In ''Hybrid Systems: Computation and Control''. Springer-Verlag, 2005.   
 +
 
 +
* H. Sandberg, J.-C. Delvenne, and J. C. Doyle. The Statistical Mechanics of Fluctuation-Dissipation and Measurement Back Action. In ''Proceedings of the American Control Conference'', 2007.
 +
 
 +
* H. Sandberg, J.-C. Delvenne, and J. C. Doyle. Linear-Quadratic-Gaussian Heat Engines. Submitted, 2007.
 +
 
 +
* H. Sandberg and R. M. Murray. Frequency-Weighted Model Reduction with Applications to Structured Models.  In ''Proceedings of the American Control Conference'', 2007.
  
 
* J. Wang, L. Li, S. H. Low, and J. C. Doyle. Cross-layer optimization in tcp/ip networks. ''IEEE/ACM Transactions on Networking'', 13(3), 2006.
 
* J. Wang, L. Li, S. H. Low, and J. C. Doyle. Cross-layer optimization in tcp/ip networks. ''IEEE/ACM Transactions on Networking'', 13(3), 2006.

Revision as of 21:10, 15 June 2007

This is a joint project with John Doyle, funded by Boeing. This page primarily describes the work done in Richard Murray's group.

Current participants:
  • Julia Braman (PhD student, ME)
  • Stefano di Cairano (Visiting student, U. Sienna)
  • Lijun Chen (CDS postdoc)
  • Michael Epstein (PhD student, ME)
  • Dennice Gayme (PhD student, CDS)
  • Tamas Keviczky (postdoc, CDS)
  • Alfred Martinez (PhD student, CDS)
  • Demetri Spanos (PhD student, CDS)
  • Pete Trautman (PhD student, CDS)
Past participants:
  • David Alderson (CDS postdoc, NPS)
  • Lijun Chen (CDS PhD)
  • Lun Li (PhD student, EE)
  • Lars Cremean (ME PhD, Aerovironment)
  • Dimitry Kogan (CDS MS)
  • Stephen Prajna (CDS PhD)
  • Fei Wang (EE PhD; on leave)

Objectives

The broad goal of this project is to develop new theory, algorithms and demonstrations of model-based design strategies for complex systems. This activity is broken up into three broad themes:

  • Robust Yet Fragile Behavior: Study the robust-yet-fragile (RYF) nature of complex systems, and specifically to identify the common structures contributing to the RYF behavior, and develop both simple explanatory and detailed predictive models with associated analysis tools.

  • Multi-scale Modeling: Systems modeling theory and practice with emphasis on multi-resolution modeling, and managing multiple distinct product representations that must be mapped to each other.

  • Engineering Implementation: Apply analysis and methods in robust-yet-fragile behavior and multi-scale modeling to specific engineering systems of systems that will provide an evaluation of the efficacy of both the framework and the tools toward applications. Two specific testbeds are being used for this purpose: the Caltech multi-vehicle wireless testbed (MVWT) and the Caltech autonomous vehicle testbed ("Alice").

Publications

  • D. Alderson, L. Li, W. Willinger, and J. C. Doyle. Understanding Internet topology: Principles, models, and validation. IEEE/ACM Transactions on Networking, 13(6), 2005.
  • D. Alderson and W. Willinger. A contrasting look at self-organization in the Internet and next-generation communication networks. IEEE Communications Magazine, July 2005.
  • L. Chen, T. Ho, S. H. Low, and J. C. Doyle. Cross-layer rate control and scheduling in wireless networks with network coding. Technical report, In preparation, 2006.
  • L. Chen, S. H. Low, M. Chiang, and J. C. Doyle. Cross-layer congestion control, routing and scheduling design in ad hoc wireless networks. In Proceedings of IEEE Infocom, 2006.
  • L. Chen, S. H. Low, and J. C. Doyle. Joint congestion control and media access control design for wireless ad hoc networks. In Proceedings of IEEE Infocom, 2005.
  • J.-C. Delvenne, H. Sandberg, and J. C. Doyle. Thermodynamics of Linear Systems. In Proceedings of the European Control Conference, 2007.
  • J. C. Doyle, D. Alderson, L. Li, S. Low, M. Roughan, S. Shalunov, R. Tanaka, and W. Willinger. The ``robust yet fragile nature of the Internet. Proceedings of the National Academy of Sciences, 102(41):14497--14502, 2005.
  • D. Gayme, J. C Doyle, S. Prajna, A. Papachristodoulou, and Maryam Fazel. Optimization based methods for determining basins of attraction in the logistic map and set membership in the mandelbrot set. Preprint, 2006.
  • D. Gayme, M. Fazel, and J. C. Doyle. Sos proofs of invariant regions in the logistic map. In Proc. IEEE Control and Decision Conference, 2006. Submitted.
  • S. Glavaski, A. Papachristodoulou, and K. Ariyur. Safety verification of controlled advanced life support system using barrier certificates. In Hybrid Systems: Computation and Control, 2005.
  • D. Kogan. Realtime path planning through optimization methods. Master's thesis, California Institute of Technology, 2005.
  • S. H. Low, J. C. Doyle, L. Li, A. Tang, J. Wang, Optimization Model of Internet Protocols, Proceedings of ACM Sigmetrics, June 2005.
  • S. Prajna and A. Jadbabaie. Safety verification of hybrid systems using barrier certificates. In Hybrid Systems: Computation and Control, 2004.
  • S. Prajna and A. Jadbabaie. Methods for safety verification of time-delay systems. In Proceedings of the IEEE Conference on Decision and Control, 2005.
  • S. Prajna, A. Jadbabaie, and G. J. Pappas. Stochastic safety verification using barrier certificates. In Proceedings of the IEEE Conference on Decision and Control, 2004.
  • S. Prajna and A. Rantzer. On the necessity of barrier certificates. In Proceedings of the IFAC World Congress, 2005.
  • S. Prajna and A. Rantzer. Primal-dual tests for safety and reachability. In Hybrid Systems: Computation and Control. Springer-Verlag, 2005.
  • H. Sandberg, J.-C. Delvenne, and J. C. Doyle. The Statistical Mechanics of Fluctuation-Dissipation and Measurement Back Action. In Proceedings of the American Control Conference, 2007.
  • H. Sandberg, J.-C. Delvenne, and J. C. Doyle. Linear-Quadratic-Gaussian Heat Engines. Submitted, 2007.
  • H. Sandberg and R. M. Murray. Frequency-Weighted Model Reduction with Applications to Structured Models. In Proceedings of the American Control Conference, 2007.
  • J. Wang, L. Li, S. H. Low, and J. C. Doyle. Cross-layer optimization in tcp/ip networks. IEEE/ACM Transactions on Networking, 13(3), 2006.

Reports

Software

  • SOSTOOLS

Related Activities

  • Connections II - Workshop on Foundations of Network Science (Caltech, August 2006)
  • V&V MURI - Specification, Design and Verification of Distributed Embedded Systems (AFOSR MURI)