EECI09: Optimization-based control

From Murray Wiki
Revision as of 22:10, 7 March 2009 by Murray (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
Prev: Introduction to NCS Course home Next: Information patterns

This lecture will briefly summarize a number of standard results in control theory and embedded systems programming to define techniques and terminology that will be used later in the course:

  • Optimization-based control: we describe how real-time optimization can be used to design feedback control algorithms for nonlinear, constrained systems. The receding horizon control (RHC) principle is described and the main ingredients required for its stability are discussed. Efficient numerical methods can then be used to find trajectories that satify the system dynamics and constraints, as well as minimizing a cost function. We concentrate on methods for real-time trajectory generation, and in particular the NTG software package.
  • Embedded systems programming: we describe some of the software infractructure used to implement moder networked control systems. We first discuss "message transfer systems", which is responsible for managing network communications between computers and software modules with the control system. We focus on the use of spread as a specific example of a low-level message transfer subsystem and describe how it can be used in a NCS context. We then describe the Pthreads programming environment, which provides a standardized API for managing process threads and mutexes (to resolve data access conflicts).

Lecture Materials

Further Reading

Optimization-based control

  • Constrained model predictive control: Stability and optimality, D. Q. Mayne, J. B. Rawlings, C. V. Rao and P. O. M. Scokaert. Automatica, 2000, Vol. 36, No. 6, pp. 789-814. This is one of the most referenced comprehensive survey papers on MPC. Gives a nice overview about its history and explains the most important issues and various approaches.

  • Online Control Customization via Optimization-Based Control, R. M. Murray et al. In Software-Enabled Control: Information Technology for Dynamical Systems, T. Samad and G. Balas (eds.), IEEE Press, 2001. This paper talks about the CLF-based nonlinear RHC approach and its application on the Caltech ducted fan using NTG.

  • Unconstrained Receding-Horizon Control of Nonlinear Systems, A. Jadbabaie, J. Yu and J. Hauser. IEEE Transactions on Automatic Control, May 2001, Vol. 46, No. 5, pp. 776-783. This paper might be a little dense for the first read, but contains an essence of A. Jadbabaie's PhD thesis on CLF-based nonlinear RHC.

Messaging Systems

  • A Users Guide to Spread, J. Stanton. 2002. This is the documentation for the Spread Toolkit. The first and second chapters provide most of the information you need to understand the basic ideas, although the way in which Spread servers are configured, described in Chapter 3, is also useful.

  • The Spread Wide Area Group Communication System, Y. Amir and J. Stanton. Technical Report CNDS-98-4, The Center for Networking and Distributed Systems, The Johns Hopkins University, 1998. The paper provides a detailed technical description of how Spread works. It is mainly useful if you want to know more about what spread does. Requires some background in network protocols if you want to understand the details.


  • POSIX Threads Programming, Lawrence Livermore National Laboratory. 2006. This tutorial provides an introduction to Pthreads, the standard implementation of threads under linux. It's a pretty quick read, with examples of the code and pretty good descriptions of the basic pthreads functionality.

  • Monitors: An Operating System Structuring Concept, C. A. R. Hoare. Communciations of the ACM, 17(10):549--557, 1974. This paper describes the concept of a "monitor", which is basically a function that uses mutexes to access a shared resourse. This is one of the early papers on concurrent computing and is cited as one of the design patterns for using threads and mutexes.

  • Cooperating Sequential Processes, E. W. Dijkstra. In Structured Programming, Academic Press, 1972. This is one of the most widely cited papers in concurrent programming and is often labelled as the paper that started the field. I haven't been able to locate an online copy yet (and haven't read it either).

Additional Information