Search results

From Murray Wiki
Jump to navigationJump to search
Results 1 – 22 of 67
Advanced search

Search in namespaces:

Page title matches

  • Nok Wongpiromsarn, May 2024
    Nok Wongpiromsarn, an Assistant Professor at Iowa State, will visit Caltech on 20-21 May 2024
    778 bytes (97 words) - 21:27, 21 May 2024

Page text matches

  • 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
  • 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-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
  • 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 2024: Task-Relevant Metrics for Perception
    * [2] Badithela, Apurva, Tichakorn Wongpiromsarn, and Richard M. Murray. "Leveraging classification metrics for quantitative * [3] Badithela, Apurva, Tichakorn Wongpiromsarn, and Richard M. Murray. "Evaluation Metrics for Object Detection for Autono
    3 KB (454 words) - 00:11, 16 December 2023
  • 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: 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
  • 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 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
  • 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 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Distributed Mission and Contingency Management for the DARPA Urban Challenge
    | authors = Tichakorn Wongpiromsarn, Richard M Murray
    1 KB (177 words) - 06:57, 29 January 2018
  • Formal Verification of an Autonomous Vehicle System
    | authors = Tichakorn Wongpiromsarn, Richard M Murray
    1 KB (176 words) - 06:16, 15 May 2016
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
Retrieved from "https://murray.cds.caltech.edu/Special:Search"