CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Sangiovanni-Vincentelli-A-L"

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: 2019 | 2017 | 2015 | 2014 | 2006
Number of items: 8.

2019

Jin, Baihong and Chen, Yuxin and Li, Dan et al. (2019) A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection. In: 2019 IEEE International Conference on Prognostics and Health Management (ICPHM). IEEE , Piscataway, NJ, pp. 1-5. ISBN 978-1-5386-8357-6. https://resolver.caltech.edu/CaltechAUTHORS:20190905-160001172

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

Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L. and Murray, Richard M. (2015) Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach. INCOSE International Symposium, 25 (1). pp. 235-249. ISSN 2334-5837. https://resolver.caltech.edu/CaltechAUTHORS:20170404-101550871

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

Lee, Edward A. and Rabaey, Jan and Hartmann, Björn et al. (2014) The Swarm at the Edge of the Cloud. IEEE Design & Test, 31 (3). pp. 8-20. ISSN 2168-2356. https://resolver.caltech.edu/CaltechAUTHORS:20141113-140158076

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

2006

Umans, Christopher and Villa, Tiziano and Sangiovanni-Vincentelli, Alberto L. (2006) Complexity of two-level logic minimization. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25 (7). pp. 1230-1246. ISSN 0278-0070. https://resolver.caltech.edu/CaltechAUTHORS:UMAieeetcadics06

This list was generated on Fri May 14 10:48:42 2021 PDT.