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

From MurrayWiki
Jump to: navigation, search
(Publications)
(Publications)
Line 44: Line 44:
 
== Publications ==
 
== Publications ==
 
'''2008-09'''
 
'''2008-09'''
 +
* Julia M B Braman, Richard M Murray, "Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs." International Conference on Software Engineering, 2009 (submitted).
 +
 +
* Julia M B Braman, Richard M Murray, "Control Program Verification for a Sample Titan Aerobot Mission." AIAA Infotech@Aerospace Conference, 2009 (submitted).
 +
 +
* Julia M B Braman, Richard M Murray, "Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata." International Conference on Hybrid Systems: Computation and Control, 2009 (submitted).
 +
  
 
'''2007-08'''
 
'''2007-08'''

Revision as of 17:54, 22 October 2008

This is a joint project with Michael Cross, John Doyle and Gil Refael, funded by Boeing.

Current participants:
  • Julia Braman (PhD student, ME)
  • Dennice Gayme (PhD student, CDS)
  • Shuo Han (PhD student, EE)
  • Oleg Kogan (PhD student, Physics)
  • Tony Lee (PhD student, Physics)
  • Dominic Rizzo (PhD student, ME)
  • Heywood Tam (PhD student, Physics)
  • Pete Trautman (PhD student, CDS)
  • Tichakorn (Nok) Wongpiromsarn (PhD student, ME)
Past participants:
  • David Alderson (CDS postdoc, NPS)
  • Lijun Chen (CDS PhD, postdoc)
  • Lars Cremean (ME PhD, Aerovironment)
  • Stefano di Cairano (Visiting student, U. Sienna)
  • Michael Epstein (PhD student, ME)
  • Tamas Keviczky (postdoc, CDS)
  • Dimitry Kogan (CDS MS)
  • Lun Li (PhD student, EE)
  • Alfred Martinez (PhD student, CDS)
  • Stephen Prajna (CDS PhD)
  • Demetri Spanos (PhD student, CDS)
  • Johan Ugander
  • 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:

  • Systems Modeling Theory and Practice: Development of modeling and analysis tools, with emphasis on hierarchies of simulations that can be used for verification and testing at different levels of fidelity. A key issue is the development of multiple simulations that can be combined to form high fidelity models while at the same time being used in simpler combinations for rapid testing of higher level functions (where highly detailed models are too large or too slow to allow exploration of the relevant design space).

  • 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").

  • Multiscale Analysis of Complex Systems: Study novel approaches to multiscale analysis based on methodologies and techniques developed for physical dynamical systems. To develop the required methodologies and techniques we are focusing on an archetype complex system which may contain a multitude of scales, namely collections of disparate coupled nonlinear oscillators where each oscillator may have its own natural frequency.

Publications

2008-09

  • Julia M B Braman, Richard M Murray, "Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs." International Conference on Software Engineering, 2009 (submitted).
  • Julia M B Braman, Richard M Murray, "Control Program Verification for a Sample Titan Aerobot Mission." AIAA Infotech@Aerospace Conference, 2009 (submitted).
  • Julia M B Braman, Richard M Murray, "Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata." International Conference on Hybrid Systems: Computation and Control, 2009 (submitted).


2007-08

  • L. Chen, S. H. Low and J. C. Doyle, "Contention Control: A Game-theoretic Approach". Proceedings of IEEE CDC, December 2007.
  • L. Chen, T. Cui, S. H. Low and J. C. Doyle, "A Game-Theoretic Model for Medium Access Control". Proceedings of International Wireless Internet Conference, October 2007.
  • T. Cui, L. Chen, T. Ho, S. Low and L. Andrew, "Opportunistic Source Coding for Data Gathering in Wireless Sensor Networks,". Proceedings of IEEE Conference on Mobile Ad-hoc and Sensor Systems, October 2007.
  • T. Cui, L. Chen and T. Ho, "Distributed Optimization in Wireless Networks Using Broadcast Advantage". Proceedings of IEEE CDC, December 2007.
  • T. Cui, L. Chen and T. Ho, "Optimization Based Rate Control for Multicast with Network Coding: A Multipath Formulation". Proceedings of IEEE CDC, December 2007.
  • T. Cui, T. Ho and L. Chen, "Distributed Minimum Cost Multicasting with Lossless Source Coding and Network Coding". Proceedings of IEEE CDC, December 2007.
  • T. Cui, L. Chen and T. Ho, "Energy Efficient Opportunistic Network Coding for Wireless Networks". Proceedings of IEEE Infocom, April 2008.
  • Oleg Kogan, J. L. Rogers, Gil Refael, and M. C. Cross, "Renormalization group method for predicting frequency clusters in a chain of nearest-neighbor Kuramoto oscillators", 2008 (in preparation).

2006-07

  • F. Borrelli and T. Keviczky. Distributed LQR design for identical dynamically decoupled systems. IEEE Trans. Automatic Control, 2007, submitted.
  • L. Chen, T. Ho, S. H. Low, M. Chiang and J. C. Doyle, Optimization Based Rate Control for Multicast with Network Coding, Proceedings of IEEE Infocom, 2007.
  • T. Cui, T. Ho and L. Chen, On Distributed Distortion Optimization for Correlated Sources with Network Coding, Proceedings of IEEE ISIT, 2007.
  • T. Cui, L. Chen and T. Ho, Opportunistic Source Coding for Data Gathering in Wireless Sensor Networks, technical report, 2007.
  • J.-C. Delvenne, H. Sandberg, and J. C. Doyle. Thermodynamics of Linear Systems. In Proceedings of the European Control Conference, 2007.
  • D. Gayme, "Streamwise Constant Model of Turbulence Statistics in Plane Couette Flow". CDS Candidacy Report, May 2008.
  • D. Gayme, B. McKeon, A. Papachristodoulou, B. Bamieh and J.C. Doyle, "Streamwise Constant Model of Turbulence Statistics in Plane Couette Flow", Under preparation for journal submission, 2008.
  • 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.

2005-06

  • 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, 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.
  • L. Chen, S. H. Low and J. C. Doyle, Random Access Game and Medium Access Control Design, submitted, technical report, 2006.
  • 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.

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)