Export 1 results:Author Keyword [ Type] Year
Filters: Keyword is hybrid systems and Author is S. Karaman [Clear All Filters]
E. Conference Papers
 "Optimal Control of Mixed Logical Dynamical Systems with Linear Temporal Logic Specifications", Proc. 47th IEEE Conference on Decision and Control, pp. 2117–2122, 2008.