Special Section on Symbolic Methods for Complex Control Systems
Copyright 2006 IEEE. Reprinted from Transactions on Automatic Controls, Volume 51, Issue 6, June 2006, pages 921-923.
This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to email@example.com. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
The increasing complexity associated with many modern engineering applications, including autonomous robot guidance and navigation, process control in sensor-rich environments, and control of biological systems, has far-reaching implications for control system design. As an example, reactive, embedded software systems, interacting among themselves and remote users over communication networks, introduce a whole new set of system-level challenges, and classic control design objectives such as stability, performance, and robustness are being complemented with a number of new questions. These include the cost of hardware implementation, measured for example not only by computational requirements such as speed and memory, but also by communication requirements such as available communication bandwidth. Moreover, the complexity associated with specifying the control procedures and with verifying the behavior of the closed-loop system increasingly plays a fundamental role, especially in safety-critical control systems arising in energy and transportation networks, and in medical applications.
Magnus B. Egerstedt, Emilio Fazzoli, and George J. Pappas. "Special Section on Symbolic Methods for Complex Control Systems" Departmental Papers (ESE) (2006).
Available at: http://works.bepress.com/george_pappas/276