Search results

• Model-Based Design and Qualification of Complex Systems
  * {{Nok Wongpiromsarn}} * Receding Horizon Temporal Logic Planning, Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray. IEEE Transactions on Automatic Control, 2010
  20 KB (2,692 words) - 02:43, 26 November 2015
• SURF 2011: Implementation of Control Protocols for Camera Networks
  # T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray, TuLiP: a software toolbox for # T. Wongpiromsarn, U. Topcu, and R. M. Murray, Receding Horizon Temporal Logic Planning, IEEE
  3 KB (383 words) - 14:59, 10 January 2011
• EECI-IGSC 2020
  ...op><td align=center><font color='blue' size='+0'>Richard M. Murray and Nok Wongpiromsarn</font></td></tr> ...z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)
  9 KB (1,245 words) - 13:15, 8 April 2020
• SURF 2020: Test and Evaluation for Autonomy
  2. RM Murray, U. Topcu, N. Wongpiromsarn. HYCON-EECI, 2013 [http://www.cds.caltech.edu/~murray/courses/eeci-sp13/L3_ 4. RM Murray, U. Topcu, N. Wongpiromsarn. HYCON-EECI, 2013 [http://www.cds.caltech.edu/~murray/courses/eeci-sp13/L7_
  5 KB (703 words) - 21:32, 15 December 2019
• HYCON-EECI, Spring 2013
  ...er><font color='blue' size='+0'><p> Richard M. Murray, Ufuk Topcu, and Nok Wongpiromsarn </p></font></td></tr> ...z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)
  7 KB (1,005 words) - 21:35, 12 May 2013
• EECI 2012: Receding Horizon Temporal Logic Planning
  .../images//4/4d/WTM-itac10R.pdf Receding horizon temporal logic planning],T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Contr ...synthesis of control protocols for smart camera networks], N. Ozay, UT, T. Wongpiromsarn, and R. Murray, International Conference on Cyber-Physical Systems, 2011. D
  2 KB (235 words) - 07:33, 18 May 2012
• HYCON-EECI, Spring 2012
  ...er><font color='blue' size='+0'><p> Richard M. Murray, Ufuk Topcu, and Nok Wongpiromsarn </p></font></td></tr> ...Page Ufuk Topcu] (Caltech, CDS), and [http://www.cds.caltech.edu/~nok/ Nok Wongpiromsarn] (MIT-Singapore)
  7 KB (914 words) - 13:11, 16 May 2012
• SURF 2014: Improved methods of discretization for temporal logic planning
  [1] T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R.~M. Murray, [http://www.cds.caltech.edu/~m [2] T. Wongpiromsarn, U. Topcu, and R. Murray. [http://www.cds.caltech.edu/~murray/papers/2010d_
  3 KB (362 words) - 18:25, 28 December 2013
• EECI 2012: Algorithmic Verification of Hybrid Systems
  .../images//4/4d/WTM-itac10R.pdf Receding horizon temporal logic planning],T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Contr ...TM-aaai10.pdf Automatic synthesis of robust embedded control software], T. Wongpiromsarn, U. Topcu, and R. Murray, AAAI 2010 Spring Symposium on Embedded Reasoning:
  3 KB (384 words) - 07:17, 17 May 2012
• SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers
  [1] T. Wongpiromsarn, U. Topcu, and R.M. Murray, [http://www.cds.caltech.edu/~murray/papers/2012 [2] T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. Murray, [http://www.cds.caltech.edu/~murr
  4 KB (554 words) - 19:26, 29 December 2013
• SURF 2014: Invariant Refinement for Receding Horizon Temporal Logic Planning
  [1] T. Wongpiromsarn, U. Topcu, and R. Murray. [http://www.cds.caltech.edu/~murray/papers/2010d_ [3] T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R.~M. Murray, [http://www.cds.caltech.edu/~m
  4 KB (532 words) - 08:42, 31 December 2013
• SURF 2011: Receding Horizon Temporal Logic Planning Toolbox
  # T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray, TuLiP: a software toolbox for # T. Wongpiromsarn, U. Topcu, and R. M. Murray, Receding Horizon Temporal Logic Planning, IEEE
  3 KB (374 words) - 14:54, 10 January 2011
• HYCON-EECI, Spring 2011
  ...er><font color='blue' size='+0'><p> Richard M. Murray, Ufuk Topcu, and Nok Wongpiromsarn </p></font></td></tr> ...Page Ufuk Topcu] (Caltech, CDS), and [http://www.cds.caltech.edu/~nok/ Nok Wongpiromsarn] (MIT-Singapore)
  2 KB (320 words) - 06:40, 7 February 2011
• EECI 2020: Probabilistic Systems
  ...geneous Multi-Agent Systems with Linear Temporal Logic Specifications], T. Wongpiromsarn, A. Ulusoy, C. Belta, E. Frazzoli and D. Rus, ICRA 2013. An incremental ver ...amic, Partially Known Environments with Temporal Logic Specifications], T. Wongpiromsarn and E. Frazzoli, CDC 2012. Another example, with not fully observable agent
  2 KB (348 words) - 07:57, 10 March 2020
• EECI 2013: Algorithmic Verification of Hybrid Systems
  .../images//4/4d/WTM-itac10R.pdf Receding horizon temporal logic planning],T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Contr ...TM-aaai10.pdf Automatic synthesis of robust embedded control software], T. Wongpiromsarn, U. Topcu, and R. Murray, AAAI 2010 Spring Symposium on Embedded Reasoning:
  3 KB (465 words) - 18:04, 2 March 2014
• EECI 2020: Discrete Abstractions
  .../images//4/4d/WTM-itac10R.pdf Receding horizon temporal logic planning],T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Contr ...TM-aaai10.pdf Automatic synthesis of robust embedded control software], T. Wongpiromsarn, U. Topcu, and R. Murray, AAAI 2010 Spring Symposium on Embedded Reasoning:
  3 KB (432 words) - 17:02, 29 February 2020
• EECI 2020: Behavior Specifications
  ...ure-Aware Behavior Specification using Rulebooks] A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, E. Frazzoli, ICRA 2019. Detail on the rul ...ably Correct Controllers for Autonomous Vehicles in Urban Environments] T. Wongpiromsarn, S. Karaman, E. Frazzoli, ITSC 2011. How Urban Challenge specifications can
  2 KB (237 words) - 07:26, 13 March 2020
• SURF 2012: Formal verification of patching algorithms for SLAM tasks
  # H. Kress-Gazit, T. Wongpiromsarn, U. Topcu, Correct, reactive robot control from abstraction and temporal lo
  2 KB (325 words) - 03:04, 29 December 2011
• Main Page
  <tr><td> [http://robotics.caltech.edu/~nok Nok Wongpiromsarn] [http://thesis.library.caltech.edu/5864/ (thesis)]</td></tr>
  20 KB (2,886 words) - 23:12, 2 October 2022
• Songhwai Oh July 2007
  * 11:30 - Nok Wongpiromsarn + Alice tour (pick up from Ling, drop off with Richard)
  363 bytes (53 words) - 01:00, 24 July 2007

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)