CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Raman-V"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Number of items: 16.

DeCastro, Jonathan A. and Alonso-Mora, Javier and Raman, Vasumathi et al. (2017) Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. In: Robotics Research. Springer Proceedings in Advanced Robotics. Vol.2. Springer , Cham, Switzerland, pp. 459-476. ISBN 978-3-319-51531-1. https://resolver.caltech.edu/CaltechAUTHORS:20181025-102440078

Raman, Vasumathi and Donzé, Alexandre and Maasoumy, Mehdi et al. (2017) Model Predictive Control for Signal Temporal Logic Specification. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20190410-120622960

Raman, Vasumathi and Fält, Mattias and Wongpiromsarn, Tichakorn et al. (2015) Online Horizon Selection in Receding Horizon Temporal Logic Planning. In: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE , Piscataway, NJ, pp. 3493-3499. ISBN 978-1-4799-9994-1. https://resolver.caltech.edu/CaltechAUTHORS:20160412-095801286

Farahani, Samira S. and Raman, Vasumathi and Murray, Richard M. (2015) Robust Model Predictive Control for Signal Temporal Logic Synthesis. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20200214-151424905

Fält, Mattias and Raman, Vasumathi and Murray, Richard M. (2015) Variable elimination for scalable receding horizon temporal logic planning. In: 2015 American Control Conference (ACC). IEEE , Piscataway, NJ, pp. 1917-1922. ISBN 978-1-4799-8685-9. https://resolver.caltech.edu/CaltechAUTHORS:20160318-094020866

Raman, Vasumathi and Piterman, Nir and Finucane, Cameron et al. (2015) Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Transactions on Robotics, 31 (3). pp. 591-604. ISSN 1552-3098. https://resolver.caltech.edu/CaltechAUTHORS:20150527-092235080

DeCastro, Jonathan A. and Raman, Vasumathi and Kress-Gazit, Hadas (2015) Dynamics-Driven Adaptive Abstraction for Reactive High-Level Mission and Motion Planning. In: 2015 IEEE International Conference on Robotics and Automation (ICRA). IEEE , Piscataway, NJ, pp. 369-376. ISBN 9781479969241. https://resolver.caltech.edu/CaltechAUTHORS:20160325-091807071

Raman, Vasumathi and Donzé, Alexandre and Sadigh, Dorsa et al. (2015) Reactive Synthesis from Signal Temporal Logic Specifications. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery , New York, NY, pp. 239-248. ISBN 978-1-4503-3433-4. https://resolver.caltech.edu/CaltechAUTHORS:20150514-135540768

Raman, Vasumathi and Fält, Mattias and Wongpiromsarn, Tichakorn et al. (2015) Online Horizon Selection in Receding Horizon Temporal Logic Planning. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCDSTR:2015.001

Lignos, Constantine and Raman, Vasumathi and Finucane, Cameron et al. (2015) Provably correct reactive control from natural language. Autonomous Robots, 38 (1). pp. 89-105. ISSN 0929-5593. https://resolver.caltech.edu/CaltechAUTHORS:20150212-132815606

Raman, Vasumathi and Donzé, Alexandre and Maasoumy, Mehdi et al. (2014) Model predictive control with signal temporal logic specifications. In: 53rd IEEE Conference on Decision and Control. IEEE , Piscataway, NJ, pp. 81-87. ISBN 978-1-4673-6090-6. https://resolver.caltech.edu/CaltechAUTHORS:20170124-175050123

Aksanli, Baris and Akyurek, Alper S. and Behl, Madhur et al. (2014) Demo Abstract: Distributed Control of a Swarm of Buildings Connected to a Smart Grid. In: Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings. ACM , New Yrok, NY, pp. 172-173. ISBN 978-1-4503-3144-9. https://resolver.caltech.edu/CaltechAUTHORS:20141118-074730307

Raman, Vasumathi (2014) Reactive switching protocols for multi-robot high-level tasks. In: 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE , Piscataway, NJ, pp. 336-341. ISBN 978-1-4799-6934-0. https://resolver.caltech.edu/CaltechAUTHORS:20150402-131230382

Ehlers, Rüdiger and Raman, Vasumathi (2014) Low-Effort Specification Debugging and Analysis. In: 3rd Workshop on Synthesis (EPTCS 157), 23-24 July 2014, Vienna, Austria. https://resolver.caltech.edu/CaltechAUTHORS:20141209-144837376

Raman, Vasumathi and Maasoumy, Mehdi and Donzé, Alexandre (2014) Model predictive control from signal temporal logic specifications: a case study. In: CyPhy '14 Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems. ACM , New York, NY, pp. 52-55. ISBN 978-1-4503-2871-5. https://resolver.caltech.edu/CaltechAUTHORS:20161212-173711683

Herrmann, M. and Blanquart, G. and Raman, V. (2006) Flux corrected finite volume scheme for preserving scalar boundedness in reacting large-eddy simulations. AIAA Journal, 44 (12). pp. 2879-2886. ISSN 0001-1452. https://resolver.caltech.edu/CaltechAUTHORS:20091008-132109738

This list was generated on Thu Sep 17 23:10:51 2020 PDT.