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.


Raman, Vasumathi and Donzé, Alexandre and Maasoumy, Mehdi et al. (2017) Model Predictive Control for Signal Temporal Logic Specification. . (Unpublished)


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.


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.

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.

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.

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.

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