1. Special Section on Symbolic Methods for Complex Control Systems.
- Author
-
Egerstedt, Magnus B., Frazzoli, Emilio, and Pappas, George
- Subjects
PUBLICATIONS ,PUBLISHING ,AUTOMATIC control systems ,PROCESS control systems ,AUTOMATION ,PROGRAMMING languages ,MODULES (Algebra) ,ELECTRONIC industries - Abstract
The article discusses papers published in the special section of "IEEE Transactions on Automatic Control" which focuses on symbolic methods for complex control systems in the June 2006 issue. Two papers which focuses on the study of the problem of control using strings of symbolic control languages, maneuver automata, or control quanta are presented. Another study conducted by Paulo Tabuada examines the problem of producing finite models of continuous systems, by constructing models that contain only a finite number of the possible trajectories.
- Published
- 2006
- Full Text
- View/download PDF