CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Donzé-A"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 2017 | 2015 | 2014
Number of items: 6.

2017

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

2015

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

2014

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 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

Nuzzo, Pierluigi and Xu, Huan and Ozay, Necmiye et al. (2014) A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access, 2 . pp. 1-25. ISSN 2169-3536. https://resolver.caltech.edu/CaltechAUTHORS:20170524-161850962

This list was generated on Wed Jun 3 07:22:20 2020 PDT.