Previous Article Next Article Table of Contents IEEE Transactions on Automatic Control, Vol.51, No.6, 921-923, 2006 DOI10.1109/TAC.2006.876964 Export Citation Special section on symbolic methods for complex control systems Egerstedt MB, Frazzoli E, Pappas G Please enable JavaScript to view the comments powered by Disqus.
